Computing crossing numbers in quadratic time

We show that for every fixed <italic>k\ge 0</italic> there is a quadratic time algorithm that decides whether a given graph has crossing number at most <italic>k</italic> and, if this is the case, computes a drawing of the graph in the plane with at most <italic>k</italic> crossings.

[1]  Robert E. Tarjan,et al.  Efficient Planarity Testing , 1974, JACM.

[2]  Gary L. Miller,et al.  On determining the genus of a graph in O(v O(g)) steps(Preliminary Report) , 1979, STOC.

[3]  David S. Johnson,et al.  The NP-Completeness Column: An Ongoing Guide , 1982, J. Algorithms.

[4]  Paul D. Seymour,et al.  Graph minors. V. Excluding a planar graph , 1986, J. Comb. Theory B.

[5]  David S. Johnson.  The NP-Completeness Column: An Ongoing Guide , 1986, J. Algorithms.

[6]  Michael R. Fellows,et al.  Nonconstructive tools for proving polynomial-time decidability , 1988, JACM.

[7]  Carsten Thomassen,et al.  The Graph Genus Problem is NP-Complete , 1989, J. Algorithms.

[8]  Bruno Courcelle,et al.  Graph Rewriting: An Algebraic and Logic Approach , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[9]  Hans L. Bodlaender.  A linear time algorithm for finding tree-decompositions of small treewidth , 1993, STOC '93.

[10]  Stavros S. Cosmadakis,et al.  Logical reducibility and monadic NP , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[11]  Neil Robertson,et al.  Graph Minors .XIII. The Disjoint Paths Problem , 1995, J. Comb. Theory B.

[12]  Bojan Mohar,et al.  Embedding graphs in an arbitrary surface in linear time , 1996, STOC '96.

[13]  Hans L. Bodlaender,et al.  A linear time algorithm for finding tree-decompositions of small treewidth , 1993, STOC.

[14]  Bruno Courcelle,et al.  The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic , 1997, Handbook of Graph Grammars.

[15]  Carsten Thomassen.  A Simpler Proof of the Excluded Minor Theorem for Higher Surfaces , 1997, J. Comb. Theory, Ser. B.

[16]  Weijia Jia,et al.  Vertex Cover: Further Observations and Further Improvements , 1999, J. Algorithms.

[17]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[18]  M. Fellows,et al.  An improved fixed parameter tractable algorithm for vertex cover , 1999 .

[19]  Bruce A. Reed,et al.  An Improved Algorithm for Finding Tree Decompositions of Small Width , 1999, WG.

[20]  Bruno Courcelle,et al.  The monadic second-order logic of graphs XII: planar graphs and planar maps , 2000, Theor. Comput. Sci..

[21]  Bruce A. Reed,et al.  An Improved Algorithm for Finding Tree Decompositions of Small Width , 1999, Int. J. Found. Comput. Sci..

[22]  Weijia Jia,et al.  Vertex Cover: Further Observations and Further Improvements , 2001, J. Algorithms.

[23]  Jörg Flum,et al.  Query evaluation via tree-decompositions , 2001, JACM.