Carl Feghali, Felicia Lucke, Daniël Paulusma, Bernard Ries
{"title":"高周长图与无h图的匹配切","authors":"Carl Feghali, Felicia Lucke, Daniël Paulusma, Bernard Ries","doi":"10.1007/s00453-025-01318-8","DOIUrl":null,"url":null,"abstract":"<div><p>The <span>(Perfect) Matching Cut</span> problem is to decide if a connected graph has a (perfect) matching that is also an edge cut. The <span>Disconnected Perfect Matching</span> problem is to decide if a connected graph has a perfect matching that contains a matching cut. Both <span>Matching Cut</span> and <span>Disconnected Perfect Matching</span> are <span>NP</span>-complete for planar graphs of girth 5, whereas <span>Perfect Matching Cut</span> is known to be <span>NP</span>-complete even for subcubic bipartite graphs of arbitrarily large fixed girth. We prove that <span>Matching Cut</span> and <span>Disconnected Perfect Matching</span> are also <span>NP</span>-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Our result for <span>Matching Cut</span> resolves a 20-year old open problem. We also show that the more general problem <i>d</i><span>-Cut</span>, for every fixed <span>\\(d\\ge 1\\)</span>, is <span>NP</span>-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Furthermore, we show that <span>Matching Cut</span>, <span>Perfect Matching Cut</span> and <span>Disconnected Perfect Matching</span> are <span>NP</span>-complete for <i>H</i>-free graphs whenever <i>H</i> contains a connected component with two vertices of degree at least 3. Afterwards, we update the state-of-the-art summaries for <i>H</i>-free graphs and compare them with each other, and with a known and full classification of the <span>Maximum Matching Cut</span> problem, which is to determine a largest matching cut of a graph <i>G</i>. Finally, by combining existing results, we obtain a complete complexity classification of <span>Perfect Matching Cut</span> for <span>\\(\\mathcal{H}\\)</span>-subgraph-free graphs where <span>\\(\\mathcal{H}\\)</span> is any finite set of graphs.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 8","pages":"1199 - 1221"},"PeriodicalIF":0.7000,"publicationDate":"2025-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01318-8.pdf","citationCount":"0","resultStr":"{\"title\":\"Matching Cuts in Graphs of High Girth and H-Free Graphs\",\"authors\":\"Carl Feghali, Felicia Lucke, Daniël Paulusma, Bernard Ries\",\"doi\":\"10.1007/s00453-025-01318-8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>The <span>(Perfect) Matching Cut</span> problem is to decide if a connected graph has a (perfect) matching that is also an edge cut. The <span>Disconnected Perfect Matching</span> problem is to decide if a connected graph has a perfect matching that contains a matching cut. Both <span>Matching Cut</span> and <span>Disconnected Perfect Matching</span> are <span>NP</span>-complete for planar graphs of girth 5, whereas <span>Perfect Matching Cut</span> is known to be <span>NP</span>-complete even for subcubic bipartite graphs of arbitrarily large fixed girth. We prove that <span>Matching Cut</span> and <span>Disconnected Perfect Matching</span> are also <span>NP</span>-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Our result for <span>Matching Cut</span> resolves a 20-year old open problem. We also show that the more general problem <i>d</i><span>-Cut</span>, for every fixed <span>\\\\(d\\\\ge 1\\\\)</span>, is <span>NP</span>-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Furthermore, we show that <span>Matching Cut</span>, <span>Perfect Matching Cut</span> and <span>Disconnected Perfect Matching</span> are <span>NP</span>-complete for <i>H</i>-free graphs whenever <i>H</i> contains a connected component with two vertices of degree at least 3. Afterwards, we update the state-of-the-art summaries for <i>H</i>-free graphs and compare them with each other, and with a known and full classification of the <span>Maximum Matching Cut</span> problem, which is to determine a largest matching cut of a graph <i>G</i>. Finally, by combining existing results, we obtain a complete complexity classification of <span>Perfect Matching Cut</span> for <span>\\\\(\\\\mathcal{H}\\\\)</span>-subgraph-free graphs where <span>\\\\(\\\\mathcal{H}\\\\)</span> is any finite set of graphs.</p></div>\",\"PeriodicalId\":50824,\"journal\":{\"name\":\"Algorithmica\",\"volume\":\"87 8\",\"pages\":\"1199 - 1221\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2025-05-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s00453-025-01318-8.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algorithmica\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00453-025-01318-8\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algorithmica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00453-025-01318-8","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
Matching Cuts in Graphs of High Girth and H-Free Graphs
The (Perfect) Matching Cut problem is to decide if a connected graph has a (perfect) matching that is also an edge cut. The Disconnected Perfect Matching problem is to decide if a connected graph has a perfect matching that contains a matching cut. Both Matching Cut and Disconnected Perfect Matching are NP-complete for planar graphs of girth 5, whereas Perfect Matching Cut is known to be NP-complete even for subcubic bipartite graphs of arbitrarily large fixed girth. We prove that Matching Cut and Disconnected Perfect Matching are also NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Our result for Matching Cut resolves a 20-year old open problem. We also show that the more general problem d-Cut, for every fixed \(d\ge 1\), is NP-complete for bipartite graphs of arbitrarily large fixed girth and bounded maximum degree. Furthermore, we show that Matching Cut, Perfect Matching Cut and Disconnected Perfect Matching are NP-complete for H-free graphs whenever H contains a connected component with two vertices of degree at least 3. Afterwards, we update the state-of-the-art summaries for H-free graphs and compare them with each other, and with a known and full classification of the Maximum Matching Cut problem, which is to determine a largest matching cut of a graph G. Finally, by combining existing results, we obtain a complete complexity classification of Perfect Matching Cut for \(\mathcal{H}\)-subgraph-free graphs where \(\mathcal{H}\) is any finite set of graphs.
期刊介绍:
Algorithmica is an international journal which publishes theoretical papers on algorithms that address problems arising in practical areas, and experimental papers of general appeal for practical importance or techniques. The development of algorithms is an integral part of computer science. The increasing complexity and scope of computer applications makes the design of efficient algorithms essential.
Algorithmica covers algorithms in applied areas such as: VLSI, distributed computing, parallel processing, automated design, robotics, graphics, data base design, software tools, as well as algorithms in fundamental areas such as sorting, searching, data structures, computational geometry, and linear programming.
In addition, the journal features two special sections: Application Experience, presenting findings obtained from applications of theoretical results to practical situations, and Problems, offering short papers presenting problems on selected topics of computer science.