39496103
An Application of Well-orderly Trees in Graph Drawing
Well-orderly tree is a powerful technique capable of deriving new results in graph encoding, graph enumeration and graph generation [3, 5]. In this paper, by using well-orderly trees, we prove that any plane graph G with n vertices has a visibility representation with height , which can be constructed in linear time. This improves the best previous bound of .
25659954
An Improved Algorithm for the Planar 3-Cut Problem
Abstract A 3-cut of a connected graph G is a subset of edges which, when deleted, separates G into three connected components. In this paper we present an O ( n log n ) algorithm for finding a minimum 3-cut in planar graphs. Our algorithm improves the best previously known algorithm for the problem by an O( n log n) factor.
15559790
Improved visibility representation of plane graphs
In a visibility representation (VR for short) of a plane graph G, each vertex of G is represented by a horizontal line segment such that the line segments representing any two adjacent vertices of G are joined by a vertical line segment. Rosenstiehl and Tarjan [Discrete Comput. Geom. 1 (1986) 343-353] and Tamassia and Tollis [Discrete Comput. Geom. 1 (1986) 321-341] independently gave linear time VR algorithms for 2-connected plane graph. Using this approach, the height of the VR is bounded by (n - 1), the width is bounded by (2n - 5). After that, some work has been done to find a more compact VR. Kant and He [Theoret. Comput. Sci. 172 (1997) 175-193] proved that a 4-connected plane graph has a VR with width bounded by (n - 1). Kant [Internat. J. Comput. Geom. Appl. 7 (1997) 197-210] reduced the width bound to ⌊3n-6/2⌋ for general plane graphs. Recently, using a sophisticated greedy algorithm, Lin et al. reduced the width bound to ⌊22n-42/15⌋ [Proc. STACS'03, Lecture Notes in Computer Science, vol. 2607, Springer, Berlin, 2003, pp. 14-25].In this paper, we prove that any plane graph G has a VR with width at most ⌊13n-24/9⌋, which can be constructed by using the simple standard VR algorithm in [P. Rosenstiehl, R.E. Tarjan, Discrete Comput. Geom. 1 (1986) 343-353; R. Tamassia, I.G. Tollis, Discrete Comput. Geom. 1 (1986) 321-341].
20004613
Disk Embeddings of Planar Graphs
Abstract 
Given a planar graph $G=(V,E)$ and a rooted forest ${\FF}=(V_{\FF}, A_{\FF})$ 
with leaf set $V$, we wish to decide whether $G$ has a plane embedding $\GG$ 
satisfying the following condition: There are $|V_{\FF}|-|V|$ pairwise noncrossing 
Jordan curves in the plane one-to-one corresponding to the nonleaf vertices of 
${\FF}$ such that for every nonleaf vertex $f$ of ${\FF}$, the interior of the curve 
$\JJ_f$ corresponding to $f$ contains all the leaf descendants of $f$ in ${\FF}$
but contains no other leaves of ${\FF}$. 
This problem arises from theoretical studies in geographic database systems. 
It is unknown whether this problem can be solved in polynomial time. 
This paper presents an almost linear-time algorithm for a nontrivial special case 
where the set of leaf descendants of each nonleaf vertex $f$ in ${\FF}$ induces 
a connected subgraph of $G$. 


11889495
On Even Triangulations of 2-Connected Embedded Graphs
Recently, Hoffmann and Kriegel proved an important combinatorial theorem [SIAM J. Discrete Math., 9 (1996), pp. 210--224]: Every 2-connected bipartite plane multigraph G without 2-cycle faces has a triangulation in which all vertices have even degree (this is called an even triangulation). Combined with the classical Whitney's theorem, this result implies that every such graph has a 3-colorable plane triangulation. Using this theorem, Hoffmann and Kriegel significantly improved the upper bounds of several art gallery and prison guard problems. A complicated O(n2) time algorithm was obtained in [SIAM J. Discrete Math., 9 (1996), pp. 210--224] for constructing an even triangulation of G. Hoffmann and Kriegel conjectured that there is an O(n3/2) time algorithm for solving this problem. 
In this paper, we develop a simple proof of the above theorem. Our proof reveals and relies on a natural correspondence between even triangulations of G and certain orientations of G. Based on this new proof, we obtain a very simple O(n) time algorithm for finding an even triangulation of G. We also extend our proof to show the existence of even triangulations for similar graphs on high genus surface.
1437223
A Fast General Methodology for Information - Theoretically Optimal Encodings of Graphs
We propose a fast methodology for encoding graphs with informationtheoretically minimum numbers of bits. The methodology is applicable to general classes of graphs; this paper focuses on simple planar graphs. Specifically, a graph with property ? is called a ?-graph. If ? satisfies certain properties, then an n-node ?-graph G can be encoded by a binary string X such that (1) G and X can be obtained from each other in O(n log n) time, and (2) X has at most s(n)+o(s(n)) bits for any function s(n) = ?(n) so that there are at most 2s(n)+o(s(n)) distinct n-node ?-graphs. Examples of such ? include all conjunctions of the following sets of properties: (1) G is a planar graph or a plane graph; (2) G is directed or undirected; (3) G is triangulated, triconnected, biconnected, merely connected, or not required to be connected; and (4) G has at most l1 (respectively, l2) distinct node (respectively, edge) labels. These examples are novel applications of small cycle separators of planar graphs and settle several problems that have been open since Tutte's census series were published in 1960's.
41188840
Finding Double Euler Trails of Planar Graphs in Linear Time
This paper answers an open question in the design of complimentary metal-oxide semiconductor VLSI circuits. The question asks whether a polynomial-time algorithm can decide if a given planar graph has a plane embedding ${\cal E}$ such that ${\cal E}$ has an Euler trail P = e1 e2 ... em and its dual graph has an Euler trail $P^*=e^*_1 e^*_2 \ldots e^*_m$, where $e^*_i$ is the dual edge of ei for i=1,2,...,m. This paper answers this question in the affirmative by presenting a linear-time algorithm.
30540828
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets
206769424
Neighborhood preserving embedding
Recently there has been a lot of interest in geometrically motivated approaches to data analysis in high dimensional spaces. We consider the case where data is drawn from sampling a probability distribution that has support on or near a submanifold of Euclidean space. In this paper, we propose a novel subspace learning algorithm called neighborhood preserving embedding (NPE). Different from principal component analysis (PCA) which aims at preserving the global Euclidean structure, NPE aims at preserving the local neighborhood structure on the data manifold. Therefore, NPE is less sensitive to outliers than PCA. Also, comparing to the recently proposed manifold learning algorithms such as Isomap and locally linear embedding, NPE is defined everywhere, rather than only on the training data points. Furthermore, NPE may be conducted in the original space or in the reproducing kernel Hilbert space into which data points are mapped. This gives rise to kernel NPE. Several experiments on face database demonstrate the effectiveness of our algorithm
8640545
Refining edge detection within spiral architecture
Detection of edge points of 3-dimensional physical object in a 2-dimensional image is one of the main research areas of computer vision. Object contour detection and object recognition rely heavily on edge detection. The Spiral Architecture, a relatively new image structure, possesses powerful computational features that are pertinent to the vision process. In this paper, we present an edge detection scheme using Gaussian Multi-resolution Theory. The detection algorithm reduces noise and unnecessary details of the image. This algorithm is applied to obtain the edge maps of some well-known images for image processing.
28830107
Introducing software architecture specification and analysis in SAM through an example
Abstract Software architecture study has become one of the most active research areas in software engineering in the recent years. Although there have been many published results on specification and analysis method of software architectures, information on sound systematic methodology for modeling and analyzing software architectures is lacking. In this article, we present a formal systematic software architecture specification and analysis methodology called SAM and show how to apply SAM to specify a command control (C2) system and to analyze its real-time constraints.