On kernels for d-path vertex cover

IF 1.1 3区 计算机科学 Q1 BUSINESS, FINANCE
Radovan Červený, Pratibha Choudhary, Ondřej Suchý
{"title":"On kernels for d-path vertex cover","authors":"Radovan Červený,&nbsp;Pratibha Choudhary,&nbsp;Ondřej Suchý","doi":"10.1016/j.jcss.2024.103531","DOIUrl":null,"url":null,"abstract":"<div><p>In this paper we study the kernelization of the <em>d</em>-<span>Path Vertex Cover</span> (<em>d</em>-PVC) problem. Given a graph <em>G</em>, the problem requires finding whether there exists a set of at most <em>k</em> vertices whose removal from <em>G</em> results in a graph that does not contain a path (not necessarily induced) with <em>d</em> vertices. It is known that <em>d</em>-PVC is <span>NP</span>-complete for <span><math><mi>d</mi><mo>≥</mo><mn>2</mn></math></span>. Since the problem generalizes to <em>d</em>-<span>Hitting Set</span>, it is known to admit a kernel with <span><math><mi>O</mi><mo>(</mo><mi>d</mi><msup><mrow><mi>k</mi></mrow><mrow><mi>d</mi></mrow></msup><mo>)</mo></math></span> edges. We improve on this by giving better kernels. Specifically, we give kernels with <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> vertices and edges for the cases when <span><math><mi>d</mi><mo>=</mo><mn>4</mn></math></span> and <span><math><mi>d</mi><mo>=</mo><mn>5</mn></math></span>. Further, we give a kernel with <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>4</mn></mrow></msup><msup><mrow><mi>d</mi></mrow><mrow><mn>2</mn><mi>d</mi><mo>+</mo><mn>9</mn></mrow></msup><mo>)</mo></math></span> vertices and edges for general <em>d</em>.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"144 ","pages":"Article 103531"},"PeriodicalIF":1.1000,"publicationDate":"2024-03-27","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/S0022000024000266","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0

Abstract

In this paper we study the kernelization of the d-Path Vertex Cover (d-PVC) problem. Given a graph G, the problem requires finding whether there exists a set of at most k vertices whose removal from G results in a graph that does not contain a path (not necessarily induced) with d vertices. It is known that d-PVC is NP-complete for d2. Since the problem generalizes to d-Hitting Set, it is known to admit a kernel with O(dkd) edges. We improve on this by giving better kernels. Specifically, we give kernels with O(k2) vertices and edges for the cases when d=4 and d=5. Further, we give a kernel with O(k4d2d+9) vertices and edges for general d.

关于 d 路径顶点覆盖的内核
本文研究了- (-PVC)问题的内核化。给定一个图 ,该问题要求找到是否存在一个最多由顶点组成的集合,从该集合中移除顶点后,图中不包含有顶点的路径(不一定是诱导路径)。众所周知,-PVC 对于 .由于该问题可推广到 -,因此已知它允许一个带边的内核。我们通过给出更好的内核来改进这一问题。具体来说,我们给出了当 和 时带顶点和边的内核。此外,我们还给出了一般情况下 .
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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学术文献互助群
群 号:481959085
Book学术官方微信