|
ABSTRACT
Fast algorithms can be created for many graph problems when instances are confined to classes of graphs that are recursively constructed. This article first describes some basic conceptual notions regarding the design of such fast algorithms, and then the coverage proceeds through several recursive graph classes. Specific classes include trees, series-parallel graphs, k-terminal graphs, treewidth-k graphs, k-trees, partial k-trees, k-jackknife graphs, pathwidth-k graphs, bandwidth-k graphs, cutwidth-k graphs, branchwidth-k graphs, Halin graphs, cographs, cliquewidth-k graphs, k-NLC graphs, k-HB graphs, and rankwidth-k graphs. The definition of each class is provided. Typical algorithms are applied to solve problems on instances of most classes. Relationships between the classes are also discussed.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
|
| |
3
|
|
 |
4
|
|
| |
5
|
Arnborg, S., Hedetniemi, S., and Proskurowski, A. 1994. Efficient algorithms and partial k-trees. Discrete Appl. Math. 54, 2--3. Guest editors of special issue.
|
| |
6
|
|
| |
7
|
Arnborg, S. and Proskurowski, A. 1985. Characterization and recognition of partial k-trees. Congressus Numer. 47, 69--75.
|
| |
8
|
|
| |
9
|
|
| |
10
|
|
| |
11
|
|
| |
12
|
Bachoore, E. and Bodlaender, H. 2006. A branch-and-bound algorithm for exact, upper, and lower bounds on treewidth. In Proceedings of the 2nd International Conference on Algorithmic Aspects in Information and Management. Lecture Notes in Computer Science, vol. 4041. Springer, 255--266.
|
| |
13
|
|
| |
14
|
Beineke, L. and Pippert, R. 1971. Properties and characterizations of k-trees. Math. 18, 141--151.
|
| |
15
|
|
| |
16
|
|
| |
17
|
|
| |
18
|
Bodlaender, H. 1987. Dynamic programming on graphs with bounded tree-width. Tech. Rep., Massachusetts Institute of Technology.
|
| |
19
|
|
| |
20
|
|
| |
21
|
Bodlaender, H. 1993. A tourist guide through treewidth. Acta Cybernetica 11, 1--23.
|
| |
22
|
|
| |
23
|
|
| |
24
|
Hans L. Bodlaender , Fedor V. Fomin , Arie M. C. A. Koster , Dieter Kratsch , Dimitrios M. Thilikos, On exact algorithms for treewidth, Proceedings of the 14th conference on Annual European Symposium, p.672-683, September 11-13, 2006, Zurich, Switzerland
[doi> 10.1007/11841036_60]
|
| |
25
|
Hans L. Bodlaender , John R. Gilbert , Hjálmtýr Hafsteinsson , Ton Kloks, Approximating treewidth, pathwidth, frontsize, and shortest elimination tree, Journal of Algorithms, v.18 n.2, p.238-255, March 1995
[doi> 10.1006/jagm.1995.1009]
|
| |
26
|
Hans Bodlaender , Jens Gustedt , Jan Arne Telle, Linear-time register allocation for a fixed number of registers, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms, p.574-583, January 25-27, 1998, San Francisco, California, United States
|
| |
27
|
|
| |
28
|
Bodlaender, H. and Koster, A. 2006. Safe separators for treewidth. Discrete Math. 306, 337--350.
|
| |
29
|
Bodlaender, H., Koster, A., and van den Eijkhof, F. 2005. Pre-Processing rules for triangulation of probabilistic networks. Comput. Intell. 21, 286--305.
|
| |
30
|
Bodlaender, H., Koster, A., and Wolle, T. 2006. Contraction and treewidth lower bounds. J. Graph Algor. Appl. 10, 5--49.
|
| |
31
|
|
| |
32
|
|
| |
33
|
Borie, R. 1995. Generation of polynomial-time algorithms for some optimization problems on tree-decomposable graphs. Algorithmica 14, 123--137.
|
| |
34
|
Borie, R., Johnson, J., Raghavan, V., and Spinrad, J. 2002. Robust polynomial time algorithms on cliquewidth-k graphs. Manuscript.
|
| |
35
|
Borie, R., Parker, R., and Tovey, C. 1991a. Algorithms for recognition of regular properties and decomposition of recursive graph families. Annals Oper. Res. 33, 127--149.
|
| |
36
|
|
| |
37
|
Borie, R., Parker, R., and Tovey, C. 1992. Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families. Algorithmica 7, 555--581.
|
| |
38
|
Borie, R., Parker, R., and Tovey, C. 2004. Algorithms on recursively constructed graphs. In Handbook of Graph Theory, J. Gross and J. Yellen, eds. CRC Press, Chapter 10.4, 1046--1066.
|
| |
39
|
|
| |
40
|
|
| |
41
|
Clautiaux, F., Carlier, J., Moukrim, A., and Negre, S. 2003. New lower and upper bounds for graph treewidth. In Proceedings of the 2nd International Workshop on Experimental and Efficient Algorithms. Lecture Notes in Computer Science, vol. 2647. Springer, 70--80.
|
| |
42
|
Clautiaux, F., Moukrim, A., Negre, S., and Carlier, J. 2004. Heuristic and meta-heuristic methods for computing graph treewidth. RAIRO Oper. Res. 38, 13--26.
|
| |
43
|
|
| |
44
|
Corneil, D. and Kirkpatrick, D. 1983. Families of recursively defined perfect graphs. Congressus Numer. 39, 237--246.
|
| |
45
|
Corneil, D., Lerchs, H., and Burlington, L. 1981. Complement reducible graphs. Discrete Appl. Math. 3, 163--174.
|
| |
46
|
Corneil, D., Perl, Y., and Stewart, L. 1984. Cographs: Recognition, applications and algorithms. Congressus Numer. 43, 249--258.
|
| |
47
|
Corneil, D., Perl, Y., and Stewart, L. 1985. A linear recognition algorithm for cographs. SIAM Journal on Comput. 14, 926--934.
|
| |
48
|
|
| |
49
|
Cornuejols, G., Naddef, D., and Pulleyblank, W. 1983. Halin graphs and the travelling salesman problem. Math. Program. 26, 287--294.
|
| |
50
|
|
| |
51
|
Courcelle, B. 1992. The monadic second-order logic of graphs III: Tree-Decompositions, minors, and complexity issues. Theor. Inf. Appl. 26, 257--286.
|
| |
52
|
Courcelle, B. 1995. The monadic second-order logic of graphs VIII: Orientations. Annals Pure Appl. Logic 72, 103--143.
|
| |
53
|
|
| |
54
|
|
| |
55
|
Courcelle, B., Makowsky, J., and Rotics, U. 2000. Linear time solvable optimization problems on graphs of bounded clique width. Theory Comput. Syst. 33, 125--150.
|
| |
56
|
|
| |
57
|
|
| |
58
|
|
| |
59
|
de Fluiter, B. 1997. Algorithms for graphs of small treewidth. Ph.D. thesis, University of Utrecht.
|
| |
60
|
Duffin, R. 1965. Topology of series-parallel networks. J. Math. Anal. Appl. 10, 303--318.
|
| |
61
|
Edmonds, J. 1965a. Maximum matching and polyhedron of 0,1 vertices. J. Res. National Bureau Standards 69B, 125--130.
|
| |
62
|
Edmonds, J. 1965b. Paths, trees, and flowers. Canadian J. Math. 17, 449--467.
|
| |
63
|
Egervary, E. 1931. On combinatorial properties of matrices. Math. Phys. Pages 38, 16--28.
|
| |
64
|
El-Mallah, E. and Colbourn, C. 1988. Partial k-tree algorithms. Congressus Numer. 64, 105--119.
|
| |
65
|
|
 |
