Steiner trees for hereditary graph classes: A treewidth perspective

被引:7
作者
Bodlaender, Hans L. [1 ]
Brettell, Nick [3 ]
Johnson, Matthew [2 ]
Paesani, Giacomo [2 ]
Paulusma, Daniel [2 ]
van Leeuwen, Erik Jan [1 ]
机构
[1] Univ Utrecht, Dept Informat & Comp Sci, Utrecht, Netherlands
[2] Univ Durham, Dept Comp Sci, Durham, England
[3] Victoria Univ Wellington, Sch Math & Stat, Wellington, New Zealand
关键词
Steiner tree; Hereditary graph class; Treewidth; CLIQUE-WIDTH;
D O I
10.1016/j.tcs.2021.03.012
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We consider the classical problems(Edge) Steiner TreeandVertex Steiner Treeafter restricting the input to some class of graphs characterized by a small set of forbidden induced subgraphs. We show a dichotomy for the former problem restricted to (H-1, H-2)free graphs and a dichotomy for the latter problem restricted to H-free graphs. We find that there exists an infinite family of graphs Hsuch thatVertex Steiner Treeis polynomial-time solvable for H-free graphs, whereas there exist only two graphs Hfor which this holds forEdge Steiner Tree(assuming P not equal NP). We also find thatEdge Steiner Treeis polynomial-time solvable for (H-1, H-2)-free graphs if and only if the treewidth of the class of (H-1, H-2)-free graphs is bounded (subject to P not equal NP). To obtain the latter result, we determine all pairs (H-1, H-2) for which the class of (H-1, H-2)-free graphs has bounded treewidth. (c) 2021 Elsevier B.V. All rights reserved.
引用
收藏
页码:30 / 39
页数:10
相关论文
共 27 条
[1]   More Applications of the d-Neighbor Equivalence: Connectivity and Acyclicity Constraints [J].
Bergougnoux, Benjamin ;
Kante, Mamadou Moustapha .
27TH ANNUAL EUROPEAN SYMPOSIUM ON ALGORITHMS (ESA 2019), 2019, 144
[2]   THE STEINER PROBLEM WITH EDGE LENGTH-1 AND LENGTH-2 [J].
BERN, M ;
PLASSMANN, P .
INFORMATION PROCESSING LETTERS, 1989, 32 (04) :171-176
[3]   Steiner Trees for Hereditary Graph Classes [J].
Bodlaender, Hans L. ;
Brettell, Nick ;
Johnson, Matthew ;
Paesani, Giacomo ;
Paulusma, Daniel ;
van Leeuwen, Erik Jan .
LATIN 2020: THEORETICAL INFORMATICS, 2020, 12118 :613-624
[4]   Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth [J].
Bodlaender, Hans L. ;
Cygan, Marek ;
Kratsch, Stefan ;
Nederlof, Jesper .
INFORMATION AND COMPUTATION, 2015, 243 :86-111
[5]   Understanding Model Counting for β-acyclic CNF-formulas [J].
Brault-Baron, Johann ;
Capelli, Florent ;
Mengel, Stefan .
32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 :143-156
[6]   Boolean-width of graphs [J].
Bui-Xuan, Binh-Minh ;
Telle, Jan Arne ;
Vatshelle, Martin .
THEORETICAL COMPUTER SCIENCE, 2011, 412 (39) :5187-5204
[7]   Improved Steiner tree algorithms for bounded treewidth [J].
Chimani, Markus ;
Mutzel, Petra ;
Zey, Bernd .
JOURNAL OF DISCRETE ALGORITHMS, 2012, 16 :67-78
[8]  
Chuzhoy J., 2015, P 26 ANN ACM SIAM S, P256, DOI [10.1137/1.9781611973730.20, DOI 10.1137/1.9781611973730.20]
[9]   COMPLEMENT REDUCIBLE GRAPHS [J].
CORNEIL, DG ;
LERCHS, H ;
BURLINGHAM, LS .
DISCRETE APPLIED MATHEMATICS, 1981, 3 (03) :163-174
[10]  
Dabrowski KK, 2019, LOND MATH S, V456, P1