拉多万·乔尔文;这样啊，Ondřej 为路径顶点覆盖生成更快的算法。 （英语） Zbl 07842210号 Paulusma，Daniël（编辑）等人，计算机科学中的图论概念。第49届国际研讨会，2023年6月28日至30日，瑞士弗里堡，WG 2023。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。14093157-171（2023年）。 摘要：许多精确解决难题的算法都需要在或多或少复杂的结构上分支才能完成工作。设计这种算法的人经常发现自己对许多不同的情况进行了细致的分析，以确定这些结构并设计合适的分支规则，所有这些都是手工完成的。这一过程往往容易出错，通常生成的算法在实践中可能很难实现。在这项工作中，我们的目标是自动化这一过程的一部分，并关注结果实现的简单性。我们就以下问题展示了我们的方法。对于常量\（d\），\（d\）-路径顶点覆盖问题（d）-PVC）如下：给定一个无向图和一个整数（k），找到该图至多（k）个顶点的子集，这样删除它们会导致一个图不包含作为子图的（d）个顶点上的路径。我们开发了一个全自动的框架来生成该问题的参数化分支算法，并获得了优于先前已知的算法的算法，例如，我们证明5-PVC可以在（O（2.7^{k*}n^{O（1）}）时间内求解。关于整个系列，请参见[Zbl 07768553号]. MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） PDF格式BibTeX公司 XML格式引用 \textit{R.乔尔文}和\textit{O.这样的}，莱克特。注释计算。科学。14093、157--171（2023；Zbl 07842210） 全文： 内政部 arXiv公司 参考文献： [1] Balasubramanian，R。；研究员，MR；Raman，V.，改进的顶点覆盖固定参数算法，Inf.Process。莱特。，65, 3, 163-168 (1998) ·Zbl 1337.05095号 ·doi:10.1016/S0020-0190（97）00213-5 [2] 布雷萨尔，B。；卡多什，F。；卡特雷尼奇，J。；Semanišin，G.，最小路径顶点覆盖，离散。申请。数学。，159, 12, 1189-1195 (2011) ·Zbl 1223.05224号 ·文件编号：10.1016/j.dam.2011.04.008 [3] Buss，J.F.，Goldsmith，J.：P.SIAM J.Compute中的不确定性。22(3), 560-572 (1993). 数字对象标识代码：10.1137/0222038·Zbl 0773.68031号 [4] 乔尔文？，R.，Thous？，O.：五路径顶点覆盖的更快FPT算法。摘自：Rossmanith，P.、Heggenes，P.和Katoen，J.（eds.）第44届计算机科学数学基础国际研讨会，2019年8月26日至30日，德国亚琛，MFCS 2019。LIPIcs，第138卷，第32:1-32:13页。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）（2019年）。doi:10.4230/LIPIcs。2012年3月22日制造·Zbl 07561676号 [5] 乔尔文？，R.，萨伊？，O.：为路径顶点覆盖生成更快的算法（2021）。arxiv.org/abs/2111.05896·Zbl 07561676号 [6] Chandran，LS；Grandoni，F.，顶点覆盖的精细记忆，Inf.过程。莱特。，93, 3, 123-131 (2005) ·Zbl 1173.68529号 ·doi:10.1016/j.ipl.2004.10.003 [7] Chang，M。；Chen，L。；Hung，L。；刘，Y。；Rossmanith，P。；Sikdar，S.，最大有界度1集问题的适度指数时间算法，离散。申请。数学。，251, 114-125 (2018) ·Zbl 1401.05070号 ·doi:10.1016/j.dam.2018.05.032 [8] 陈，J。；IA Kanj；Jia，W.，《顶点覆盖：进一步观察和进一步改进》，J.Algorithms，41，2，280-301（2001）·Zbl 1017.68087号 ·doi:10.1006/jagm.2001.1186 [9] 陈，J。；IA Kanj；Xia，G.，标记搜索树和摊销分析：NP-hard问题的改进上界，算法，43，4，245-273（2005）·Zbl 1086.68099号 ·doi:10.1007/s00453-004-1145-7 [10] 陈，J。；IA Kanj；Xia，G.，改进的顶点覆盖的上限，Theor。计算。科学。，411, 40-42, 3736-3756 (2010) ·Zbl 1205.05217号 ·doi:10.1016/j.tcs.2010.06.026 [11] 陈，J。；刘，L。；贾伟，低次图顶点覆盖的改进，网络，35，4，253-259（2000）·Zbl 0974.05078号 ·doi:10.1002/1097-0037（200007）35:4<253:：AID-NET3>3.0.CO；2公里 [12] Cygan，M.等人：参数化算法。查姆施普林格（2015）。doi:10.1007/978-3-319-21275-3·Zbl 1334.90001号 [13] Downey，R.G.，Fellows，M.R.：固定参数可处理性和完整性。摘自：Ambos-Spies，K.，Homer，S.，Schöning，U.（编辑）《复杂性理论：当前研究》，Dagstuhl Workshop，1992年2月2-8日，第191-225页。剑桥大学出版社（1992）·Zbl 0799.68087号 [14] 费丁，SS；库利科夫，AS；唐尼，R。；研究员，M。；Dehne，F.，分裂算法运行时间上限的自动证明，参数化和精确计算，248-259（2004），海德堡：斯普林格·Zbl 1104.68843号 ·doi:10.1007/978-3-540-28639-4_22 [15] Fernau，H.，《（d）命中集的参数化算法》，国际计算机杂志。数学。，87, 14, 3157-3174 (2010) ·Zbl 1216.68360号 ·网址：10.1080/00207160903176868 [16] Fernau，H。；Raible，D。；陈，J。；库珀，SB，《搜索树：一篇论文，计算模型的理论和应用》，59-70（2009），海德堡：斯普林格，海德伯格·Zbl 1184.90136号 ·doi:10.1007/978-3642-02017-99 [17] Fomin，FV；Gaspers，S.公司。；Kratsch，D。；利德洛夫，M。；Saurabh，S.，迭代压缩和精确算法，Theor。计算。科学。，411, 7-9, 1045-1053 (2010) ·Zbl 1186.68187号 ·doi:10.1016/j.tcs.cs.0911.012 [18] Fomin，F.V.，Grandoni，F.，Kratsch，D.：精确算法分析的度量与征服方法。美国医学会期刊56（5），25:1-25:32（2009）。doi:10.1145/1552285.1552286·兹比尔1325.68311 [19] Fomin，F.V.，Kratsch，D.：精确指数算法。施普林格，海德堡（2010）。doi:10.1007/978-3-642-16533-7·Zbl 1370.68002号 [20] Funke，S。；努塞尔，A。；Storandt，S.，On（k）-路径覆盖及其应用，VLDB J.，25，1，103-123（2016）·doi:10.1007/s00778-015-0392-3 [21] Gaspers，S.：指数时间算法——结构、度量和边界。VDM Verlag Dr.Mueller e.K.（2010年）。https://www.cse.unsw.edu.au/sergg/SergeBookETA2010_print.pdf [22] 格拉姆，J。；郭杰。；Hüffner，F。；Niedermeier，R.，硬图修改问题搜索树算法的自动生成，算法，39，4，321-347（2004）·Zbl 1090.68027号 ·doi:10.1007/s00453-004-1090-5 [23] Harris，D.G.，Narayanaswamy，N.S.：由解大小参数化的顶点覆盖的更快算法。CoRR abs/2205.08022（2022），https://arxiv.org/abs/2205.08022 [24] Katrenić，J.，《三路径顶点覆盖的快速FPT算法》，Inf.Process。莱特。，116, 4, 273-278 (2016) ·Zbl 1347.68182号 ·doi:10.1016/j.ipl.2015.12.002 [25] Kojevnikov，A.，Kulikov，A.S.：证明MAX-2-SAT上界的新方法。摘自：第十七届ACM-SIAM离散算法年会论文集，SODA 2006，美国佛罗里达州迈阿密，2006年1月22日至26日，第11-17页。ACM出版社（2006）。http://dl.acm.org/citation.cfm？id=1109557.1109559 ·Zbl 1192.68368号 [26] 库利科夫，AS；巴克斯，F。；Walsh，T.，SAT和MAXSAT简化规则的自动生成，可满足性测试的理论与应用，430-436（2005），海德堡：斯普林格·Zbl 1128.68469号 ·数字对象标识代码：10.1007/11499107_35 [27] 刘易斯，JM；Yannakakis，M.，遗传性质的节点删除问题是NP完全的，J.Comput。系统。科学。，20, 2, 219-230 (1980) ·Zbl 0436.68029号 ·doi:10.1016/0022-0000（80）90060-4 [28] Lokshtanov，Daniel，Saurabh，Saket，Sokeř，Ond \345；ej:求解多截的速度超过2^n。收录：Schulz，Andreas S.，Wagner，Dorothea（编辑）ESA 2014。LNCS，第8737卷，第666-676页。施普林格，海德堡（2014）。doi:10.1007/978-3-662-44777-2_55·Zbl 1425.05154号 [29] 尼德迈尔，R。；Rossmanith，P。；梅内尔，C。；Tison，S.，进一步改进顶点覆盖的上限，STACS 99，561-570（1999），海德堡：施普林格·Zbl 0921.05046号 ·doi:10.1007/3-540-49116-3_53 [30] 尼德迈尔，R。；Rossmanith，P.，一种有效的三击集固定参数算法，J.离散算法，1,189-102（2003）·Zbl 1118.68511号 ·doi:10.1016/S1570-8667（03）00009-1 [31] 诺沃顿，M。；Samarati，P。；Tunstall，M。；Posegga，J。；Markantonakis，K。；Sauveron，D.，广义画布协议的设计与分析，信息安全理论与实践。《普及系统和智能设备的安全与隐私》，106-121（2010），海德堡：施普林格·doi:10.1007/978-3642-12368-98 [32] van Rooij，JMM；Bodlaender，HL，支配集的精确算法，Discret。申请。数学。，159, 17, 2147-2164 (2011) ·Zbl 1237.05157号 ·doi:10.1016/j.dam.2011.07.001 [33] van Rooij，JMM；Bodlaender，HL，边缘控制的精确算法，Algorithmica，64，4，535-563（2012）·Zbl 1264.68211号 ·doi:10.1007/s00453-011-9546-x [34] Tsur，D.，三路径顶点覆盖的参数化算法，Theor。计算。科学。，783, 1-8 (2019) ·Zbl 1423.68358号 ·doi:10.1016/j.tcs.2019.03.013 [35] Tsur，D.：4路径顶点覆盖的\（O^*（2.619^k）\）算法。谨慎。申请。数学。291, 1-14 (2021). doi:10.1016/j.dam.2020.11.019·Zbl 1512.05379号 [36] Tsur，D.：两个顶点删除问题的更快参数化算法。西奥。计算。科学。940（部分），112-123（2023）。doi:10.1016/j.tcs.2022.10.044·Zbl 07676472号 [37] Tu，J.，顶点覆盖的固定参数算法\({P} _3个\)问题，信息处理。莱特。，115, 2, 96-99 (2015) ·Zbl 1305.05223号 ·doi:10.1016/j.ipl.2014年6月18日 [38] 涂，J。；Jin，Z.，顶点覆盖的FPT算法\({P} _4个\)问题，Discret。申请。数学。，200, 186-190 (2016) ·Zbl 1329.05287号 ·doi:10.1016/j.dam.2015.06.032 [39] 肖，M。；Kou，S.，最大离解集和最小三路径顶点覆盖问题的精确算法，Theor。计算。科学。，657, 86-97 (2017) ·Zbl 1357.05146号 ·doi:10.1016/j.tcs.2016.04.043 [40] Xiao，M.，Kou，S.：三路径顶点覆盖的核化和参数化算法。In：程序。TAMC 2017，第654-668页（2017）。doi:10.1007/978-3-319-55911-7_47·Zbl 1423.68360号 [41] 肖，M。；Nagamochi，H.，最大独立集的精确算法，Inf.Compute。，255, 126-146 (2017) ·Zbl 1371.68126号 ·doi:10.1016/j.ic.2017.06.001 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。