66
|
|
| |
67
|
Garey, M., Graham, R., Johnson, D., and Knuth, D. 1978. Complexity results for bandwidth minimization. SIAM J. Appl. Math. 34, 477--495.
|
| |
68
|
Gavril, F. 1972. Algorithms for minimum coloring, maximum clique, minimum covering by cliques, and maximum independent set of a chordal graph. SIAM J. Comput. 1, 180--187.
|
| |
69
|
|
| |
70
|
|
| |
71
|
Granot, D. and Skorin-Kapov, D. 1991. NC algorithms for recognizing partial 2-trees and 3-trees. SIAM J. Algebr. Discrete Methods 4, 342--354.
|
| |
72
|
|
| |
73
|
Gurski, F. and Wanke, E. 2004. Vertex disjoint paths on clique-width bounded graphs. In Proceedings of the 6th Latin American Symposium on Theoretical Informatics. Lecture Notes in Computer Science, vol. 2976. Springer, 119--128.
|
| |
74
|
|
| |
75
|
Hare, E., Hedetniemi, S., Laskar, R., Peters, K., and Wimer, T. 1987. Linear-time computability of combinatorial problems on generalized series-parallel graphs. Discrete Algor. Complexity 14, 437--457.
|
| |
76
|
|
| |
77
|
Hicks, I., Koster, A., and Kolotoğlu, E. 2005. Branch and tree decomposition techniques for discrete optimization. In TutORials 2005, J. Smith, ed. Tutorials in Operations Research. INFORMS, New Orleans, LA, 1--29.
|
| |
78
|
Horton, S., Parker, R., and Borie, R. 1992. On some results pertaining to Halin graphs. Congressus Numer. 93, 65--86.
|
| |
79
|
Isobe, S., Zhou, X., and Nishizeki, T. 1999. A polynomial-time algorithm for finding total colorings of partial k-trees. Int. J. Foundat. Comput. Sci. 10, 171--194.
|
| |
80
|
Ito, T., Nishizeki, T., and Zhou, X. 2003. Algorithms for multicolorings of partial k-trees. IEICE Trans. Inf. Syst. E86-D, 191--200.
|
| |
81
|
|
| |
82
|
Jensen, F., Lauritzen, S., and Olesen, K. 1990. Bayesian updating in recursive graphical models by local computation. Computat. Statist. Q. 4, 269--282.
|
| |
83
|
Johansson, O. 1998. Clique-Decomposition, NLC-decomposition, and modular decomposition relationships and results for random graphs. Congressus Numer. 132, 39--60.
|
| |
84
|
Johansson, O. 2000. NLC 2-decomposition in polynomial time. Int. J. Foundat. Comput. Sci. 11, 373--395.
|
| |
85
|
Johnson, J. 2003. Polynomial time recognition and optimization algorithms on special classes of graphs. Ph.D. thesis, Vanderbilt University.
|
| |
86
|
Kajitani, Y., Ishizuka, A., and Ueno, S. 1985. A characterization of the partial k-tree in terms of certain structures. In Proceedings of the International Symposium on Circuits and Systems. IEEE, 1179--1182.
|
| |
87
|
Karp, R. 1972. Reducibility among combinatorial problems. In Complexity of Computer Computations. Plenum Press, New York, 85--103.
|
| |
88
|
|
| |
89
|
Kassios, I. 2001. Translating Borie-Parker-Tovey calculus into mutumorphisms. Manuscript.
|
| |
90
|
|
| |
91
|
Klarlund, N., Moller, A., and Schwartzbach, M. 2002. Mona implementation secrets. Int. J. Foundat. Comput. Sci. 13, 571--586.
|
| |
92
|
Kloks, T. 1994. Treewidth, Computations and Approximations. Lecture Notes in Computer Science, vol. 842. Springer.
|
| |
93
|
|
| |
94
|
|
| |
95
|
Koster, A. 1999. Frequency assignment—Models and algorithms. Ph.D. thesis, Maastricht University.
|
| |
96
|
Lauritzen, S. and Spiegelhalter, D. 1988. Local computations with probabilities on graphical structures and their application to expert systems. J. Royal Statist. Soc. Series B 50, 157--224.
|
| |
97
|
|
| |
98
|
Makowsky, J., Rotics, U., Averbouch, I., and Godlin, B. 2006. Computing graph polynomials on graphs of bounded clique-width. In Proceedings of the 32nd International Workshop on Graph Theory. Lecture Notes in Computer Science, vol. 4271. Springer, 191--204.
|
| |
99
|
|
| |
100
|
Oum, S. 2005a. Approximating rank-width and clique-width quickly. In Proceedings of the 31st International Workshop on Graph Theory. Lecture Notes in Computer Science, vol. 3787. Springer, 49--58.
|
| |
101
|
|
| |
102
|
|
| |
103
|
Proskurowski, A. 1993. Graph reductions, and techniques for finding minimal forbidden minors. Graph Structure Theory 147, 591--600.
|
| |
104
|
Rardin, R. and Parker, R. 1986. Subgraph isomorphism on partial 2-trees. Tech. Rep., Georgia Institute of Technology.
|
 |
