Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep, R. Subashini
{"title":"Cutting a tree with subgraph complementation is hard, except for some small trees","authors":"Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep, R. Subashini","doi":"10.1002/jgt.23112","DOIUrl":null,"url":null,"abstract":"<p>For a graph property <span></span><math>\n <semantics>\n <mrow>\n <mi>Π</mi>\n </mrow>\n <annotation> ${\\rm{\\Pi }}$</annotation>\n </semantics></math>, Subgraph Complementation to <span></span><math>\n <semantics>\n <mrow>\n <mi>Π</mi>\n </mrow>\n <annotation> ${\\rm{\\Pi }}$</annotation>\n </semantics></math> is the problem to find whether there is a subset <span></span><math>\n <semantics>\n <mrow>\n <mi>S</mi>\n </mrow>\n <annotation> $S$</annotation>\n </semantics></math> of vertices of the input graph <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> such that modifying <span></span><math>\n <semantics>\n <mrow>\n <mi>G</mi>\n </mrow>\n <annotation> $G$</annotation>\n </semantics></math> by complementing the subgraph induced by <span></span><math>\n <semantics>\n <mrow>\n <mi>S</mi>\n </mrow>\n <annotation> $S$</annotation>\n </semantics></math> results in a graph satisfying the property <span></span><math>\n <semantics>\n <mrow>\n <mi>Π</mi>\n </mrow>\n <annotation> ${\\rm{\\Pi }}$</annotation>\n </semantics></math>. We prove that the problem of Subgraph Complementation to <span></span><math>\n <semantics>\n <mrow>\n <mi>T</mi>\n </mrow>\n <annotation> $T$</annotation>\n </semantics></math>-free graphs is NP-Complete, for <span></span><math>\n <semantics>\n <mrow>\n <mi>T</mi>\n </mrow>\n <annotation> $T$</annotation>\n </semantics></math> being a tree, except for 41 trees of at most 13 vertices (a graph is <span></span><math>\n <semantics>\n <mrow>\n <mi>T</mi>\n </mrow>\n <annotation> $T$</annotation>\n </semantics></math>-free if it does not contain any induced copies of <span></span><math>\n <semantics>\n <mrow>\n <mi>T</mi>\n </mrow>\n <annotation> $T$</annotation>\n </semantics></math>). This result, along with the four known polynomial-time solvable cases (when <span></span><math>\n <semantics>\n <mrow>\n <mi>T</mi>\n </mrow>\n <annotation> $T$</annotation>\n </semantics></math> is a path on at most four vertices), leaves behind 37 open cases. Further, we prove that these hard problems do not admit any subexponential-time algorithms, assuming the Exponential-Time Hypothesis. As an additional result, we obtain that Subgraph Complementation to paw-free graphs can be solved in polynomial-time.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/jgt.23112","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
For a graph property , Subgraph Complementation to is the problem to find whether there is a subset of vertices of the input graph such that modifying by complementing the subgraph induced by results in a graph satisfying the property . We prove that the problem of Subgraph Complementation to -free graphs is NP-Complete, for being a tree, except for 41 trees of at most 13 vertices (a graph is -free if it does not contain any induced copies of ). This result, along with the four known polynomial-time solvable cases (when is a path on at most four vertices), leaves behind 37 open cases. Further, we prove that these hard problems do not admit any subexponential-time algorithms, assuming the Exponential-Time Hypothesis. As an additional result, we obtain that Subgraph Complementation to paw-free graphs can be solved in polynomial-time.