Benjamin Bergougnoux , Nello Blaser , Michael Fellows , Petr Golovach , Frances Rosamond , Emmanuel Sam
{"title":"On the parameterized complexity of lineal topologies (depth-first spanning trees) with many or few leaves","authors":"Benjamin Bergougnoux , Nello Blaser , Michael Fellows , Petr Golovach , Frances Rosamond , Emmanuel Sam","doi":"10.1016/j.jcss.2025.103680","DOIUrl":null,"url":null,"abstract":"<div><div>This paper considers four problems with possible applications in network design: Given a graph <em>G</em> with <span><math><mo>|</mo><mi>G</mi><mo>|</mo><mo>=</mo><mi>n</mi></math></span> and an integer <span><math><mi>k</mi><mo>≥</mo><mn>0</mn></math></span>, does <em>G</em> have a DFS tree with (i) ≤<em>k</em> leaves, (ii) ≥<em>k</em> leaves, (iii) <span><math><mo>≤</mo><mi>n</mi><mo>−</mo><mi>k</mi></math></span> leaves, and (iv) <span><math><mo>≥</mo><mi>n</mi><mo>−</mo><mi>k</mi></math></span> leaves? We show that all four problems are NP-hard. When parameterized by <em>k</em>, we prove that while (i) is para-NP-hard and (ii) is W[1]-hard, both (iii) and (iv) admit polynomial kernels with <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></math></span> vertices, implying FPT algorithms running in <span><math><msup><mrow><mi>k</mi></mrow><mrow><mi>O</mi><mo>(</mo><mi>k</mi><mo>)</mo></mrow></msup><mo>⋅</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span> time. Our polynomial kernels are based on a <span><math><mi>O</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span>-sized vertex cover structure associated with the solution of these problems. As a byproduct, we obtain polynomial kernels for these problems parameterized by the vertex cover number of the input graph.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"154 ","pages":"Article 103680"},"PeriodicalIF":1.1000,"publicationDate":"2025-05-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/S0022000025000625","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
Abstract
This paper considers four problems with possible applications in network design: Given a graph G with and an integer , does G have a DFS tree with (i) ≤k leaves, (ii) ≥k leaves, (iii) leaves, and (iv) leaves? We show that all four problems are NP-hard. When parameterized by k, we prove that while (i) is para-NP-hard and (ii) is W[1]-hard, both (iii) and (iv) admit polynomial kernels with vertices, implying FPT algorithms running in time. Our polynomial kernels are based on a -sized vertex cover structure associated with the solution of these problems. As a byproduct, we obtain polynomial kernels for these problems parameterized by the vertex cover number of the input graph.
期刊介绍:
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.