Hans L. Bodlaender , Matthew Johnson , Barnaby Martin , Jelle J. Oostveen , Sukanya Pandey , Daniël Paulusma , Siani Smith , Erik Jan van Leeuwen
{"title":"禁止子图的复杂度框架IV:斯坦纳森林问题","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":"{\"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}","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}
Complexity framework for forbidden subgraphs IV: The Steiner Forest problem
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.