105
|
|
| |
106
|
Reed, B. 1997. Treewidth and tangles: A new connectivity measure and some applications. In Surveys in Combinatorics. London Mathematical Society Lecture Note Series, vol. 241. Cambridge University Press, London, 87--162. Invited papers from 16th British Combinatorial Conference.
|
| |
107
|
|
| |
108
|
Robertson, N. and Seymour, P. 1983. Graph minors I: Excluding a forest. J. Combinatorial Theory Series B 35, 39--61.
|
| |
109
|
Robertson, N. and Seymour, P. 1984. Graph minors III: Planar treewidth. J. Combinatorial Theory Series B 36, 49--64.
|
| |
110
|
Robertson, N. and Seymour, P. 1986a. Graph minors II: Algorithmic aspects of treewidth. J. Algor. 7, 309--322.
|
| |
111
|
|
| |
112
|
|
| |
113
|
|
| |
114
|
|
| |
115
|
|
| |
116
|
|
| |
117
|
|
| |
118
|
Robertson, N. and Seymour, P. 1992. Graph minors XXII: Irrelevant vertices in linkage problems. Manuscript.
|
| |
119
|
|
| |
120
|
|
| |
121
|
|
| |
122
|
|
| |
123
|
|
| |
124
|
Rose, D. 1974. On simple characterization of k-trees. Discrete Math. 7, 317--322.
|
| |
125
|
|
| |
126
|
|
 |
