Abstract
We show that a graph decision problem can be defined in the Counting Monadic Second-order logic if the partial 3-trees that are yes-instances can be recognized by a finite-state tree automaton. The proof generalizes to also give this result for k-connected partial k-trees. The converse—definability implies recognizability—is known to hold over all partial k-trees. It has been conjectured that recognizability implies definability over partial k-trees; but a proof was previously known only for k≤2. This paper proves the conjecture—and hence the equivalence of definability and recognizability—over partial 3-trees and k-connected partial k-trees.
Preview
Unable to display preview. Download preview PDF.
References
S. Arnborg. Efficient algorithms for combinatorial problems on graphs with bounded decomposability. BIT, 25:2–33, 1985.
S. Arnborg, D.G. Corneil, and A. Proskurowski. Complexity of finding embeddings in a k-tree. SIAM J. Alg. Disc. Meth., 8:277–284, 1987.
S. Arnborg, J. Lagergren, and D. Seese. Easy problems for tree decomposable graphs. J. Algorithms, 12:308–340, 1991.
S. Arnborg and A. Proskurowski. Linear time algorithms for NP-hard problems restricted to partial k-trees. Disc. Appl. Math., 23:11–24, 1989.
S. Arnborg, A. Proskurowski, and D.G. Corneil. Forbidden minors characterization of partial 3-trees. Disc. Math., 80:1–19, 1990.
M.W. Bern, E.L. Lawler, and A.L. Wong. Linear-time computation of optimal subgraphs of decomposable graphs. J. Algorithms, 8:216–235, 1987.
H.L. Bodlaender. Dynamic programming on graphs with bounded treewidth. In Lecture Notes in Computer Science (Proc. 15 th ICALP), volume 317, pages 105–119. Springer-Verlag, 1988.
H.L. Bodlaender. A linear time algorithm for finding tree-decompositions of small treewidth. In Proc. 25 th STOC, pages 226–234, 1993.
B. Bollobás. Extremal Graph Theory. Academic Press, London, 1978.
R.B. Borie, R.G. Parker, and C.A. Tovey. Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families. Algorithmica, 7:555–581, 1992.
B. Courcelle. The monadic second-order logic of graphs. I. Recognizable sets of finite graphs. Information and Computation, 85:12–75, 1990.
B. Courcelle. The monadic second-order logic of graphs. V. On closing the gap between definability and recognizability. Theoret. Comput. Sci., 80:153–202, 1991.
F. Gécseg and M. Steinby. Tree Automata. Akadémiai Kiadó, Budapest, 1984.
D. Kaller. Monadic Second-Order Logic and Linear-Time Algorithms for Graphs of Bounded Treewidth. PhD thesis, Simon Fraser University, Burnaby, B.C., Canada. 1996.
S. Mahajan and J.G. Peters. Regularity and locality in k-terminal graphs. Disc. Appl. Math., 54:229–250, 1994.
N. Robertson and P.D. Seymour. Graph minors. XX. Wagner's conjecture. To appear.
N. Robertson and P.D. Seymour. Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms, 7:309–322, 1986.
K. Takamizawa, T. Nishizeki, and N. Saito. Linear-time computability of combinatorial problems on series-parallel graphs. JACM, 29:623–641, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaller, D. (1997). Definability equals recognizability of partial 3-trees. In: d'Amore, F., Franciosa, P.G., Marchetti-Spaccamela, A. (eds) Graph-Theoretic Concepts in Computer Science. WG 1996. Lecture Notes in Computer Science, vol 1197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62559-3_20
Download citation
DOI: https://doi.org/10.1007/3-540-62559-3_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62559-9
Online ISBN: 978-3-540-68072-7
eBook Packages: Springer Book Archive