Abstract
Every set of finite graphs definable in monadic second-order logic is recognizable in the algebraic sense of Mezei and Wright (no "graph automaton" is provided). We apply this result to the comparison of several definitions of sets of finite graphs , in particular by context-free graph grammars, and by forbidden configurations. It follows that the monadic second order theory of a context-free set of graphs is decidable, and that every graph property expressible in monadic second-order logic is decidable in polynomial time for graphs of a given maximal tree-width.
Notes: (+) Unité de Recherche Associée au CNRS no726 This work has been supported by the "Programme de Recherches Coordonnées : Mathématiques et Informatique " Electronic mail : mcvax!inria!geocub!courcell (on UUCP network) or : courcell (at) inria.geocub.
Preview
Unable to display preview. Download preview PDF.
References
ARNBORG S., CORNEIL D., PROSKUROWSKI A., Complexity of finding an embedding in a k-tree. SIAM J. of Alg. and Discr. Methods 8 (1987) 277–284
ARNBORG S., PROSKUROWSKI A., Linear time algorithms for port TRITA NA 8404 (1984), Stockolm.
ARNBORG S., LAGERGREN J., SEESE D., Which problems are easy for tree decomposable graphs ? Preprint, Nov. 1987, and Proc. of ICALP' 88, Tampere, Lec. Notes in Comput. Sci. 317, pp. 38–51.
BAUDERON M., COURCELLE B., Graph expressions and graph rewritings, Math Systems Theory 20 (1987) 83–127
BODLAENDER H., Dynamic programming on graphs with bounded tree-width, Proc. ICALP' 88, Lec. Notes Comp. Sci. 317, pp. 105–132.
BODLAENDER H., NC-algorithms for graphs with small tree-width, this volume.
COURCELLE B., Equivalences and transformations of regular systems. Applications to recursive program schemes and grammars, Theor. Comp. Sci. 42 (1986) 1–122.
COURCELLE B., Recognizability and second order defi nability for sets of finite graphs, Report I-8634, (revised version: The monadic second order logic of graphs, I: Recognizable sets of finite graphs, to appear).
COURCELLE B., An axiomatic definition of context-free rewriting and its application to NLC graph grammars, Theoret. Comput. Sci. 55 (1987) 141–181.
COURCELLE B., A representation of graphs by algebraic expressions and its use for graph rewriting systems, Proceedings of the 3rd international workshop on graph grammars, Warrenton, Virginia, 1986 in Lec. Notes Comput. Science vol. 291, 1987 pp. 112–133
COURCELLE B., On context-free sets of graphs and their monadic 2nd-order theory, same volume as [10], pp. 133–146.
COURCELLE B., On recognizable sets and tree-automata Report 8736, Proc. of the Conference on the resolution of equations in algebraic structures (CREAS), M. Nivat and H. Ait-Kaci eds., Academic Press, to appear in 1989.
COURCELLE B., On the use of context-free graph grammars for analyzing recursive definitions, Second French-Japanese Seminar, L. Kott ed., North-Holland, to appear in 1988.
DONER J., Tree acceptors and some of their applications J. Comput. System Sci. 4 (1970) 406–451.
JOHNSON D., The NP-completeness column: an ongoing guide, (16th), J. of Algorithms 6 (1985) 434–451.
JOHNSON D., The NP-completeness column: An ongoing guide (19 th), J. of Algorithms 8 (1987) 285–303.
HABEL A., Graph-theoretic properties compatible with graph derivations, this volume.
HABEL A., KREOWSKI H. J., Some structural aspects of hyperedge languages generated by hyperedge replacements, preprint Oct. 85,and L.N.C.S. vol. 247, 1987, pp. 207–219.
LAUTEMANN C., Decomposition trees: structured graph repre sentations and efficient algorithms, Lec. Notes Comp. Sci. 299, pp. 28–39, 1988.
LAUTEMANN C., Efficient algorithms on context-free graph languages, Proc. ICALP' 88, Lec. Notes Comp. Sci. 317 pp. 362–378, 1988.
LENGAUER T., WANKE E., Efficient analysis of graph properties on context-free graph languages, Proc. ICALP 1988, Lec. Notes Comp. Sci. 317, pp. 379–393.
MEZEI J., WRIGHT J., Algebraic automata and context-free sets, Information and Control 11 (1967) 3–29.
MONIEN B., SUDBOROUGH H., Bandwidth constrained NP complete problems, 13th ACM Symp. on Theory of computation, 1981, pp. 207–217.
ROBERTSON N., SEYMOUR P., Some new results on the well quasi-ordering of graphs, Annals of Discrete Mathematics 23 (1984), 343–354, Elsevier Pub.
ROBERTSON N., SEYMOUR P., Graph minors V, Excluding a planar graph, J. Combinatorial Theory Ser. B, 41 (1986) 92–114.
ROBERTSON N., SEYMOUR P., Graph minors XVI, Wagner's conjecture, in preparation, 1988.
SEESE D., The structure of the models of decidable monadic theories of graphs, 1987, submitted for publication.
THATCHER J., WRIGHT J., Generalized finite automata theory, Math. Systems Theory 2 (1970) 57–81.
WAGNER K., Uber eine Eigenschaft der ebenen Komplexe, Math. Ann. 114 (1937) 570–590.
WIMER T., HEDETNIEMI S., LASKAR R., A methodology for constructing linear graph algorithms, DCS, Clemson Univ, 1985
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Courcelle, B. (1989). The monadic second-order logic of graphs : Definable sets of finite graphs. In: van Leeuwen, J. (eds) Graph-Theoretic Concepts in Computer Science. WG 1988. Lecture Notes in Computer Science, vol 344. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50728-0_34
Download citation
DOI: https://doi.org/10.1007/3-540-50728-0_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50728-4
Online ISBN: 978-3-540-46076-3
eBook Packages: Springer Book Archive