Computing Subset Vertex Covers in H-Free Graphs

Nick Brettell, Jelle J. Oostveen, Sukanya Pandey, D. Paulusma, E. J. V. Leeuwen
{"title":"Computing Subset Vertex Covers in H-Free Graphs","authors":"Nick Brettell, Jelle J. Oostveen, Sukanya Pandey, D. Paulusma, E. J. V. Leeuwen","doi":"10.48550/arXiv.2307.05701","DOIUrl":null,"url":null,"abstract":"We consider a natural generalization of Vertex Cover: the Subset Vertex Cover problem, which is to decide for a graph $G=(V,E)$, a subset $T \\subseteq V$ and integer $k$, if $V$ has a subset $S$ of size at most $k$, such that $S$ contains at least one end-vertex of every edge incident to a vertex of $T$. A graph is $H$-free if it does not contain $H$ as an induced subgraph. We solve two open problems from the literature by proving that Subset Vertex Cover is NP-complete on subcubic (claw,diamond)-free planar graphs and on $2$-unipolar graphs, a subclass of $2P_3$-free weakly chordal graphs. Our results show for the first time that Subset Vertex Cover is computationally harder than Vertex Cover (under P $\\neq$ NP). We also prove new polynomial time results. We first give a dichotomy on graphs where $G[T]$ is $H$-free. Namely, we show that Subset Vertex Cover is polynomial-time solvable on graphs $G$, for which $G[T]$ is $H$-free, if $H = sP_1 + tP_2$ and NP-complete otherwise. Moreover, we prove that Subset Vertex Cover is polynomial-time solvable for $(sP_1 + P_2 + P_3)$-free graphs and bounded mim-width graphs. By combining our new results with known results we obtain a partial complexity classification for Subset Vertex Cover on $H$-free graphs.","PeriodicalId":335412,"journal":{"name":"International Symposium on Fundamentals of Computation Theory","volume":"64 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Symposium on Fundamentals of Computation Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.48550/arXiv.2307.05701","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

We consider a natural generalization of Vertex Cover: the Subset Vertex Cover problem, which is to decide for a graph $G=(V,E)$, a subset $T \subseteq V$ and integer $k$, if $V$ has a subset $S$ of size at most $k$, such that $S$ contains at least one end-vertex of every edge incident to a vertex of $T$. A graph is $H$-free if it does not contain $H$ as an induced subgraph. We solve two open problems from the literature by proving that Subset Vertex Cover is NP-complete on subcubic (claw,diamond)-free planar graphs and on $2$-unipolar graphs, a subclass of $2P_3$-free weakly chordal graphs. Our results show for the first time that Subset Vertex Cover is computationally harder than Vertex Cover (under P $\neq$ NP). We also prove new polynomial time results. We first give a dichotomy on graphs where $G[T]$ is $H$-free. Namely, we show that Subset Vertex Cover is polynomial-time solvable on graphs $G$, for which $G[T]$ is $H$-free, if $H = sP_1 + tP_2$ and NP-complete otherwise. Moreover, we prove that Subset Vertex Cover is polynomial-time solvable for $(sP_1 + P_2 + P_3)$-free graphs and bounded mim-width graphs. By combining our new results with known results we obtain a partial complexity classification for Subset Vertex Cover on $H$-free graphs.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
计算H-Free图中的子集顶点覆盖
我们考虑顶点覆盖的一个自然推广:子集顶点覆盖问题,它是决定对于一个图$G=(V,E)$,一个子集$T \subseteq V$和整数$k$,如果$V$有一个大小不超过$k$的子集$S$,使得$S$包含与$T$的顶点相关的每条边的至少一个端点。如果一个图不包含$H$作为诱导子图,则它是$H$自由的。通过证明亚立方(爪形,菱形)自由平面图和$2$-单极图($2P_3$自由弱弦图的一个子类)上的子集顶点覆盖是np完全的,解决了文献中的两个开放问题。我们的结果首次表明,在P $\neq$ NP条件下,子集顶点覆盖比顶点覆盖更难计算。我们还证明了新的多项式时间结果。我们首先给出了图上$G[T]$ H$自由的二分类。也就是说,我们证明了子集顶点覆盖在图$G$上是多项式时间可解的,其中$G[T]$是$H$自由的,如果$H = sP_1 + tP_2$,否则是np完全的。此外,我们还证明了$(sP_1 + P_2 + P_3)$ free图和有界中宽图的子集顶点覆盖是多项式时间可解的。通过将我们的新结果与已知结果相结合,我们得到了$H$ free图上子集顶点覆盖的部分复杂度分类。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
On Computing Optimal Temporal Branchings Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata Complexity of Conformant Election Manipulation Computing Subset Vertex Covers in H-Free Graphs α-β-Factorization and the Binary Case of Simon's Congruence
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1