127
|
|
| |
128
|
Satyanarayana, A. and Tung, L. 1990. A characterization of partial 3-trees. Netw. 20, 299--322.
|
| |
129
|
Scheffler, P. 1987. Linear-Time algorithms for NP-complete problems restricted to partial k-trees. Tech. Rep. R-MATH-03/87, Akademie der Wissenschaften der DDR.
|
| |
130
|
Scheffler, P. 1988. What graphs have bounded treewidth? In Fischland Colloquium on Discrete Mathematics and Applications.
|
| |
131
|
Scheffler, P. 1989. The treewidth of graphs as a measure for the complexity of algorithmic problems. Ph.D. thesis, German Academy of Sciences Berlin.
|
| |
132
|
Scheffler, P. and Seese, D. 1986. Graphs of bounded tree-width and linear-time algorithms for NP-complete problems. In Bilateral Seminar.
|
| |
133
|
|
| |
134
|
|
| |
135
|
Seymour, P. and Thomas, R. 1994. Call routing and the ratcatcher. Combinatorica 14, 217--241.
|
| |
136
|
Spinrad, J. 2003. Efficient Graph Representations. Fields Institute Monographs. AMS, Brooklyn, NY.
|
| |
137
|
Syslo, M. 1983. NP-Complete problems on some tree-structured graphs: A review. In Proceedings of the 9th Workshop on Graph-Theoretic Concepts in Computer Science, 342--353.
|
 |
138
|
|
| |
139
|
|
| |
140
|
|
| |
141
|
|
| |
142
|
Valdes, J., Tarjan, R., and Lawler, E. 1982. The recognition of series parallel digraphs. SIAM J. Comput. 11, 298--313.
|
| |
143
|
Vizing, V. 1964. On an estimate of the chromatic class of a p-graph. Discrete Anal. 3, 25--30.
|
| |
144
|
|
| |
145
|
|
| |
146
|
Wimer, T. and Hedetniemi, S. 1988. K-terminal recursive families of graphs. Congressus Numer. 63, 161--176.
|
| |
147
|
Wimer, T., Hedetniemi, S., and Laskar, R. 1985. A methodology for constructing linear graph algorithms. Congressus Numer. 50, 43--60.
|
| |
148
|
Zhou, X., Fuse, K., and Nishizeki, T. 2000. A linear algorithm for finding {g,f}-colorings of partial k-trees. Algorithmica 27, 227--243.
|
| |
149
|
Zhou, X., Kanari, Y., and Nishizeki, T. 2000. Generalized vertex-colorings of partial k-trees. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. E83-A, 671--678.
|
| |
150
|
|
| |
151
|
|
INDEX TERMS
Primary Classification:
G.
Mathematics of Computing
G.2
DISCRETE MATHEMATICS
G.2.2
Graph Theory
Additional Classification:
F.
Theory of Computation
F.2
ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
F.2.2
Nonnumerical Algorithms and Problems
General Terms:
Algorithms,
Theory
Keywords:
Bandwidth,
Halin graph,
branchwidth,
cliquewidth,
cograph,
cutwidth,
dynamic programming,
pathwidth,
rankwidth,
series parallel,
tree,
treewidth
|