Abstract
Regarding members of a class of graphs as values of algebraic expressions allows definition of a congruence such that the given class is the union of some of the equivalence classes. In many cases this congruence has a finite number of equivalence classes. Such a congruence can be used to generate a reduction system that decides the class membership in linear time. However, a congruence for a given problem is often difficult to determine.
We describe a technique that produces an algebra and a congruence relation on its carrier for some classes of graphs. Our technique builds on considering possible representations of the generated graphs as graphs of the desired class. By introduction of a labeling describing the “most parsimonious” such representations, we can work with small labeled graphs instead of large unlabeled ones, and some of the case analysis can be delegated to the algebraic machinery used. The congruence relation is subsequently used to construct a labeled graph reduction system based on a reduction system recognizing a larger class than the one sought.
Supported by the Swedish Research Council for Engineering Sciences.
Research supported in part by National Science Foundation grants NSF-CCR-9213439 and NSF-INT-9214108.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
S. Arnborg, B. Courcelle, A. Proskurowski and D. Seese, An algebraic theory of graph reduction, J. ACM 40 (1993), 1134–1164
S. Arnborg, J. Lagergren and D. Seese, Problems easy for tree-decomposable graphs, J. of Algorithms 12, (1991), 308–340
S. Arnborg and A. Proskurowski, Canonical representations of partial 2-and 3-trees, BIT 32 (1992), 197–214
S. Arnborg, A. Proskurowski, and D. Seese, Monadic second order logic, tree automata and forbidden minors, in Proceedings of the 4th Computer Science Logic Workshop, E.Börger and H. Kleine Buning, Eds., Springer-Verlag LNCS 533, 1–16 (1991)
M. Bauderon and B. Courcelle, Graph expressions and graph rewritings, Mathematical Systems Theory 20 (1987), 83–127
H. Bodlaender, On reduction algorithms for graphs with small treewidth, Proc. 19th Workshop on Graph-Theoretic Concepts in Computer Science, Springer Verlag, LNCS 790, 45–56 (1993)
B. Courcelle, The monadic second-order logic of graphs I: recognizable sets of finite graphs, Information and Computation 85 (1990), 12–75
B. Courcelle, The Monadic Second-Order Logic of Graphs III: Tree-Decompositions, Minors and Complexity Issues, Informatique Théorique et Applications 26 (1992), 257–286.
R.P. Dilworth, A decomposition theorem for partially ordered sets, Ann. of Mathematics 51 (1951), 161–166
Graetzer, Universal Algebra, Springer Verlag, 1979
N. Kinnersley and M. Langston, Obstruction set isolation for the gate matrix layout problem, Discrete Applied Mathematics 54, 169–214 (1994)
N.M. Korneyenko, Combinatorial algorithms on a class of graphs, Discrete Applied Mathematics 54, 215–218 (1994)
D. Kozen, On the Myhill-Nerode theorem for trees, Bulletin of the EATCS 47, 170–173
D. Rose, On simple characterization of k-trees, Discrete Mathematics 7, 317–22 (1974)
J. Valdes, E. Lawler and R.E. Tarjan, The recognition of series-parallel digraphs, SIAM J. Computing 11, 298–313 (1982)
A. Takahashi, S. Ueno, and Y. Kajitani, Minimal acyclic forbidden minors for the family of graphs with bounded path-width, in Proceedings of SIGAL (1991)
J.W. Thatcher and J.B. Write, Generalized finite automata theory with an application to a decision problem in second-order logic, Mathematical Systems Theory 2, 57–81 (1968).
A. Wald and C.J. Colbourn, Steiner Trees, Partial 2-trees, and minimum IFI networks, Networks 13, 159–167 (1983).
T.V. Wimer, Linear algorithms on k-terminal graphs, PhD Thesis URI-030, Clemson University, Clemson (1988).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arnborg, S., Proskurowski, A. (1996). A technique for recognizing graphs of bounded treewidth with application to subclasses of partial 2-paths. In: Cuny, J., Ehrig, H., Engels, G., Rozenberg, G. (eds) Graph Grammars and Their Application to Computer Science. Graph Grammars 1994. Lecture Notes in Computer Science, vol 1073. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61228-9_106
Download citation
DOI: https://doi.org/10.1007/3-540-61228-9_106
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61228-5
Online ISBN: 978-3-540-68388-9
eBook Packages: Springer Book Archive