×

重新讨论了完美匹配切割问题。 (英语) Zbl 1537.68155号

摘要:在图中,完美匹配切割是指完美匹配的边切割。完美搭配剪裁(项目管理委员会)是决定给定图是否有完美匹配割的问题,已知它是(mathsf{NP})-完全的。我们重新审视这个问题并表明项目管理委员会当限制于最大度为3且周长任意大的二部图时,保持(mathsf{NP})-完全。作为对这个结果的补充,我们给出了两个图类,其中项目管理委员会是多项式时间可解的。第一个包含无爪图和五个顶点上没有诱导路径的图,第二个包含所有弦图。假设指数时间假设,我们证明对于项目管理委员会即使当限制为\(n \)-顶点二部图时,也表明项目管理委员会可以通过精确的分支算法在(O^ ast(1.2721^n))时间内求解。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
05C70号 具有特殊属性的边子集(因子分解、匹配、分区、覆盖和打包等)
05立方厘米85 图形算法(图形理论方面)
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aravind,N.R。;Kalyanasundaram,Subrahmanyam;Kare,Anjeneya Swami,关于匹配切割问题的结构参数化,(组合优化与应用-第11届国际会议,COCOA 2017,中国上海,2017年12月16-18日,会议记录,第二部分(2017)),475-482·Zbl 1472.68071号
[2] Aravind,N.R。;Saxena,Roopam,匹配切割和d-切割的FPT算法,(Flocchini,Paola;Lucia Moura,《组合算法——第32届国际研讨会》,IWOCA 2021,加拿大安大略省渥太华,2021年7月5日至7日,会议记录。组合算法-第32届国际研讨会,IWOCA 2021,渥太华,安大略省,加拿大,2021年7月5-7日,计算机科学论文集,第12757(2021)卷,Springer),531-543·Zbl 07495046号
[3] 雷米·贝尔蒙特;Vatshelle,Martin,Graph类与结构化邻域和算法应用,Theor。计算。科学。,511, 54-65 (2013) ·Zbl 1408.68109号
[4] Bonsma,Paul S.,平面图和其他图类的匹配切割问题的复杂性,图论,62,2,109-126(2009)·Zbl 1179.05104号
[5] 花束,瓦伦丁;Picouleau,Christophe,完美匹配切割问题的复杂性(2020),CoRR
[6] 平明布川;Telle,Jan Arne;Vatshelle,Martin,局部可检查顶点子集和顶点划分问题的快速动态编程,Theor。计算。科学。,511, 66-76 (2013) ·Zbl 1408.68111号
[7] Chen,Chi-Yeh;谢孙元;Le,Hoáng-Oanh;Le,Van Bang;Peng,Sheng Lung,具有大最小度的匹配切入图,算法学,83,5,1238-1255(2021)·Zbl 1512.68202号
[8] Vasek,Chvátal,识别可分解图,图论,8,1,51-53(1984)·Zbl 0536.05030号
[9] Fedor V.Fomin。;Kratsch,Dieter,精确指数算法(2010),施普林格·Zbl 1370.68002号
[10] Petr A.Golovach。;科穆塞维茨(Christian Komusewicz);迪特尔·克拉奇;Le,Van Bang,参数化枚举核的精化概念及其在匹配切割枚举中的应用,(Bläser,Markus;本杰明·蒙梅格,第38届计算机科学理论方面国际研讨会。第38届计算机科学理论方面国际研讨会,STACS 2021,2021年3月16-19日,德国萨尔布吕肯,虚拟会议。第38届计算机科学理论方面国际研讨会。第38届计算机科学理论方面国际研讨会,STACS 2021201年3月16日至19日,德国萨尔布吕肯,虚拟会议,LIPIcs,第187卷(2021),达格斯图尔-莱布尼茨-泽特鲁姆信息学院,37:1-37:18·Zbl 1479.68002号
[11] 戈麦斯(Guilherme C.M.Gomes)。;Sau,Ignasi,《寻找有界度切割:复杂性、FPT和精确算法以及核化》,(第十四届参数化和精确计算国际研讨会,第十四届国际参数化和准确计算研讨会,2019年9月11日至13日,德国慕尼黑(2019)),19:1-19:15·Zbl 1516.68063号
[12] Graham,Ron L.,《关于本原图和最优顶点赋值》,Ann.N.Y.Acad。科学。,175, 1, 170-186 (1970) ·Zbl 0229.05126号
[13] Heggenes、Pinar;Telle,Jan Arne,将图划分为广义支配集,Nord.J.Compute。,5, 2, 128-142 (1998) ·Zbl 0905.68100号
[14] 罗素·Impagliazzo;Paturi,Ramamohan,《关于k-SAT的复杂性》,J.Compute。系统。科学。,62, 2, 367-375 (2001) ·Zbl 0990.68079号
[15] 罗素·Impagliazzo;拉莫汗的帕图里;Zane,Francis,哪些问题具有强烈的指数复杂性?,J.计算。系统。科学。,63, 4, 512-530 (2001) ·Zbl 1006.68052号
[16] Kang,Dong Yeap;Kwon,O-joung;斯特罗姆,托尔斯坦·J·F。;Telle,Jan Arne,一个对弦图和可比性图有用的宽度参数,Theor。计算。科学。,704, 1-17 (2017) ·兹比尔1380.05151
[17] 科穆塞维茨(Christian Komusewicz);迪特尔·克拉奇;Le,Van Bang,匹配切割:核化,单指数时间FPT和精确指数算法,离散应用。数学。,283, 44-58 (2020) ·Zbl 1442.05224号
[18] 迪特尔·克拉奇;Le,Van Bang,解决匹配切割问题的算法,Theor。计算。科学。,609, 328-335 (2016) ·Zbl 1331.68109号
[19] Le,Hoáng-Oanh;Le,Van Bang,匹配定直径切入(二部)图的复杂性二分法,Theor。计算。科学。,770, 69-78 (2019) ·Zbl 1422.68125号
[20] Le,Van Bang;Telle,Jan Arne,《重新审视完美匹配切割问题》(Kowalik,Lukasz;Pilipczuk,Michał;Pawel Rzazewski,《计算机科学中的图论概念——第47届国际研讨会》,2021年6月23日至25日,波兰华沙,WG 2021,修订论文集。计算机科学中的图论概念——第47届国际研讨会,WG 2021,波兰华沙,2021年6月23日至25日,修订论文集,计算机科学讲义,第12911卷(2021),施普林格),182-194·Zbl 07538576号
[21] 伯纳德·莫雷特(Bernard M.E.Moret),《计算理论》(1998),艾迪森·韦斯利·朗曼(Addison-Wesley-Longman)·Zbl 0948.68070号
[22] 奥古斯丁·M·莫希(Augustine M.Moshi),《图中的匹配割集》(Matching Cutset in Graph),《图论》(J.Graph Theory),第13、5、527-536页(1989年)·Zbl 0725.05055号
[23] Telle,Jan Arne;Proskurowski,Andrzej,部分k树上顶点划分问题的算法,SIAM J.离散数学。,10, 4, 529-550 (1997) ·Zbl 0885.68118号
[24] Vatshelle,Martin,图的新宽度参数(2012),卑尔根大学:挪威卑尔根学院,博士论文·Zbl 1293.05060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。