雷内·范·贝文;文森特·弗罗泽;克里斯蒂安·科穆塞维茨 参数化高于下限的边修改问题。 （英语） Zbl 1386.68075号 理论计算。系统。 62，第3期，739-770（2018）. 摘要：我们研究了\（F\）变量的参数化复杂性-自由编辑问题：给定一个图（G）和一个自然数（k），是否可以修改（G）中的最多（k）条边，从而得到的图不包含与（F）同构的诱导子图？在我们的变体中，输入还包含（G）的诱导子图的顶点不相交填充（mathcal{H}），它提供了将（G）转换为无（F）图所需的边修改次数的下限。虽然早期的工作使用数字\（k）作为输入图\（G）的参数或结构参数，但我们考虑的是参数\（ell:=k-h（\mathcal{h}）\），即下限\（h（\mathcal{h}））之上的边修改数。我们开发了一个通用数据约简规则框架，以显示关于（K_3）的固定参数可处理性-自由编辑,比赛中的反馈弧设置、和群集编辑当包装\（\mathcal{H}\）包含解大小有界的子图。对于\（K_3\）-自由编辑，我们还证明了在\（K_3）s和\（ell=0）的边不相交填料的情况下，对于\（K_q）-自由编辑和（q\geq 6\），对于\（ell=0\），NP-hardness甚至适用于\（K_q\）s的顶点不相交填充。此外，我们还提供了\（F\）的NP-hardeness结果-自由顶点删除的目标是删除最少数量的顶点，以使输入图（F）自由。 引用于5文件 MSC公司： 65年第68季度 算法和问题复杂性分析 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 68兰特 计算机科学中的图论（包括图形绘制） 关键词：NP-hard问题;固定参数算法;子图包装;核化;基于图形的聚类;反馈弧组;群集编辑 PDF格式BibTeX公司 XML格式引用 \textit{R.van Bevern}等人，理论计算。系统。62、3号、739--770（2018；Zbl 1386.68075） 全文： DOI程序 arXiv公司 参考文献： [1] N·阿龙：排名赛。SIAM J.谨慎。数学。20(1), 137-142 (2006) ·Zbl 1112.05043号 ·doi:10.1137/050623905 [2] Alon，N.、Lokshtanov，D.、Saurabh，S.：第36届国际自动化、语言和编程学术讨论会（ICALP’09）的快速Fast会议记录，Springer，计算机科学讲稿，第5555卷，第49-58页（2009）·Zbl 1248.68547号 [3] Aravind，N.R.，Sandeep，R.B.，Sivadasan，N.：第十二届拉丁美洲理论信息学研讨会论文集，第9644卷，第82-95页，2016年·兹比尔1415.68155 [4] Bessy，S.、Fomin，F.V.、Gaspers，S.，Paul，C.、Perez，A.、Saurabh，S.和Thomasse，S：比赛中设置反馈的内核。J.计算。系统。科学。77(6), 1071-1078 (2011) ·Zbl 1235.05134号 ·doi:10.1016/j.jcss.2010.10.001 [5] van Bevern，R.：面向d-Hitting集的最佳表达内核化。Algorithmica 70（1），129-147（2014）·Zbl 1314.68167号 [6] van Bevern，R.，Froese，V.，Komusiewicz，C.：参数化下限以上的边修改问题第十一届俄罗斯国际计算机科学研讨会论文集（CSR’16），Springer，计算机科学讲稿，第9691卷，第57-72页（2016）·Zbl 1386.68074号 [7] Böcker，S：用于集群编辑的黄金比率参数化算法。J.离散算法16，79-89（2012）·Zbl 1257.05164号 ·doi:10.1016/j.jda2012.04005 [8] Böcker，S，Briesemeister，S，Bui，Q.B.A.，Truss，A.：加权：用于集群编辑的参数化算法。西奥。计算。科学。410(52), 5467-5480 (2009) ·Zbl 1178.68373号 ·doi:10.1016/j.tcs.2009.05.006 [9] Brügmann，D.，Komusiewicz，C.，Moser，H.：关于生成无三角形图。摘自：《DIMAP算法图论研讨会论文集》（AGT’09），第51-58页。Elsevier，ENDM（2009年）·Zbl 1267.05246号 [10] Cai，L.：遗传特性图形修改问题的固定参数可处理性。信息处理。莱特。58(4), 171-176 (1996) ·Zbl 0875.68702号 ·doi:10.1016/0020-0190（96）00050-6 [11] Cai，L.，Cai，Y.：H自由边修改问题的不可压缩性。Algorithmica算法71（3），731-757（2015）·Zbl 1312.68096号 ·doi:10.1007/s00453-014-9937-x [12] Chen，J.，Meng，J.：集群编辑问题的2k内核。J.计算。系统。科学。78(1), 211-220 (2012) ·Zbl 1238.68062号 ·doi:10.1016/j.jcss.2011.04.001 [13] Cygan，M.、Pilipczuk，M..、Pilipczuk、M.、Wojtaszczyk，J.O.：关于在下限以上参数化的多路切割。ACM事务处理。计算。理论5（1），3（2013）·Zbl 1322.68098号 ·doi:10.1145/2462896.2462899 [14] Dom，M.，Guo，J.，Hüffner，F.，Niedermeier，R.，Truss，A.：比赛中反馈集问题的固定参数牵引性结果。摘自：《第六届国际算法与复杂性会议论文集》（CIAC’06），Springer，计算机科学讲稿，第3998卷，第320-331页（2006）·Zbl 1183.68419号 [15] Drange，P.G.，Fomin，F.V.，Pilipczuk，M.，Villanger，Y.：探索完井问题的次指数复杂性。ACM事务处理。计算。理论7（4），14（2015）·Zbl 1347.68180号 ·doi:10.1145/2799640 [16] Feige，U.：更快的速度（比赛中设置的反馈弧）。CoRR abs/0911.5094。arXiv:0911.5094（2009年）·Zbl 0644.68055号 [17] Fellows，M.R.：放大、双赢和皇室规则：FPT中的一些新方向。摘自：第29届计算机科学图形理论概念国际研讨会论文集（WG'03），计算机科学讲稿，第2880卷，第1-12页（2003）·Zbl 1255.68113号 [18] Fellows，M.R.，Guo，J.，Komusiewicz，C.，Niedermeier，R.，Uhlmann，J.：基于图的重叠数据聚类。谨慎。最佳方案。8(1), 2-17 (2011) ·Zbl 1248.90070号 ·doi:10.1016/j.disopt.2010.09.006 [19] Fomin，F.V.，Kratsch，D.：理论计算机科学中的精确指数算法文本。EATCS系列，Springer（2010）·Zbl 1370.68002号 [20] Fomin，F.V.，Pilipczuk，M.：计算半完全有向图割宽的次指数参数化算法。摘自：《第21届欧洲年会（ESA’13）会议录》，施普林格，《计算机科学讲稿》，第8125卷，第505-516页（2013）·Zbl 1395.68359号 [21] Fomin，F.V.，Kratsch，S.，Pilipczuk，M.，Pillipczuk.，M.和Villanger，Y.：聚类编辑的次指数固定参数可处理性。CoRR abs/1112.4419，arXiv:1112.4419（2011）·兹伯利1354.68119 [22] Garg，S.，Philip，G.：提高顶点覆盖的标准：高于更高保证的固定参数可跟踪性。摘自：第27届ACM-SIAM年度离散算法研讨会论文集（SODA’16），SIAM，第1152-1166页（2016）·Zbl 1398.68234号 [23] Gramm，J.，Guo，J.、Hüffner，F.、Niedermeier，R.：硬图修改问题搜索树算法的自动生成。《算法》39（4），321-347（2004）·Zbl 1090.68027号 ·doi:10.1007/s00453-004-1090-5 [24] Guillemot，S.，Have，F.，Paul，C.，Perez，A.：关于Pö-自由边修改问题多项式核的（非）存在性。《算法》65（4），900-926（2013）·Zbl 1262.68048号 ·doi:10.1007/s00453-012-9619-5 [25] Guo，J.：用于簇编辑的更有效的线性核化。西奥。计算。科学。410(8-10), 718-726 (2009) ·Zbl 1162.68025号 ·doi:10.1016/j.tcs.2008.10.021 [26] Hartung，S.，Hoos，H.H.：优化编程遇到参数化算法：集群编辑的案例研究。摘自：《第九届学习与智能优化国际会议论文集》（LION’15），Springer，计算机科学讲稿，第8994卷，第43-58页（2015）·Zbl 1162.68025号 [27] Karpinski，M.，Schudy，W.：反馈弧集竞赛、Kemeny等级聚合和中间竞赛的更快算法。摘自：《第21届国际算法与计算研讨会论文集》（ISAAC’10），施普林格，计算机科学讲稿，第6506卷，第3-14页（2010）·Zbl 1310.68272号 [28] Komusewicz，C.，Uhlmann，J.：局部有界修改的聚类编辑。谨慎。申请。数学。160(15), 2259-2270 (2012) ·Zbl 1252.05178号 ·doi:10.1016/j.dam.2012.05.019 [29] Komusewicz，C.，Hüffner，F，Moser，H.，Niedermeier，R.：有效枚举稠密子图的隔离概念。西奥。计算。科学。410(38-40), 3640-3654 (2009) ·Zbl 1171.68030号 ·doi:10.1016/j.tcs.2009.04.021 [30] Kratsch，S.：MIN F+π1和MAX NP的多项式核化。算法63（1-2），532-550（2012）·Zbl 1236.68097号 ·doi:10.1007/s00453-011-9559-5 [31] Kratsch，S.：核化的最新发展：一项调查。EATCS公告，113（2014）·Zbl 1409.68144号 [32] Kratsch，S.，Wahlström，m.：没有多项式核的两个边修改问题。谨慎。最佳方案。10(3), 193-199 (2013) ·Zbl 1273.68181号 ·doi:10.1016/j.disopt.2013.02.001 [33] Křivánek，M.，Morávek，J.：层次树聚类中的NP-hard问题。《信息学报》23（3），311-323（1986）·Zbl 0644.68055号 ·doi:10.1007/BF00289116 [34] Lewis，J.M.，Yannakakis，M.：遗传属性的节点删除问题是NP-完全的。J.计算。系统。科学。20(2), 219-230 (1980) ·Zbl 0436.68029号 ·doi:10.1016/0022-0000（80）90060-4 [35] Liu，Y.，Wang，J.，Guo，J.，Chen，J.：Cograph编辑的复杂性和参数化算法。西奥。计算。科学。461, 45-54 (2012) ·Zbl 1253.68179号 ·doi:10.1016/j.tcs.2011.11.040 [36] Lokshtanov，D.、Narayanaswamy，N.S.、Raman，V.、Ramanujan，M.S.、Saurabh，S.：使用线性规划的更快的参数化算法。ACM事务处理。算法11（2），15:1-15:31（2014）·Zbl 1398.68254号 ·doi:10.1145/2566616 [37] Mahajan，M.，Raman，V.：参数化以上保证值：MaxSat和MaxCut。《算法杂志》31（2），335-354（1999）·Zbl 0921.68052号 ·doi:10.1006/jagm.1998.0996 [38] Moser，H.，Niedermeier，R.，Sorge，M.：寻找最大k-丛的精确组合算法和实验。J.库姆。最佳方案。24(3), 347-373 (2012) ·Zbl 1261.90081号 ·doi:10.1007/s10878-011-9391-5 [39] Niedermeier，R.：固定参数算法邀请函。牛津大学出版社（2006）·Zbl 1095.68038号 [40] Paul，C.，Perez，A.，Thomasse，S：基于冲突打包技术的根三元组不一致和其他问题的线性核。J.计算。系统。科学。82(2), 366-379 (2016) ·Zbl 1346.68112号 ·doi:10.1016/j.jcss.2015.08.002 [41] Protti，F.、da Silva，M.D.、Szwarcfiter，J.L.：将模块分解应用于参数化集群编辑问题。计算系统理论44（1），91-104（2009）·Zbl 1179.68111号 ·doi:10.1007/s00224-007-9032-7 [42] Raman，V.，Saurabh，S.：锦标赛中反馈集问题及其对偶的参数化算法。西奥。计算。科学。351(3), 446-458 (2006) ·Zbl 1086.68105号 ·doi:10.1016/j.tcs.2005.10.010 [43] 拉兹贡，I.，奥沙利文，B.：几乎2-sat是固定参数可控制的。J.计算。系统。科学。75(8), 435-450 (2009) ·Zbl 1184.68477号 ·doi:10.1016/j.jss.2009.04.002 [44] Sandeep，R.B.，Sivadasan，N.：无钻石边删除的参数化下限和改进内核。参见：第十届参数化和精确计算国际研讨会（IPEC’15）会议记录，Schloss Dagstuhl-Leibniz Zentrum fuer Informatik，LIPIcs，第43卷，第365-376页（2015）·Zbl 1378.68092号 [45] Shamir，R.、Sharan，R.和Tsur，D.：聚类图修改问题。谨慎。申请。数学。144(1-2), 173-182 (2004) ·兹比尔1068.68107 ·doi:10.1016/j.dam.2004.01.007 [46] Wahlström，m.：可满足性和相关问题的算法度量和上限。林雪平大学博士论文（2007年） [47] Yannakakis，M.：边删除问题。SIAM J.计算。10(2), 297-309 (1981) ·Zbl 0468.05043号 ·doi:10.1137/0210021 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。