Algorithms and hardness results for the (k,ℓ)-cover problem

IF 1.4 3区 计算机科学 Q1 BUSINESS, FINANCE
Journal of Computer and System Sciences Pub Date : 2026-03-01 Epub Date: 2025-11-03 DOI:10.1016/j.jcss.2025.103727
Amirali Madani , Anil Maheshwari , Babak Miraftab , Bodhayan Roy
{"title":"Algorithms and hardness results for the (k,ℓ)-cover problem","authors":"Amirali Madani ,&nbsp;Anil Maheshwari ,&nbsp;Babak Miraftab ,&nbsp;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 (k,ℓ)-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 (k,ℓ)-cover problem. Given a connected graph G, the (k,ℓ)-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 (k,ℓ)-cover. For every constant k≥3, we show that the (k,1)-cover problem is NP-complete for general graphs. Moreover, we show that for every constant k≥3, the (k,1)-cover problem admits no polynomial-time constant-factor approximation algorithm unless P=NP. However, we show that the (3,1)-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 (k,1)-cover problem is NP-hard even for spiders. However, we show that for every k≥4, the (3,k−2)-cover and the (k,1)-cover problems are constant-factor approximable when the input graph is a tree.
(k, r)-覆盖问题的算法和硬度结果
如果连通图的每条边都包含在至少r个k阶的团中,则连通图具有(k, r)-覆盖。受极值组合学的最新进展和边修正问题的文献的启发,我们研究了(k, r)-覆盖问题的算法版本。给定一个连通图G, (k, r)-覆盖问题是识别G的非边的最小子集,使得它们加到G上得到一个具有(k, r)-覆盖的图。对于每一个常数k≥3,我们证明(k,1)-覆盖问题对于一般图是np完全的。此外,我们证明了对于每一个常数k≥3,(k,1)-覆盖问题不允许多项式时间常数因子逼近算法,除非P=NP。然而,我们证明了当输入图是弦图时,(3,1)-覆盖问题可以在多项式时间内解决。对于树类和k的一般值,我们证明(k,1)-覆盖问题即使对于蜘蛛也是np困难的。然而,我们证明了对于每k≥4,当输入图是树时,(3,k−2)-覆盖问题和(k,1)-覆盖问题是常数因子近似的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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学术官方微信
小红书