{"title":"关于d路径顶点覆盖的核","authors":"Radovan Cervený, Pratibha Choudhary, O. Suchý","doi":"10.4230/LIPIcs.MFCS.2022.29","DOIUrl":null,"url":null,"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 $d\\geq 2$. Since the problem generalizes to $d$-Hitting Set, it is known to admit a kernel with $\\mathcal{O}(dk^d)$ edges. We improve on this by giving better kernels. Specifically, we give kernels with $\\mathcal{O}(k^2)$ vertices and edges for the cases when $d=4$ and $d=5$. Further, we give a kernel with $\\mathcal{O}(k^4d^{2d+9})$ vertices and edges for general $d$.","PeriodicalId":369104,"journal":{"name":"International Symposium on Mathematical Foundations of Computer Science","volume":"2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"On Kernels for d-Path Vertex Cover\",\"authors\":\"Radovan Cervený, Pratibha Choudhary, O. Suchý\",\"doi\":\"10.4230/LIPIcs.MFCS.2022.29\",\"DOIUrl\":null,\"url\":null,\"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 $d\\\\geq 2$. Since the problem generalizes to $d$-Hitting Set, it is known to admit a kernel with $\\\\mathcal{O}(dk^d)$ edges. We improve on this by giving better kernels. Specifically, we give kernels with $\\\\mathcal{O}(k^2)$ vertices and edges for the cases when $d=4$ and $d=5$. Further, we give a kernel with $\\\\mathcal{O}(k^4d^{2d+9})$ vertices and edges for general $d$.\",\"PeriodicalId\":369104,\"journal\":{\"name\":\"International Symposium on Mathematical Foundations of Computer Science\",\"volume\":\"2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-07-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Symposium on Mathematical Foundations of Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/LIPIcs.MFCS.2022.29\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Symposium on Mathematical Foundations of Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.MFCS.2022.29","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5
摘要
本文研究了$d$ -路径顶点覆盖($d$ -PVC)问题的核化问题。给定一个图$G$,这个问题需要找出是否存在一组最多$k$个顶点,从$G$中移除这些顶点会得到一个不包含含有$d$个顶点的路径(不一定是诱导的)的图。已知$d$ -PVC对于$d\geq 2$是np完全的。由于这个问题推广到$d$ - hit Set,已知允许一个边为$\mathcal{O}(dk^d)$的核。我们通过提供更好的内核来改进它。具体来说,对于$d=4$和$d=5$的情况,我们给出具有$\mathcal{O}(k^2)$顶点和边的核。进一步,对于一般的$d$,我们给出了一个具有$\mathcal{O}(k^4d^{2d+9})$顶点和边的核。
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 $d\geq 2$. Since the problem generalizes to $d$-Hitting Set, it is known to admit a kernel with $\mathcal{O}(dk^d)$ edges. We improve on this by giving better kernels. Specifically, we give kernels with $\mathcal{O}(k^2)$ vertices and edges for the cases when $d=4$ and $d=5$. Further, we give a kernel with $\mathcal{O}(k^4d^{2d+9})$ vertices and edges for general $d$.