{"title":"Complexity and algorithms for matching cut problems in graphs without long induced paths and cycles","authors":"Hoang-Oanh Le , Van Bang Le","doi":"10.1016/j.jcss.2025.103723","DOIUrl":null,"url":null,"abstract":"<div><div>In a graph, a (perfect) matching cut is an edge cut that is a (perfect) matching. <span>matching cut</span> (<span>mc</span>), respectively, <span>perfect matching cut</span> (<span>pmc</span>), is the problem of deciding whether a given graph has a matching cut, respectively, a perfect matching cut. The <span>disconnected perfect matching</span> problem (<span>dpm</span>) is to decide if a graph has a perfect matching that contains a matching cut. Solving an open problem posed in [Lucke, Paulusma, Ries (ISAAC 2022, Algorithmica 2023)], we show that <span>pmc</span> is <span><math><mi>NP</mi></math></span>-complete in graphs without induced 14-vertex path <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>14</mn></mrow></msub></math></span>. Our reduction also works simultaneously for <span>mc</span> and <span>dpm</span>, improving the previous hardness results of <span>mc</span> on <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>15</mn></mrow></msub></math></span>-free graphs and of <span>dpm</span> on <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>19</mn></mrow></msub></math></span>-free graphs to <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>14</mn></mrow></msub></math></span>-free graphs for both problems. Actually, we prove a slightly stronger result: within <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>14</mn></mrow></msub></math></span>-free 8-chordal graphs (graphs without chordless cycles of length at least 9), it is hard to distinguish between those without matching cuts (respectively, perfect matching cuts, disconnected perfect matchings) and those in which every matching cut is a perfect matching cut. Moreover, assuming the Exponential Time Hypothesis, none of these problems can be solved in <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>o</mi><mo>(</mo><mi>n</mi><mo>)</mo></mrow></msup></math></span> time for <em>n</em>-vertex <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>14</mn></mrow></msub></math></span>-free 8-chordal graphs.</div><div>On the positive side, we show that, as for <span>mc</span> [Moshi (JGT 1989)], <span>dpm</span> and <span>pmc</span> are polynomially solvable when restricted to 4-chordal graphs. Together with the negative results, this partly answers an open question on the complexity of <span>pmc</span> in <em>k</em>-chordal graphs asked in [Le, Telle (WG 2021, TCS 2022) & Lucke, Paulusma, Ries (MFCS 2023, TCS 2024)].</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103723"},"PeriodicalIF":1.4000,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer and System Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022000025001059","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/10/8 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
Abstract
In a graph, a (perfect) matching cut is an edge cut that is a (perfect) matching. matching cut (mc), respectively, perfect matching cut (pmc), is the problem of deciding whether a given graph has a matching cut, respectively, a perfect matching cut. The disconnected perfect matching problem (dpm) is to decide if a graph has a perfect matching that contains a matching cut. Solving an open problem posed in [Lucke, Paulusma, Ries (ISAAC 2022, Algorithmica 2023)], we show that pmc is -complete in graphs without induced 14-vertex path . Our reduction also works simultaneously for mc and dpm, improving the previous hardness results of mc on -free graphs and of dpm on -free graphs to -free graphs for both problems. Actually, we prove a slightly stronger result: within -free 8-chordal graphs (graphs without chordless cycles of length at least 9), it is hard to distinguish between those without matching cuts (respectively, perfect matching cuts, disconnected perfect matchings) and those in which every matching cut is a perfect matching cut. Moreover, assuming the Exponential Time Hypothesis, none of these problems can be solved in time for n-vertex -free 8-chordal graphs.
On the positive side, we show that, as for mc [Moshi (JGT 1989)], dpm and pmc are polynomially solvable when restricted to 4-chordal graphs. Together with the negative results, this partly answers an open question on the complexity of pmc in k-chordal graphs asked in [Le, Telle (WG 2021, TCS 2022) & Lucke, Paulusma, Ries (MFCS 2023, TCS 2024)].
期刊介绍:
The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriented papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions.
Research areas include traditional subjects such as:
• Theory of algorithms and computability
• Formal languages
• Automata theory
Contemporary subjects such as:
• Complexity theory
• Algorithmic Complexity
• Parallel & distributed computing
• Computer networks
• Neural networks
• Computational learning theory
• Database theory & practice
• Computer modeling of complex systems
• Security and Privacy.