Experiments on exact crossing minimization using column generation

The crossing number of a graph G is the smallest number of edge crossings in any drawing of G into the plane. Recently, the first branch-and-cut approach for solving the crossing number problem has been presented in Buchheim et al. [2005]. Its major drawback was the huge number of variables out of which only very few were actually used in the optimal solution. This restricted the algorithm to rather small graphs with low crossing number. In this article, we discuss two column generation schemes; the first is based on traditional algebraic pricing, and the second uses combinatorial arguments to decide whether and which variables need to be added. The main focus of this article is the experimental comparison between the original approach and these two schemes. In addition, we evaluate the quality achieved by the best-known crossing number heuristic by comparing the new results with the results of the heuristic.

[1]  George B. Dantzig,et al.  Decomposition Principle for Linear Programs , 1960 .

[2]  Markus Chimani,et al.  Non-planar core reduction of graphs , 2005, Discret. Math..

[3]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[4]  Michael Jünger,et al.  Exact Crossing Minimization , 2005, GD.

[5]  Giuseppe Liotta,et al.  An Experimental Comparison of Four Graph Drawing Algorithms , 1997, Comput. Geom..

[6]  Petra Mutzel,et al.  Inserting an Edge into a Planar Graph , 2001, SODA '01.

[7]  Wen-Lian Hsu,et al.  A Linear Time Algorithm for Finding a Maximal Planar Subgraph Based on PC-Trees , 2005, COCOON.

[8]  Jan Kratochvíl,et al.  String graphs. II. recognizing string graphs is NP-hard , 1991, J. Comb. Theory, Ser. B.

[9]  Petra Mutzel,et al.  An Experimental Study of Crossing Minimization Heuristics , 2003, Graph Drawing.

[10]  Roberto Tamassia,et al.  On-line maintenance of triconnected components with SPQR-trees , 1996, Algorithmica.

[11]  George Pólya A note of welcome , 1977, J. Graph Theory.

[12]  Karsten Klein,et al.  OGDF an Open Graph Drawing Framework , 2007 .

[13]  Hristo Djidjev A Linear Algorithm for the Maximal Planar Subgraph Problem , 1995, WADS.

[14]  Michael Jünger,et al.  Maximum planar subgraphs and nice embeddings: Practical layout tools , 1996, Algorithmica.

[15]  Michael Jünger,et al.  A note on computing a maximal planar subgraph using PQ-trees , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[16]  Michael Jünger,et al.  A branch-and-cut approach to the crossing number problem , 2008, Discret. Optim..

[17]  Robert E. Tarjan,et al.  An O(m log n)-Time Algorithm for the Maximal Planar Subgraph Problem , 1992, SIAM J. Comput..

[18]  M.N.S. Swamy,et al.  O(n2) algorithms for graph planarization , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[19]  Carlo Batini,et al.  Computer aided layout of entity relationship diagrams , 1984, J. Syst. Softw..

[20]  Markus Chimani,et al.  Non-planar core reduction of graphs , 2009, Discret. Math..

[21]  Michael Jünger,et al.  The ABACUS system for branch‐and‐cut‐and‐price algorithms in integer programming and combinatorial optimization , 2000, Softw. Pract. Exp..

[22]  Helen C. Purchase,et al.  Which Aesthetic has the Greatest Effect on Human Understanding? , 1997, GD.

[23]  R. Guy Crossing numbers of graphs , 1972 .

[24]  Ioannis G. Tollis,et al.  Graph Drawing , 1994, Lecture Notes in Computer Science.

[25]  Petra Mutzel,et al.  The Constrained Crossing Minimization Problem , 1999, Graph Drawing.

[26]  Cristina G. Fernandes,et al.  A better approximation algorithm for finding planar subgraphs , 1996, SODA '96.

[27]  Markus Chimani,et al.  Computing crossing numbers , 2009 .

[28]  Michael Jünger,et al.  The ABACUS system for branch‐and‐cut‐and‐price algorithms in integer programming and combinatorial optimization , 2000, Softw. Pract. Exp..

[29]  S. Gill Williamson,et al.  Depth-First Search and Kuratowski Subgraphs , 1984, JACM.