{"title":"无 H 图上(连接)簇顶点删除问题的复杂性","authors":"Hoang-Oanh Le, Van Bang Le","doi":"10.1007/s00224-024-10161-3","DOIUrl":null,"url":null,"abstract":"<p>The well-known Cluster Vertex Deletion problem (<span>cluster-vd</span>) asks for a given graph <i>G</i> and an integer <i>k</i> whether it is possible to delete a set <i>S</i> of at most <i>k</i> vertices of <i>G</i> such that the resulting graph <span>\\(G-S\\)</span> is a cluster graph (a disjoint union of cliques). We give a complete characterization of graphs <i>H</i> for which <span>cluster-vd</span> on <i>H</i>-free graphs is polynomially solvable and for which it is <span>\\(\\textsf{NP}\\)</span>-complete. Moreover, in the <span>\\(\\textsf{NP}\\)</span>-completeness cases, <span>cluster-vd</span> cannot be solved in sub-exponential time in the vertex number of the <i>H</i>-free input graphs unless the Exponential-Time Hypothesis fails. We also consider the connected variant of <span>cluster-vd</span>, the Connected Cluster Vertex Deletion problem (<span>connected cluster-vd</span>), in which the set <i>S</i> has to induce a connected subgraph of <i>G</i>. It turns out that <span>connected cluster-vd</span> admits the same complexity dichotomy for <i>H</i>-free graphs. Our results enlarge a list of rare dichotomy theorems for well-studied problems on <i>H</i>-free graphs.</p>","PeriodicalId":22832,"journal":{"name":"Theory of Computing Systems","volume":"41 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-02-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs\",\"authors\":\"Hoang-Oanh Le, Van Bang Le\",\"doi\":\"10.1007/s00224-024-10161-3\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The well-known Cluster Vertex Deletion problem (<span>cluster-vd</span>) asks for a given graph <i>G</i> and an integer <i>k</i> whether it is possible to delete a set <i>S</i> of at most <i>k</i> vertices of <i>G</i> such that the resulting graph <span>\\\\(G-S\\\\)</span> is a cluster graph (a disjoint union of cliques). We give a complete characterization of graphs <i>H</i> for which <span>cluster-vd</span> on <i>H</i>-free graphs is polynomially solvable and for which it is <span>\\\\(\\\\textsf{NP}\\\\)</span>-complete. Moreover, in the <span>\\\\(\\\\textsf{NP}\\\\)</span>-completeness cases, <span>cluster-vd</span> cannot be solved in sub-exponential time in the vertex number of the <i>H</i>-free input graphs unless the Exponential-Time Hypothesis fails. We also consider the connected variant of <span>cluster-vd</span>, the Connected Cluster Vertex Deletion problem (<span>connected cluster-vd</span>), in which the set <i>S</i> has to induce a connected subgraph of <i>G</i>. It turns out that <span>connected cluster-vd</span> admits the same complexity dichotomy for <i>H</i>-free graphs. Our results enlarge a list of rare dichotomy theorems for well-studied problems on <i>H</i>-free graphs.</p>\",\"PeriodicalId\":22832,\"journal\":{\"name\":\"Theory of Computing Systems\",\"volume\":\"41 1\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-02-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Theory of Computing Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1007/s00224-024-10161-3\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theory of Computing Systems","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1007/s00224-024-10161-3","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
摘要
众所周知的簇顶点删除问题(cluster-vd)问的是,对于给定的图 G 和整数 k,是否有可能删除 G 中最多由 k 个顶点组成的集合 S,从而使生成的图(G-S/)是一个簇图(小群的不相交联盟)。我们给出了图 H 的完整表征,对于这些图,无 H 图上的簇-vd 是多项式可解的,而对于这些图,簇-vd 是 \(\textsf{NP}\)-complete 的。此外,在(\textsf{NP}\)-完备性情况下,除非指数时间假设失效,否则簇-vd 无法在无 H 输入图顶点数的亚指数时间内求解。我们还考虑了簇-vd 的连接变体,即连接簇顶点删除问题(connected cluster-vd),其中集合 S 必须诱导 G 的一个连接子图。我们的结果为无 H 图上研究得很好的问题增加了一个罕见的二分定理列表。
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs
The well-known Cluster Vertex Deletion problem (cluster-vd) asks for a given graph G and an integer k whether it is possible to delete a set S of at most k vertices of G such that the resulting graph \(G-S\) is a cluster graph (a disjoint union of cliques). We give a complete characterization of graphs H for which cluster-vd on H-free graphs is polynomially solvable and for which it is \(\textsf{NP}\)-complete. Moreover, in the \(\textsf{NP}\)-completeness cases, cluster-vd cannot be solved in sub-exponential time in the vertex number of the H-free input graphs unless the Exponential-Time Hypothesis fails. We also consider the connected variant of cluster-vd, the Connected Cluster Vertex Deletion problem (connected cluster-vd), in which the set S has to induce a connected subgraph of G. It turns out that connected cluster-vd admits the same complexity dichotomy for H-free graphs. Our results enlarge a list of rare dichotomy theorems for well-studied problems on H-free graphs.
期刊介绍:
TOCS is devoted to publishing original research from all areas of theoretical computer science, ranging from foundational areas such as computational complexity, to fundamental areas such as algorithms and data structures, to focused areas such as parallel and distributed algorithms and architectures.