32419724
Grid Embedding of 4-Connected Plane Graphs
A straight line grid embedding of a plane graph G is a drawing of G such that the vertices are drawn at grid points and the edges are drawn as nonintersecting straight line segments. In this paper we show that if a 4-connected plane graph G has at least four vertices on its external face, then G can be embedded on a grid of size W × H such that W + H ≤n, W ≤ (n + 3)/2 and H ≤ 2(n - 1)/3, where n is the number of vertices of G. Such an embedding can be computed in linear time.
2934981
On Finding the Rectangular Duals of Planar Triangular Graphs
This paper presents a new linear-time algorithm for finding rectangular duals of planar triangular graphs. The algorithm is conceptually simpler than the previously known algorithm. The coordinates of the rectangular dual constructed by the new algorithm are integers and carry clear combinatorial meaning.
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].
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.
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.
18826487
On Even Triangulations of 2-Connected Embedded Graphs
Recently, Hoffmann and Kriegel proved an important combinatorial theorem [4]: Every 2-connected bipartite plane graph G has a triangulation in which all vertices have even degree (it's called an even triangulation). Combined with a classical Whitney's Theorem, this result implies that every such a 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. In [7], Zhang and He presented a linear time algorithm which relies on the complicated algebraic proof in [4]. This proof cannot be extended to similar graphs embedded on high genus surfaces. It's not known whether Hoffmann and Kriegel's Theorem is true for such graphs. 
 
In this paper, we describe a totally independent and much simpler proof of the above theorem, using only graph-theoretic arguments. Our new proof can be easily extend to show the existence of even triangulations for similar graphs on high genus surfaces. Hence we show that Hoffmann and Kriegel's theorem remains valid for such graphs. Our new proof leads to a very simple linear time algorithm for finding even triangulations.
20141160
A method for analyzing properties of hierarchical predicate transition nets
Hierarchical high level Petri nets have been proposed in recent years as a powerful formal method for modeling large concurrent and distributed systems but they are even more difficult to analyze than flat high level Petri nets, which are also lacking effective analysis methods themselves. A method for analyzing properties of hierarchical predicate transition Petri nets is proposed. The method employs two temporal induction techniques, one for safety properties and the other for liveness properties, without using temporal logic formalism. Within each induction technique, a hybrid reasoning technique combining net structural and behavioral reasoning, and ordinary first order logic reasoning is used.
10726702
Locality Preserving Projections
Many problems in information processing involve some form of dimensionality reduction. In this paper, we introduce Locality Preserving Projections (LPP). These are linear projective maps that arise by solving a variational problem that optimally preserves the neighborhood structure of the data set. LPP should be seen as an alternative to Principal Component Analysis (PCA) – a classical linear technique that projects the data along the directions of maximal variance. When the high dimensional data lies on a low dimensional manifold embedded in the ambient space, the Locality Preserving Projections are obtained by finding the optimal linear approximations to the eigenfunctions of the Laplace Beltrami operator on the manifold. As a result, LPP shares many of the data representation properties of nonlinear techniques such as Laplacian Eigenmaps or Locally Linear Embedding. Yet LPP is linear and more crucially is defined everywhere in ambient space rather than just on the training data points. This is borne out by illustrative examples on some high dimensional data sets.
14218377
A Methodology for Constructing Predicate Transition Net Specifications
In this paper, a methodology for constructing hierarchical and structured predicate transition net specifications is developed, which includes new systematic notation extensions for supporting various transformation techniques upon predicate transition nets and several rules for applying such transformation techniques. The levelling technique in data-flow diagrams is adapted in the refinement and the abstraction techniques, and the state decomposition idea in state-charts is employed in designing various label formulation operators. The methodology is illustrated through the specification of a lift system. The methodology can significantly reduce the constructing complexity and enhance the comprehensibility of large predicate transition net specifications.
9650912
Learning an image manifold for retrieval
We consider the problem of learning a mapping function from low-level feature space to high-level semantic space. Under the assumption that the data lie on a submanifold embedded in a high dimensional Euclidean space, we propose a relevance feedback scheme which is naturally conducted only on the image manifold in question rather than the total ambient space. While images are typically represented by feature vectors in Rn, the natural distance is often different from the distance induced by the ambient space Rn. The geodesic distances on manifold are used to measure the similarities between images. However, when the number of data points is small, it is hard to discover the intrinsic manifold structure. Based on user interactions in a relevance feedback driven query-by-example system, the intrinsic similarities between images can be accurately estimated. We then develop an algorithmic framework to approximate the optimal mapping function by a Radial Basis Function (RBF) neural network. The semantics of a new image can be inferred by the RBF neural network. Experimental results show that our approach is effective in improving the performance of content-based image retrieval systems.
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.