Abstract
In this paper we present a parallel algorithm that decides whether a graph G has treewidth at most two, and if so, constructs a tree decomposition or path decomposition of minimum width of G. The algorithm uses O(n) operations and O(log n log* n) time on an EREW PRAM, or O(log n) time on a CRCW PRAM. The algorithm makes use of the resemblance between series-parallel graphs and partial two-trees. It is a (non-trivial) extension of the parallel algorithm for series-parallel graphs that is presented in [6].
This research was carried out while the first author was working at the Department of Computer Science at Utrecht University, with support by the Foundation for Computer Science (S.I.O.N) of the Netherlands Organization for Scientific Research (N.W.O.). This research was partially supported by ESPRIT Long Term Research Project 20244 (project ALCOM IT: Algorithms and Complexity in Information Technology).
Preview
Unable to display preview. Download preview PDF.
References
K. R. Abrahamson, N. Dadoun, D. G. Kirkpatrick, and T. Przytycka. A simple parallel tree contraction algorithm. J. Algorithms, 10:287–302, 1989.
S. Arnborg, B. Courcelle, A. Proskurowski, and D. Seese. An algebraic theory of graph reduction. J. ACM, 40:1134–1164, 1993.
S. Arnborg and A. Proskurowski. Characterization and recognition of partial 3trees. SIAM J. Alg. Disc. Meth., 7:305–314, 1986.
H. L. Bodlaender. NC-algorithms for graphs with small treewidth. In J. van Leeuwen, editor, Proceedings 14th International Workshop on Graph-Theoretic Concepts in Computer Science WG'88, pages 1–10. Springer Verlag, Lecture Notes in Computer Science, vol. 344, 1988.
H. L. Bodlaender. A linear time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput., 25:1305–1317, 1996.
H. L. Bodlaender and B. de Fluiter. Parallel algorithms for series parallel graphs. In J. Diaz and M. Serna, editors, Proceedings 4st Annual European Symposium on Algorithms ESA'96, Lecture Notes on Computer Science, vol. 1136, pages 277–289, Berlin, 1996. Springer Verlag.
H. L. Bodlaender and B. de Fluiter. Reduction algorithms for constructing solutions in graphs with small treewidth. In J.-Y. Cai and C. K. Wong, editors, Proceedings 2nd Annual International Conference on Computing and Combinatorics, COCOON'96, pages 199–208. Springer Verlag, Lecture Notes in Computer Science, vol. 1090, 1996.
H. L. Bodlaender and T. Hagerup. Parallel algorithms with optimal speedup for bounded treewidth. In Z. Fülöp and F. Gécseg, editors, Proceedings 22nd International Colloquium on Automata, Languages and Programming, pages 268–279, Berlin, 1995. Springer-Verlag, Lecture Notes in Computer Science 944. To appear in SIAM J. Computing, 1997.
B. Courcelle. Graph rewriting: an algebraic and logical approach. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 192–242, Amsterdam, 1990. North Holland Publ. Comp.
B. Courcelle. The monadic second-order logic of graphs I: Recognizable sets of finite graphs. Information and Computation, 85:12–75, 1990.
B. de Fluiter. Algorithms for Graphs of Small Treewidth. PhD thesis, Utrecht University, 1997.
B. de Fluiter and H. L. Bodlaender. Parallel algorithms for graphs of treewidth two. Technical Report UU-CS-1997-23, Dept. of Computer Science, Utrecht University, Utrecht, the Netherlands, 1997.
R. J. Duffin. Topology of series-parallel graphs. J. Math. Anal. Appl., 10:303–318, 1965.
D. Granot and D. Skorin-Kapov. NC algorithms for recognizing partial 2-trees and 3-trees. SIAM J. Disc. Meth., 4(3):342–354, 1991.
J. Lagergren. Efficient parallel algorithms for graphs of bounded tree-width. J. Algorithms, 20:20–44, 1996.
J. Matoušek and R. Thomas. Algorithms finding tree-decompositions of graphs. J. Algorithms, 12:1–22, 1991.
N. Robertson and P. D. Seymour. Graph minors. II. Algorithmic aspects of treewidth. J. Algorithms, 7:309–322, 1986.
D. P. Sanders. On linear recognition of tree-width at most four. SIAM J. Disc. Meth., 9(1):101–117, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Fluiter, B., Bodlaender, H.L. (1997). Parallel algorithms for treewidth two. In: Möhring, R.H. (eds) Graph-Theoretic Concepts in Computer Science. WG 1997. Lecture Notes in Computer Science, vol 1335. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024496
Download citation
DOI: https://doi.org/10.1007/BFb0024496
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63757-8
Online ISBN: 978-3-540-69643-8
eBook Packages: Springer Book Archive