Paloma T. Lima , Vinicius F. dos Santos , Ignasi Sau , Uéverton S. Souza , Prafullkumar Tale
{"title":"Reducing the vertex cover number via edge contractions","authors":"Paloma T. Lima , Vinicius F. dos Santos , Ignasi Sau , Uéverton S. Souza , Prafullkumar Tale","doi":"10.1016/j.jcss.2023.03.003","DOIUrl":null,"url":null,"abstract":"<div><p>Given a graph <em>G</em> on <em>n</em> vertices and two integers <em>k</em> and <em>d</em>, the <span>Contraction(<span>vc</span>)</span> problem asks whether one can contract at most <em>k</em> edges to reduce the vertex cover number of <em>G</em> by at least <em>d</em>. Recently, Lima et al. [JCSS 2021] proved that <span>Contraction(<span>vc</span>)</span> admits an <span>XP</span> algorithm running in time <span><math><mi>f</mi><mo>(</mo><mi>d</mi><mo>)</mo><mo>⋅</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mo>(</mo><mi>d</mi><mo>)</mo></mrow></msup></math></span>. They asked whether this problem is <span>FPT</span> under this parameterization. In this article, we prove that: (i) <span>Contraction(<span>vc</span>)</span> is <span>W</span>[1]-<span>hard</span> parameterized by <span><math><mi>k</mi><mo>+</mo><mi>d</mi></math></span>. Moreover, unless the <span>ETH</span> fails, the problem does not admit an algorithm running in time <span><math><mi>f</mi><mo>(</mo><mi>k</mi><mo>+</mo><mi>d</mi><mo>)</mo><mo>⋅</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>o</mi><mo>(</mo><mi>k</mi><mo>+</mo><mi>d</mi><mo>)</mo></mrow></msup></math></span> for any function <em>f</em>. This answers negatively the open question stated in Lima et al. [JCSS 2021]. (ii) <span>Contraction(<span>vc</span>)</span> is <span>NP</span>-<span>hard</span> even when <span><math><mi>k</mi><mo>=</mo><mi>d</mi></math></span>. (iii) <span>Contraction(<span>vc</span>)</span> can be solved in time <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mo>(</mo><mi>d</mi><mo>)</mo></mrow></msup><mo>⋅</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>k</mi><mo>−</mo><mi>d</mi><mo>+</mo><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>. This improves the algorithm of Lima et al. [JCSS 2021], and shows that when <span><math><mi>k</mi><mo>=</mo><mi>d</mi></math></span>, <span>Contraction(<span>vc</span>)</span> is <span>FPT</span> parameterized by <em>d</em> (or by <em>k</em>).</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"136 ","pages":"Pages 63-87"},"PeriodicalIF":1.1000,"publicationDate":"2023-09-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/S0022000023000302","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
Abstract
Given a graph G on n vertices and two integers k and d, the Contraction(vc) problem asks whether one can contract at most k edges to reduce the vertex cover number of G by at least d. Recently, Lima et al. [JCSS 2021] proved that Contraction(vc) admits an XP algorithm running in time . They asked whether this problem is FPT under this parameterization. In this article, we prove that: (i) Contraction(vc) is W[1]-hard parameterized by . Moreover, unless the ETH fails, the problem does not admit an algorithm running in time for any function f. This answers negatively the open question stated in Lima et al. [JCSS 2021]. (ii) Contraction(vc) is NP-hard even when . (iii) Contraction(vc) can be solved in time . This improves the algorithm of Lima et al. [JCSS 2021], and shows that when , Contraction(vc) is FPT parameterized by d (or by k).
期刊介绍:
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.