Results 1  10
of
24
On the cutting edge: Simplified O(n) planarity by edge addition
 Journal of Graph Algorithms and Applications
, 2004
"... www.cs.uvic.ca/˜wendym ..."
Orderly Spanning Trees with Applications
 SIAM Journal on Computing
, 2005
"... Abstract. We introduce and study orderly spanning trees of plane graphs. This algorithmic tool generalizes canonical orderings, which exist only for triconnected plane graphs. Although not every plane graph admits an orderly spanning tree, we provide an algorithm to compute an orderly pair for any c ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
Abstract. We introduce and study orderly spanning trees of plane graphs. This algorithmic tool generalizes canonical orderings, which exist only for triconnected plane graphs. Although not every plane graph admits an orderly spanning tree, we provide an algorithm to compute an orderly pair for any connected planar graph G, consisting of an embedded planar graph H isomorphic to G, and an orderly spanning tree of H. We also present several applications of orderly spanning trees: (1) a new constructive proof for Schnyder’s realizer theorem, (2) the first algorithm for computing an areaoptimal 2visibility drawing of a planar graph, and (3) the most compact known encoding of a planar graph with O(1)time query support. All algorithms in this paper run in linear time.
Planar branch decompositions II: The cycle method
 INFORMS J. on Computing
, 2005
"... informs ® doi 10.1287/ijoc.1040.0074 © 2005 INFORMS This is the second of two papers dealing with the relationship of branchwidth and planar graphs. Branchwidth and branch decompositions, introduced by Robertson and Seymour, have been shown to be beneficial for both proving theoretical results on gr ..."
Abstract

Cited by 11 (3 self)
 Add to MetaCart
informs ® doi 10.1287/ijoc.1040.0074 © 2005 INFORMS This is the second of two papers dealing with the relationship of branchwidth and planar graphs. Branchwidth and branch decompositions, introduced by Robertson and Seymour, have been shown to be beneficial for both proving theoretical results on graphs and solving NPhard problems modeled on graphs. The first practical implementation of an algorithm of Seymour and Thomas for computing optimal branch decompositions of planar hypergraphs is presented. This algorithm encompasses another algorithm of Seymour and Thomas for computing the branchwidth of any planar hypergraph, whose implementation is discussed in the first paper. The implementation also includes the addition of a heuristic to decrease the run times of the algorithm. This method, called the cycle method, is an improvement on the algorithm by using a “divideandconquer” approach. Key words: planar graph; branchwidth; branch decomposition; carvingwidth
Algorithm and Experiments in Testing Planar Graphs for Isomorphism
, 2004
"... We give an algorithm for isomorphism testing of planar graphs suitable for practical implementation. The algorithm is based on the decomposition of a graph into biconnected components and further into SPQRtrees. We provide a proof of the algorithm’s correctness and a complexity analysis. We determi ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
We give an algorithm for isomorphism testing of planar graphs suitable for practical implementation. The algorithm is based on the decomposition of a graph into biconnected components and further into SPQRtrees. We provide a proof of the algorithm’s correctness and a complexity analysis. We determine the conditions in which the implemented algorithm outperforms other graph matchers, which do not impose topological restrictions on graphs. We report experiments with our planar graph matcher tested against McKay’s, Ullmann’s, and SUBDUE’s (a graphbased data mining system) graph matchers.
Efficient Extraction of Multiple Kuratowski Subdivisions
, 2007
"... A graph is planar if and only if it does not contain a Kuratowski subdivision. Hence such a subdivision can be used as a witness for nonplanarity. Modern planarity testing algorithms allow to extract a single such witness in linear time. We present the first linear time algorithm which is able to ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
A graph is planar if and only if it does not contain a Kuratowski subdivision. Hence such a subdivision can be used as a witness for nonplanarity. Modern planarity testing algorithms allow to extract a single such witness in linear time. We present the first linear time algorithm which is able to extract multiple Kuratowski subdivisions at once. This is of particular interest for, e.g., BranchandCut algorithms which require multiple such subdivisions to generate cut constraints. The algorithm is not only described theoretically, but we also present an experimental study of its implementation.
Improved Symmetric Lists
, 2004
"... We introduce a new data structure called symlist based on an idea of Tarjan [17]. A symlist is a doubly linked list without any directional information encoded into its cells. In a symlist the two pointers in each cell have no fixed meaning like previous or next in standard lists. ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
We introduce a new data structure called symlist based on an idea of Tarjan [17]. A symlist is a doubly linked list without any directional information encoded into its cells. In a symlist the two pointers in each cell have no fixed meaning like previous or next in standard lists.
Planarity Algorithms via PQTrees
, 2008
"... We give a lineartime planarity test that unifies and simplifies the algorithms of Shih and Hsu and Boyer and Myrvold; in our view, these algorithms are really one algorithm with different implementations. This leads to a short and direct proof of correctness without the use of Kuratowski’s theorem. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We give a lineartime planarity test that unifies and simplifies the algorithms of Shih and Hsu and Boyer and Myrvold; in our view, these algorithms are really one algorithm with different implementations. This leads to a short and direct proof of correctness without the use of Kuratowski’s theorem. Our planarity test extends to give a uniform random embedding, to count embeddings, to represent all embeddings, and to give a Kuratowski subgraph of a nonplanar graph. Our algorithm keeps track of possible circular edge orderings in a partial embedding by using a reinterpretation of Booth and Lueker’s PQtree data structure. This is a classic data structure that represents certain sets of permutation and gives lineartime algorithms for various matrix and graph ordering problems. We show that our reinterpretation of PQtrees gives exactly the PCtrees of Shih and Hsu. We give a simpler and more symmetric implementation of PQtree reduction. This simplifies various applications and leads to an efficient algorithm for a generalization of the consecutive and circular ones problems. 1