Revisiting path contraction and cycle contraction

IF 1.4 3区 计算机科学 Q1 BUSINESS, FINANCE
Journal of Computer and System Sciences Pub Date : 2026-03-01 Epub Date: 2025-10-09 DOI:10.1016/j.jcss.2025.103724
R. Krithika , V.K. Kutty Malu , Prafullkumar Tale
{"title":"Revisiting path contraction and cycle contraction","authors":"R. Krithika ,&nbsp;V.K. Kutty Malu ,&nbsp;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>&lt;</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>&gt;</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 O⁎(2k)-time algorithm. This improves over the current fastest parameterized algorithm known for the problem (Heggernes et al. (2014) [15]).
  • •
    Cycle Contraction admits an O⁎((2+ϵℓ)k)-time algorithm where 0<ϵℓ≤0.5509 and ϵℓ decreases as ℓ=n−k 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 O⁎(2.5191n)-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 O(n2−ϵ⋅2o(tw))-time algorithm for any ϵ>0, under the Orthogonal Vectors Conjecture. Here, tw is the treewidth of the input graph.
The second result complements the O(nm)-time, i.e., O(n2⋅tw)-time, algorithm known for the problem (Heggernes et al. (2014) [16]).
重温路径收缩和循环收缩
路径收缩和循环收缩问题以无向图G为输入,该无向图G有n个顶点,m条边和整数k,并确定是否可以分别通过在G中执行最多k次边收缩来获得路径或循环。我们重新讨论这些np完全问题并证明了以下结果。•路径收缩允许一个O (2k)时间算法。这比目前已知的最快的参数化算法有所改进(Heggernes et al.(2014)[15])。•循环收缩允许一个O ((2+ λ)k)时间算法,其中0<; λ≤0.5509,且λ随着λ =n−k的增加而减小。这些结果的核心是路径收缩的一般变体的算法,即带约束端点的路径收缩。我们还给出了一个O (2.5191n)时间的算法来解决循环收缩的优化版本。接下来,我们将注意力转向受限制的图类,并显示以下结果。•平面图上的路径收缩允许一个多项式时间算法。•对于任何ϵ>;0,在正交向量猜想下,弦图上的路径收缩不允许O(n2−λ·2o(tw))时间算法。这里,tw是输入图的树宽。第二个结果补充了O(nm)时间,即O(n2⋅tw)时间,已知的问题算法(Heggernes et al.(2014)[16])。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Journal of Computer and System Sciences
Journal of Computer and System Sciences 工程技术-计算机:理论方法
CiteScore
3.70
自引率
0.00%
发文量
58
审稿时长
68 days
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书