ACM Home Page
Please provide us with feedback. Feedback
Solving problems on recursively constructed graphs
Full text PdfPdf (1.67 MB)
Source
ACM Computing Surveys (CSUR) archive
Volume 41 ,  Issue 1  (December 2008) table of contents
Article No. 4  
Year of Publication: 2008
ISSN:0360-0300
Authors
Richard B. Borie  University of Alabama, Tuscaloosa, AL
R. Gary Parker  Georgia Institute of Technology, Atlanta, GA
Craig A. Tovey  Georgia Institute of Technology, Atlanta, GA
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 64,   Downloads (12 Months): 728,   Citation Count: 0
Additional Information:

abstract   references   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1456650.1456654
What is a DOI?

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
 
25
 
26
 
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

Collaborative Colleagues:
Richard B. Borie: colleagues
R. Gary Parker: colleagues
Craig A. Tovey: colleagues