Dhanyamol Antony, Sagartanu Pal, R. B. Sandeep, R. Subashini
{"title":"用子图互补法切割一棵树是很难的,除非是一些小树","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":"{\"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}","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}
Cutting a tree with subgraph complementation is hard, except for some small trees
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.