Improved Bounds on the Planar Branchwidth with Respect to the Largest Grid Minor Size

For graph G, let bw(G) denote the branchwidth of G and gm(G) the largest integer g such that G contains a g×g grid as a minor. We show that bw(G) ≤ 3gm(G) + 1 for every planar graph G. This is an improvement over the bound bw(G) ≤ 4gm(G) due to Robertson, Seymour and Thomas. Our proof is constructive and implies quadratic time constant-factor approximation algorithms for planar graphs for both problems of finding a largest grid minor and of finding an optimal branch-decomposition: (3 + e)-approximation for the former and (2 + e)-approximation for the latter, where e is an arbitrary positive constant. We also study the tightness of the above bound. A k×h cylinder, denoted by C k,h , is the Cartesian product of a cycle on k vertices and a path on h vertices. We show that bw(C 2h, h ) = 2gm(C 2h,h ) = 2h and therefore the coefficient in the above upper bound is within a factor of 3/2 from the best possible.

[1]  Alexander Grigoriev,et al.  Tree-width and large grid minors in planar graphs , 2011, Discret. Math. Theor. Comput. Sci..

[2]  Hisao Tamaki A Linear Time Heuristic for the Branch-Decomposition of Planar Graphs , 2003, ESA.

[3]  Rolf Niedermeier TREE DECOMPOSITIONS OF GRAPHS , 2006 .

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

[5]  Fedor V. Fomin,et al.  Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Branch Decompositions , 2005, ESA.

[6]  Robin Thomas,et al.  Quickly Excluding a Planar Graph , 1994, J. Comb. Theory, Ser. B.

[7]  Alexander Grigoriev,et al.  On planar graphs with large tree-width and small grid minors , 2009, Electron. Notes Discret. Math..

[8]  Hisao Tamaki,et al.  Constant-Factor Approximations of Branch-Decomposition and Largest Grid Minor of Planar Graphs in O(n1 + ε) Time , 2009, ISAAC.

[9]  Alexander Grigoriev,et al.  On the Minimum Corridor Connection Problem and Other Generalized Geometric Problems , 2006, WAOA.

[10]  Alexander Grigoriev,et al.  Treewidth Lower Bounds with Brambles , 2005, Algorithmica.

[11]  Erik D. Demaine,et al.  Bidimensionality, Map Graphs, and Grid Minors , 2005, ArXiv.

[12]  Paul D. Seymour,et al.  Graph minors. III. Planar tree-width , 1984, J. Comb. Theory B.

[13]  Ken-ichi Kawarabayashi,et al.  Algorithmic graph minor theory: Decomposition, approximation, and coloring , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

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

[15]  Dimitrios M. Thilikos,et al.  Catalan structures and dynamic programming in H-minor-free graphs , 2008, SODA '08.

[16]  Brenda S. Baker,et al.  Approximation algorithms for NP-complete problems on planar graphs , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[17]  Hans L. Bodlaender,et al.  A Partial k-Arboretum of Graphs with Bounded Treewidth , 1998, Theor. Comput. Sci..

[18]  Erik D. Demaine,et al.  Graphs excluding a fixed minor have grids as large as treewidth, with combinatorial and algorithmic applications through bidimensionality , 2005, SODA '05.

[19]  Hisao Tamaki,et al.  Optimal branch-decomposition of planar graphs in O(n3) Time , 2005, TALG.