Hans L. Bodlaender , Matthew Johnson , Barnaby Martin , Jelle J. Oostveen , Sukanya Pandey , Daniël Paulusma , Siani Smith , Erik Jan van Leeuwen
{"title":"Complexity framework for forbidden subgraphs IV: The Steiner Forest problem","authors":"Hans L. Bodlaender , Matthew Johnson , Barnaby Martin , Jelle J. Oostveen , Sukanya Pandey , Daniël Paulusma , Siani Smith , Erik Jan van Leeuwen","doi":"10.1016/j.jcss.2025.103682","DOIUrl":null,"url":null,"abstract":"<div><div>We study <span>Steiner Forest</span> on <em>H</em>-subgraph-free graphs, that is, graphs that do not contain some fixed graph <em>H</em> as a (not necessarily induced) subgraph. In contrast to the related <span>Steiner Tree</span> problem, <span>Steiner Forest</span> falls outside a recent framework that completely characterizes the complexity of many problems on <em>H</em>-subgraph-free graphs. Hence, the complexity of <span>Steiner Forest</span> on <em>H</em>-subgraph-free graphs remained open. Our main results are four polynomial-time algorithms for different excluded graphs <em>H</em> that are central to further understand its complexity. We also study the complexity of <span>Steiner Forest</span> for graphs with a small <em>c</em>-deletion set, that is, a small set <em>X</em> of vertices such that each connected component of <span><math><mi>G</mi><mo>−</mo><mi>X</mi></math></span> has size at most <em>c</em>. For this parameter, we give two algorithms that we later employ as subroutines (including a faster algorithm when <span><math><mi>c</mi><mo>=</mo><mn>1</mn></math></span>, that is, the vertex cover number) and exhibit a dichotomy theorem.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"154 ","pages":"Article 103682"},"PeriodicalIF":0.9000,"publicationDate":"2025-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer and System Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022000025000649","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
Abstract
We study Steiner Forest on H-subgraph-free graphs, that is, graphs that do not contain some fixed graph H as a (not necessarily induced) subgraph. In contrast to the related Steiner Tree problem, Steiner Forest falls outside a recent framework that completely characterizes the complexity of many problems on H-subgraph-free graphs. Hence, the complexity of Steiner Forest on H-subgraph-free graphs remained open. Our main results are four polynomial-time algorithms for different excluded graphs H that are central to further understand its complexity. We also study the complexity of Steiner Forest for graphs with a small c-deletion set, that is, a small set X of vertices such that each connected component of has size at most c. For this parameter, we give two algorithms that we later employ as subroutines (including a faster algorithm when , that is, the vertex cover number) and exhibit a dichotomy theorem.
期刊介绍:
The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriented papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions.
Research areas include traditional subjects such as:
• Theory of algorithms and computability
• Formal languages
• Automata theory
Contemporary subjects such as:
• Complexity theory
• Algorithmic Complexity
• Parallel & distributed computing
• Computer networks
• Neural networks
• Computational learning theory
• Database theory & practice
• Computer modeling of complex systems
• Security and Privacy.