Complexity and algorithms for matching cut problems in graphs without long induced paths and cycles

IF 1.4 3区 计算机科学 Q1 BUSINESS, FINANCE
Journal of Computer and System Sciences Pub Date : 2026-03-01 Epub Date: 2025-10-08 DOI:10.1016/j.jcss.2025.103723
Hoang-Oanh Le , Van Bang Le
{"title":"Complexity and algorithms for matching cut problems in graphs without long induced paths and cycles","authors":"Hoang-Oanh Le ,&nbsp;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) &amp; 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 NP-complete in graphs without induced 14-vertex path P14. Our reduction also works simultaneously for mc and dpm, improving the previous hardness results of mc on P15-free graphs and of dpm on P19-free graphs to P14-free graphs for both problems. Actually, we prove a slightly stronger result: within P14-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 2o(n) time for n-vertex P14-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)].
无长诱导路径和循环图中匹配切问题的复杂性和算法
在图中,(完美)匹配切割是(完美)匹配的切边。匹配切割(mc),即完美匹配切割(pmc),是判断给定图是否存在匹配切割的问题,即完美匹配切割。不连通完美匹配问题(dpm)是判断一个图是否有一个包含匹配切的完美匹配。通过解决[Lucke, Paulusma, Ries (ISAAC 2022, Algorithmica 2023)]中提出的一个开放问题,我们证明了pmc在没有诱导14顶点路径P14的图中是np完全的。我们的还原也同时适用于mc和dpm,将mc在无p15图上的硬度结果和dpm在无p19图上的硬度结果都提高到无p14图上。实际上,我们证明了一个稍微强一点的结果:在无p14的8弦图(没有长度至少为9的无弦循环的图)中,很难区分没有匹配切割(分别为完美匹配切割,断开完美匹配切割)和每个匹配切割都是完美匹配切割的图。此外,在指数时间假设下,对于n顶点无p14的8弦图,这些问题都不能在20 (n)时间内解决。在积极的一面,我们表明,对于mc [Moshi (JGT 1989)], dpm和pmc在限制于4弦图时是多项式可解的。加上负面结果,这部分回答了[Le, Telle (WG 2021, TCS 2022)和Lucke, Paulusma, Ries (MFCS 2023, TCS 2024)]中提出的关于k弦图中pmc复杂性的开放性问题。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Journal of Computer and System Sciences
Journal of Computer and System Sciences 工程技术-计算机:理论方法
CiteScore
3.70
自引率
0.00%
发文量
58
审稿时长
68 days
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书