{"title":"Revisiting path contraction and cycle contraction","authors":"R. Krithika , V.K. Kutty Malu , Prafullkumar Tale","doi":"10.1016/j.jcss.2025.103724","DOIUrl":null,"url":null,"abstract":"<div><div>The <span>Path Contraction</span> and <span>Cycle Contraction</span> problems take as input an undirected graph <em>G</em> with <em>n</em> vertices, <em>m</em> edges and an integer <em>k</em> and determine whether one can obtain a path or a cycle, respectively, by performing at most <em>k</em> edge contractions in <em>G</em>. We revisit these <span>NP</span>-complete problems and prove the following results.<ul><li><span>•</span><span><div><span>Path Contraction</span> admits an <span><math><msup><mrow><mi>O</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>(</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>k</mi></mrow></msup><mo>)</mo></math></span>-time algorithm. This improves over the current fastest parameterized algorithm known for the problem (Heggernes et al. (2014) <span><span>[15]</span></span>).</div></span></li><li><span>•</span><span><div><span>Cycle Contraction</span> admits an <span><math><msup><mrow><mi>O</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>(</mo><msup><mrow><mo>(</mo><mn>2</mn><mo>+</mo><msub><mrow><mi>ϵ</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>)</mo></mrow><mrow><mi>k</mi></mrow></msup><mo>)</mo></math></span>-time algorithm where <span><math><mn>0</mn><mo><</mo><msub><mrow><mi>ϵ</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>≤</mo><mn>0.5509</mn></math></span> and <span><math><msub><mrow><mi>ϵ</mi></mrow><mrow><mi>ℓ</mi></mrow></msub></math></span> decreases as <span><math><mi>ℓ</mi><mo>=</mo><mi>n</mi><mo>−</mo><mi>k</mi></math></span> increases.</div></span></li></ul> Central to these results is an algorithm for a general variant of <span>Path Contraction</span>, namely <span>Path Contraction With Constrained Ends</span>. We also give an <span><math><msup><mrow><mi>O</mi></mrow><mrow><mo>⁎</mo></mrow></msup><mo>(</mo><msup><mrow><mn>2.5191</mn></mrow><mrow><mi>n</mi></mrow></msup><mo>)</mo></math></span>-time algorithm to solve the optimization version of <span>Cycle Contraction</span>. Next, we turn our attention to restricted graph classes and show the following results.<ul><li><span>•</span><span><div><span>Path Contraction</span> on planar graphs admits a polynomial-time algorithm.</div></span></li><li><span>•</span><span><div><span>Path Contraction</span> on chordal graphs does not admit an <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn><mo>−</mo><mi>ϵ</mi></mrow></msup><mo>⋅</mo><msup><mrow><mn>2</mn></mrow><mrow><mi>o</mi><mo>(</mo><mi>t</mi><mi>w</mi><mo>)</mo></mrow></msup><mo>)</mo></math></span>-time algorithm for any <span><math><mi>ϵ</mi><mo>></mo><mn>0</mn></math></span>, under the <span>Orthogonal Vectors Conjecture</span>. Here, <em>tw</em> is the treewidth of the input graph.</div></span></li></ul> The second result complements the <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mi>m</mi><mo>)</mo></math></span>-time, i.e., <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>⋅</mo><mi>t</mi><mi>w</mi><mo>)</mo></math></span>-time, algorithm known for the problem (Heggernes et al. (2014) <span><span>[16]</span></span>).</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103724"},"PeriodicalIF":1.4000,"publicationDate":"2026-03-01","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/S0022000025001060","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/10/9 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
Abstract
The Path Contraction and Cycle Contraction problems take as input an undirected graph G with n vertices, m edges and an integer k and determine whether one can obtain a path or a cycle, respectively, by performing at most k edge contractions in G. We revisit these NP-complete problems and prove the following results.
•
Path Contraction admits an -time algorithm. This improves over the current fastest parameterized algorithm known for the problem (Heggernes et al. (2014) [15]).
•
Cycle Contraction admits an -time algorithm where and decreases as increases.
Central to these results is an algorithm for a general variant of Path Contraction, namely Path Contraction With Constrained Ends. We also give an -time algorithm to solve the optimization version of Cycle Contraction. Next, we turn our attention to restricted graph classes and show the following results.
•
Path Contraction on planar graphs admits a polynomial-time algorithm.
•
Path Contraction on chordal graphs does not admit an -time algorithm for any , under the Orthogonal Vectors Conjecture. Here, tw is the treewidth of the input graph.
The second result complements the -time, i.e., -time, algorithm known for the problem (Heggernes et al. (2014) [16]).
期刊介绍:
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.