{"title":"Algorithms and hardness results for the (k,ℓ)-cover problem","authors":"Amirali Madani , Anil Maheshwari , Babak Miraftab , Bodhayan Roy","doi":"10.1016/j.jcss.2025.103727","DOIUrl":null,"url":null,"abstract":"<div><div>A connected graph has a <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>ℓ</mi><mo>)</mo></math></span>-cover if each of its edges is contained in at least <em>ℓ</em> cliques of order <em>k</em>. Motivated by recent advances in extremal combinatorics and the literature on edge modification problems, we study the algorithmic version of the <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>ℓ</mi><mo>)</mo></math></span>-cover problem. Given a connected graph <em>G</em>, the <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>ℓ</mi><mo>)</mo></math></span>-cover problem is to identify the smallest subset of non-edges of <em>G</em> such that their addition to <em>G</em> results in a graph with a <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mi>ℓ</mi><mo>)</mo></math></span>-cover. For every constant <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span>, we show that the <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mn>1</mn><mo>)</mo></math></span>-cover problem is <span><math><mi>NP</mi></math></span>-complete for general graphs. Moreover, we show that for every constant <span><math><mi>k</mi><mo>≥</mo><mn>3</mn></math></span>, the <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mn>1</mn><mo>)</mo></math></span>-cover problem admits no polynomial-time constant-factor approximation algorithm unless <span><math><mi>P</mi><mo>=</mo><mrow><mi>NP</mi></mrow></math></span>. However, we show that the <span><math><mo>(</mo><mn>3</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>-cover problem can be solved in polynomial time when the input graph is chordal. For the class of trees and general values of <em>k</em>, we show that the <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mn>1</mn><mo>)</mo></math></span>-cover problem is <span><math><mi>NP</mi></math></span>-hard even for spiders. However, we show that for every <span><math><mi>k</mi><mo>≥</mo><mn>4</mn></math></span>, the <span><math><mo>(</mo><mn>3</mn><mo>,</mo><mi>k</mi><mo>−</mo><mn>2</mn><mo>)</mo></math></span>-cover and the <span><math><mo>(</mo><mi>k</mi><mo>,</mo><mn>1</mn><mo>)</mo></math></span>-cover problems are constant-factor approximable when the input graph is a tree.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103727"},"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/S0022000025001096","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/11/3 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
Abstract
A connected graph has a -cover if each of its edges is contained in at least ℓ cliques of order k. Motivated by recent advances in extremal combinatorics and the literature on edge modification problems, we study the algorithmic version of the -cover problem. Given a connected graph G, the -cover problem is to identify the smallest subset of non-edges of G such that their addition to G results in a graph with a -cover. For every constant , we show that the -cover problem is -complete for general graphs. Moreover, we show that for every constant , the -cover problem admits no polynomial-time constant-factor approximation algorithm unless . However, we show that the -cover problem can be solved in polynomial time when the input graph is chordal. For the class of trees and general values of k, we show that the -cover problem is -hard even for spiders. However, we show that for every , the -cover and the -cover problems are constant-factor approximable when the input graph is a tree.
期刊介绍:
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.