Abstract.

Given two \(n\)-vertex graphs \(G_1\) and \(G_2\) of bounded treewidth, is there an \(n\)-vertex graph \(G\) of bounded treewidth having subgraphs isomorphic to \(G_1\) and \(G_2\)? Our main result is a negative answer to this question, in a strong sense: we show that the answer is no even if \(G_1\) is a binary tree and \(G_2\) is a ternary tree. We also provide an extensive study of cases where such “gluing” is possible. In particular, we prove that if \(G_1\) has treewidth \(k\) and \(G_2\) has pathwidth \(\ell\), then there is an \(n\)-vertex graph of treewidth at most \(k+3 \ell+1\) containing both \(G_1\) and \(G_2\) as subgraphs.

Keywords

  1. treewidth
  2. pathwidth
  3. graph union
  4. gluing of graphs

MSC codes

  1. 05C76
  2. 05C78
  3. 05C83

Get full access to this article

View all available purchase options and get full access to this article.

Acknowledgment.

We are very grateful to the anonymous referee for their careful reading of our manuscript, and for providing us with several interesting observations, some of which we included in the conclusion section.

References

1.
H. L. Bodlaender, A linear-time algorithm for finding tree-decompositions of small treewidth, SIAM J. Comput., 25 (1996), pp. 1305–1317, https://doi.org/10.1137/S0097539793251219.
2.
Y. Chen and J. Flum, On the ordered conjecture, in 2012 27th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2012, pp. 225–234.
3.
D. G. Corneil and U. Rotics, On the relationship between clique-width and treewidth, SIAM J. Comput., 34 (2005), pp. 825–847, https://doi.org/10.1137/S0097539701385351.
4.
R. Diestel, Graph Theory, Springer, Berlin, Heidelberg, 2017.
5.
J. Enright, K. Meeks, W. Pettersson, and J. Sylvester, Tangled Paths: A Random Graph Model from Mallows Permutations, preprint, arXiv:2108.04786 [math.CO], 2021.
6.
J. Enright, K. Meeks, and J. Ryan, Two Dichotomies for Model-Checking in Multi-layer Structures, preprint, arXiv:1710.08758 [cs.DM], 2017.
7.
M. Geyer, M. Hoffmann, M. Kaufmann, V. Kusters, and C. D. Tóth, The planar tree packing theorem, J. Comput. Geom., 8 (2017), pp. 109–177.
8.
D. Gonçalves, Caterpillar arboricity of planar graphs, Discrete Math., 307 (2007), pp. 2112–2121.
9.
S. M. Hedetniemi, S. T. Hedetniemi, and P. J. Slater, A note on packing two trees into \(K_n\), Ars Combin., 11 (1981), pp. 149–153.
10.
N. G. Kinnersley, The vertex separation number of a graph equals its path-width, Inform. Process. Lett., 42 (1992), pp. 345–350.
11.
M. Kivelä, A. Arenas, M. Barthelemy, J. P. Gleeson, Y. Moreno, and M. A. Porter, Multilayer networks, J. Complex Netw., 2 (2014), pp. 203–271.
12.
V. Lozin, I. Razgon, and V. Zamaraev, Well-quasi-ordering versus clique-width, J. Combin. Theory Ser. B, 130 (2018), pp. 1–18.
13.
J. A. Makowsky, Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width, Discrete Appl. Math., 145 (2005), pp. 276–290.
14.
C. St. J. A. Nash-Williams, Decomposition of finite graphs into forests, J. London Math. Soc., 39 (1964), p. 12.
15.
D. A. Quiroz, Chromatic and Structural Properties of Sparse Graph Classes, Ph.D. thesis, The London School of Economics and Political Science (LSE), 2017.
16.
N. Robertson and P. D. Seymour, Graph minors. I. Excluding a forest, J. Combin. Theory, Ser. B, 35 (1983), pp. 39–61.

Information & Authors

Information

Published In

cover image SIAM Journal on Discrete Mathematics
SIAM Journal on Discrete Mathematics
Pages: 261 - 276
ISSN (online): 1095-7146

History

Submitted: 23 September 2022
Accepted: 3 October 2023
Published online: 10 January 2024

Keywords

  1. treewidth
  2. pathwidth
  3. graph union
  4. gluing of graphs

MSC codes

  1. 05C76
  2. 05C78
  3. 05C83

Authors

Affiliations

Bogdan Alecu
School of Computing, University of Leeds, Leeds, LS2 9JT, UK.
Vadim V. Lozin
Mathematics Institute, University of Warwick, Coventry, CV4 7AL, UK.
Instituto de Ingeniería Matemática-CIMFAV, Universidad de Valparaiso, Valparaiso, Chile.
Roman Rabinovich
ArangoDB Inc., Berlin, Germany.
Igor Razgon
Department of Computer Science and Information Systems, Birkbeck University of London, London, UK.
Viktor Zamaraev
Department of Computer Science, University of Liverpool, Liverpool, UK.

Funding Information

Programa Regional: MATH-AMSUD MATH210008
Funding: The work of the third author was supported by FONDECYT/ANID Iniciación en Investigación grant 11201251 and by Programa Regional MATH-AMSUD MATH210008.

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

Cited By

There are no citations for this item

View Options

View options

PDF

View PDF

Full Text

View Full Text

Figures

Tables

Media

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media