Dynamic Programming on Graphs with Bounded Treewidth

In this paper we study the complexity of graph decision problems, restricted to the class of graphs with treewidth k, (or equivalently, the class of partial k-trees), for fixed k. We introduce two classes of graph decision problems, LCC and ECC, and subclasses C-LCC, and C-ECC. We show that each problem in LCC (or C-LCC) is solvable in polynomial (O(n )) time, when restricted to graphs with fixed upper bounds on the treewidth and degree; and that each problem in ECC (or C-ECC) is solvable in polynomial (O(n )) time, when restricted to graphs with a fixed upper bound on the treewidth (with given corresponding tree-decomposition). Also, problems in C-LCC and C-ECC are solvable in polynomial time for graphs with a logarithmic treewidth, and given corresponding tree-decomposition, and in the case of C-LCC-problems, a fixed upper bound on the degree of the graph. Also, we show for a large number of graph decision problems, their membership in LCC, ECC, C-LCC and/or C-ECC, thus showing the existence of O(n ) or polynomial algorithms for these problems, restricted to the graphs with bounded tree width (and bounded degree). In several cases, C = 1, hence our method gives in these cases linear algorithms. For several NP-complete problems, and subclasses of the graphs with bounded treewidth, polynomial algorithms have been obtained. In a certain sense, the results in this paper unify these results.

[1]  Hans L. Bodlaender,et al.  NC-Algorithms for Graphs with Small Treewidth , 1988, WG.

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

[3]  D. Segal ALGEBRA: (Graduate Texts in Mathematics, 73) , 1982 .

[4]  H. Bodlaender Polynomial algorithms for chromatic index and graph isomorphism on partial k-trees , 1987 .

[5]  Andrzej Proskurowski,et al.  Efficient vertex- and edge-coloring of outerplanar graphs , 1986 .

[6]  Uzi Vishkin,et al.  Solving NP-hard problems in 'almost trees': Vertex cover , 1985, Discret. Appl. Math..

[7]  Eugene L. Lawler,et al.  Why certain subgraph computations requite only linear time , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[8]  Refael Hassin,et al.  Efficient algorithms for optimization and selection on series-parallel graphs , 1986 .

[9]  S. M. Hedetniemi,et al.  On the Algorithmic Complexity of Total Domination , 1984 .

[10]  Stefan Arnborg,et al.  Efficient algorithms for combinatorial problems on graphs with bounded decomposability — A survey , 1985, BIT.

[11]  K. Brown,et al.  Graduate Texts in Mathematics , 1982 .

[12]  Maciej M. SysŁ The subgraph isomorphism problem for outerplanar graphs , 1982 .

[13]  Stephen T. Hedetniemi,et al.  A Linear Algorithm for the Domination Number of a Tree , 1975, Inf. Process. Lett..

[14]  Paul D. Seymour,et al.  Graph Minors. II. Algorithmic Aspects of Tree-Width , 1986, J. Algorithms.

[15]  Tohru Kikuno,et al.  A linear algorithm for the domination number of a series-parallel graph , 1983, Discret. Appl. Math..

[16]  Ivan Hal Sudborough,et al.  Min Cut is NP-Complete for Edge Weigthed Trees , 1986, ICALP.

[17]  Ivan Hal Sudborough,et al.  Bandwidth constrained NP-Complete problems , 1981, STOC '81.

[18]  Uzi Vishkin,et al.  Solving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems , 1984, JACM.

[19]  Maciej M. Syslo,et al.  NP-Complete Problems on Some Tree-Structured Graphs: a Review , 1983, WG.

[20]  Detlef Seese,et al.  A combinatorial and logical approach to linear-time computability , 1987, EUROCAL.

[21]  Hans L. Bodlaender,et al.  Some Classes of Graphs with Bounded Treewidth , 1988, Bull. EATCS.

[22]  Paul D. Seymour,et al.  Graph minors. VI. Disjoint paths across a disc , 1986, J. Comb. Theory, Ser. B.

[23]  Derek G. Corneil,et al.  Complexity of finding embeddings in a k -tree , 1987 .

[24]  Detlef Seese,et al.  Problems Easy for Tree-Decomposable Graphs (Extended Abstract) , 1988, ICALP.

[25]  Gérard Cornuéjols,et al.  Halin graphs and the travelling salesman problem , 1983, Math. Program..

[26]  Charles J. Colbourn,et al.  Steiner trees, partial 2-trees, and minimum IFI networks , 1983, Networks.

[27]  Nobuji Saito,et al.  Linear-time computability of combinatorial problems on series-parallel graphs , 1982, JACM.