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.
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.
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$. 


940067
Visibility representation of plane graphs via canonical ordering tree,
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 [Rectilinear planar layouts and bipolar orientations of planar graphs, Discrete Comput. Geom. 1 (1986) 343], Tamassia and Tollis [An unified approach to visibility representations of planar graphs, Discrete Comput. Geom. 1 (1986) 321] independently gave linear time VR algorithms for 2-connected plane graph. Afterwards, one of the main concerns for VR is the size of the representation. In this paper, we prove that any plane graph G has a VR with height bounded by ⌊5n/6⌋. This improves the previously known bound ⌊15n/16⌋. We also construct a plane graph G with n vertices where any VR of G requires a size of (⌊2n/3⌋) × (⌊4n/3⌋ - 3). Our result provides an answer to Kant's open question about whether there exists a plane graph G such that all of its VR require width greater that cn, where c > 1 [G. Kant, A more compact visibility representation, Internat. J. Comput. Geom. Appl. 7 (1997) 197].
467326
An efficient parallel algorithm for finding rectangular duals of plane triangular graphs
We present an efficient parallel algorithm for constructing rectangular duals of plane triangular graphs. This problem finds applications in VLSI design and floor-planning problems. No NC algorithm for solving this problem was previously known. The algorithm takesO(log2n) time withO(n) processors on a CRCW PRAM, wheren is the number of vertices of the graph.
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.
28749706
An Improved Algorithm for Concurrency Control in Distributed Database Systems
Abstract Deadlock and livelock prevention is critical in concurrency control of distributed database systems. This paper presents an improved algorithm for concurrency control, which not only prevents deadlock and livelock problems but also improves system efficiency by lowering restart ratio and communication cost. The proposed algorithm is effective in environments where most transactions have one-way request (either forward waiting or backward waiting).
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.
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.
20452185
A methodology for test selection
Software creation requires not only testing during the development cycle by the development staff, but also independent testing following the completion of the implementation. However in the latter case, the amount of testing that can be carried out is often limited by time and resources. At the very most, independent testing can be expected to provide 100% test coverage of the test requirements (or specifications) associated with the software element with the minimum of effort. This paper describes a methodology employing integer programming by which the amount of testing required to provide the maximum possible test coverage of the test requirements (for the given test set) is assured while at the same time minimizing the total number of tests to be included in a test suite. A collateral procedure provides recommendations on which tests might be eliminated if less than 100% test coverage of the test requirements is permitted. This latter procedure will be useful in determining the risk of not running the minimum set of tests for 100% test coverage. A third process selects from the test matrix the set of tests to be applied to the system following maintenance modification of any test requirements-- that is, to provide a submatrix for regression testing. The potential benefits for applying the integer programming technique in test data selection is also discussed.