Approximating rank-width and clique-width quickly

Rank-width is defined by Seymour and the author to investigate clique-width; they show that graphs have bounded rank-width if and only if they have bounded clique-width. It is known that many hard graph problems have polynomial-time algorithms for graphs of bounded clique-width, however, requiring a given decomposition corresponding to clique-width (k-expression); they remove this requirement by constructing an algorithm that either outputs a rank-decomposition of width at most f(k) for some function f or confirms rank-width is larger than k in O(|V|9log |V|) time for an input graph G = (V,E) and a fixed k. This can be reformulated in terms of clique-width as an algorithm that either outputs a (21+f(k)–1)-expression or confirms clique-width is larger than k in O(|V|9log |V|) time for fixed k. In this paper, we develop two separate algorithms of this kind with faster running time. We construct a O(|V|4)-time algorithm with f(k) = 3k + 1 by constructing a subroutine for the previous algorithm; we may now avoid using general submodular function minimization algorithms used by Seymour and the author. Another one is a O(|V|3)-time algorithm with f(k) = 24k by giving a reduction from graphs to binary matroids; then we use an approximation algorithm for matroid branch-width by Hliněný.

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

[2]  André Bouchet,et al.  Circle Graph Obstructions , 1994, J. Comb. Theory, Ser. B.

[3]  A. Bouchet Connectivity of Isotropic Systems , 1989 .

[4]  Udi Rotics,et al.  Clique-width minimization is NP-hard , 2006, STOC '06.

[5]  Detlef Seese,et al.  The Structure of Models of Decidable Monadic Theories of Graphs , 1991, Ann. Pure Appl. Log..

[6]  Udi Rotics,et al.  Edge dominating set and colorings on graphs with fixed clique-width , 2003, Discret. Appl. Math..

[7]  Pierre Fraigniaud,et al.  The price of connectedness in expansions , 2004 .

[8]  Petr Hlinený,et al.  A Parametrized Algorithm for Matroid Branch-Width , 2005, SIAM J. Comput..

[9]  Bruno Courcelle,et al.  Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width , 2000, Theory of Computing Systems.

[10]  Sang-il Oum,et al.  Rank-width and vertex-minors , 2005, J. Comb. Theory, Ser. B.

[11]  James G. Oxley,et al.  Matroid theory , 1992 .

[12]  Bruno Courcelle,et al.  Upper bounds to the clique width of graphs , 2000, Discret. Appl. Math..

[13]  Illya V. Hicks,et al.  The branchwidth of graphs and their cycle matroids , 2007, J. Comb. Theory, Ser. B.

[14]  Michael U. Gerber,et al.  Algorithms for vertex-partitioning problems on graphs with fixed clique-width , 2003, Theor. Comput. Sci..

[15]  Bruno Courcelle,et al.  The monadic second-order logic of graphs XV: On a conjecture by D. Seese , 2006, J. Appl. Log..

[16]  A. Bouchet,et al.  κ -Transformations, Local Complementations and Switching , 1990 .

[17]  Robin Thomas,et al.  Call routing and the ratcatcher , 1994, Comb..

[18]  Satoru Iwata,et al.  A combinatorial strongly polynomial algorithm for minimizing submodular functions , 2001, JACM.

[19]  Egon Wanke,et al.  How to Solve NP-hard Graph Problems on Clique-Width Bounded Graphs in Polynomial Time , 2001, WG.

[20]  B. Reed,et al.  Polynomial Time Recognition of Clique-Width ≤ 3 Graphs , 2000 .

[21]  P. Seymour,et al.  Graphs of bounded rank-width , 2005 .

[22]  Jim Geelen,et al.  Matchings, Matroids and Unimodular Matrices , 1995 .

[23]  Egon Wanke,et al.  k-NLC Graphs and Polynomial Algorithms , 1994, Discret. Appl. Math..

[24]  Paul D. Seymour,et al.  Approximating clique-width and branch-width , 2006, J. Comb. Theory, Ser. B.

[25]  Bruno Courcelle,et al.  Vertex-minors, monadic second-order logic, and a conjecture by Seese , 2007, J. Comb. Theory, Ser. B.

[26]  Stéphan Thomassé,et al.  Branchwidth of graphic matroids , 2007 .

[27]  Paul D. Seymour,et al.  Graph minors. X. Obstructions to tree-decomposition , 1991, J. Comb. Theory, Ser. B.

[28]  André Bouchet,et al.  Graphic presentations of isotropic systems , 1987, J. Comb. Theory, Ser. B.