Graphs, branchwidth, and tangles! Oh my!

Branch decomposition-based algorithms have been used in practical settings to solve some NP-hard problems like the travelling salesman problem lTSPr and general minor containment. The notions of branch decompositions and branchwidth were introduced by Robertson and Seymour to assist in proving the Graph Minors Theorem. Given a connected graph G and a branch decomposition of G of width k where k is at least 3, a practical branch decomposition-based algorithm to test whether a graph has branchwidth at most k - 1 is given. The algorithm either constructs a branch decomposition of G of width at most k - 1 or constructs a tangle basis of order k, which offers a lower bound on the branchwidth of G. The algorithm is utilized repeatedly in a practical setting to find an optimal branch decomposition of a connected graph, whose branchwidth is at least 2, given an input branch decomposition of the graph from a heuristic. This is the first algorithm for the optimal branch decomposition problem for general graphs that has been shown to be practical. Computational results are provided to illustrate the effectiveness of finding optimal branch decompositions. A tangle basis is related to a tangle, a notion also introduced by Robertson and Seymour; however, a tangle basis is more constructive in nature. Furthermore, it is shown that a tangle basis of order k is coextensive to a tangle of order k. © 2004 Wiley Periodicals, Inc. NETWORKS, Vol. 45l2r, 55–60 2005

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

[2]  Paul D. Seymour,et al.  Tour Merging via Branch-Decomposition , 2003, INFORMS J. Comput..

[3]  Mikkel Thorup,et al.  All Structured Programs have Small Tree-Width and Good Register Allocation , 1998, Inf. Comput..

[4]  Illya V. Hicks,et al.  Planar Branch Decompositions I: The Ratcatcher , 2005, INFORMS J. Comput..

[5]  Paul D. Seymour,et al.  Graph Minors. XI. Circuits on a Surface , 1994, J. Comb. Theory, Ser. B.

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

[7]  Rolf Niedermeier,et al.  Improved Tree Decomposition Based Algorithms for Domination-like Problems , 2002, LATIN.

[8]  Arie M. C. A. Koster,et al.  Solving partial constraint satisfaction problems with tree decomposition , 2002, Networks.

[9]  Bruno Courcelle,et al.  The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs , 1990, Inf. Comput..

[10]  Paul D. Seymour,et al.  Graph minors. I. Excluding a forest , 1983, J. Comb. Theory, Ser. B.

[11]  Detlef Seese,et al.  Easy Problems for Tree-Decomposable Graphs , 1991, J. Algorithms.

[12]  William J. Cook,et al.  Linear-time algorithms for graphs with bounded branchwidth , 2003 .

[13]  Dimitrios M. Thilikos,et al.  Constructive Linear Time Algorithms for Branchwidth , 1997, ICALP.

[14]  Illya V. Hicks.  Planar Branch Decompositions II: The Cycle Method , 2005, INFORMS J. Comput..

[15]  Illya V. Hicks,et al.  Branch decompositions and minor containment , 2004, Networks.

[16]  Jan Arne Telle,et al.  Algorithms for Vertex Partitioning Problems on Partial k-Trees , 1997, SIAM J. Discret. Math..