Abstract
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 C )) 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 C )) 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 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 C ) or polynomial algorithms for these problems, restricted to the graphs with bounded treewidth (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.
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 C ) or polynomial algorithms for these problems, restricted to the graphs with bounded treewidth (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.
Original language | English |
---|---|
Title of host publication | 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings |
Editors | Timo Lepistö, Arto Salomaa |
Publisher | Springer |
Pages | 105-118 |
Volume | 317 |
ISBN (Electronic) | 978-3-540-39291-0 |
ISBN (Print) | 978-3-540-19488-0 |
DOIs | |
Publication status | Published - 1988 |
Externally published | Yes |
Event | 15th International Colloquium on Automata, Languages, and Programming, ICALP 1988 - Tampere, Finland Duration: 11 Jul 1988 → 15 Jul 1988 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 217 |
Conference
Conference | 15th International Colloquium on Automata, Languages, and Programming, ICALP 1988 |
---|---|
Country/Territory | Finland |
City | Tampere |
Period | 11/07/88 → 15/07/88 |