维克托·坎波斯;劳尔·洛佩斯;阿娜·卡罗琳娜·玛亚;伊格纳西·绍 将有向网格定理应用到FPT算法中。 （英语） Zbl 1496.05059号 SIAM J.离散数学。 36，第3期，1887-1917（2022）. 小结：网格定理N.罗伯逊和P.D.西摩[J.Comb.理论，Ser.B 41，92–114（1986；Zbl 0598.05055号)]是结构图论领域中最重要的工具之一，在无向图的算法设计中有许多应用。有向图中网格定理的类似版本由T.约翰逊等人[同上，第82号，第138-154号（2001年；Zbl 1027.05045号)]并由证明K.-i.卡瓦拉巴亚什和S.Kreutzer公司[摘自：2015年6月14日至17日，美国俄勒冈州波特兰市STOC’15第47届ACM计算理论年会论文集。纽约州纽约市：计算机机械协会（ACM）。655–664 (2015;Zbl 1321.05249号)]. 也就是说，他们证明了存在一个函数（f（k）），使得每一个有向树宽度至少为（fXP（极限编程）带有参数\（k）的算法，该算法要么构造适当宽度的分解，要么将声称的大圆柱形网格作为蝶形次要网格进行查找。在本文中，我们采用了Kawarabayashi和Kreutzer[loc.cit.]证明的一些步骤来改进这一点XP（极限编程）一种固定参数可处理的算法(FPT公司)算法。为此，我们的主要技术贡献有两个FPT公司参数为\（k\）的算法。第一种方法要么产生宽度为（3k-2）的树分解，要么在有向图（D）中找到有序的避风港（k），改进了Johnson等人[loc.cit.]的树分解原始结果。第二个算法在大有向树宽度的有向图（D\）中找到一个链接良好的序集（k\）。作为证明这些结果的工具，我们展示了如何解决在FPT公司带参数\（|T|\）的时间，我们认为这是一个自己感兴趣的结果。 引用于1文件 MSC公司： 05C20号 有向图（有向图），比赛 05C12号 图形中的距离 关键词：有向图;定向树宽度;网格定理;FPT公司算法 引文：Zbl 0598.05055号;Zbl 1027.05045号;Zbl 1321.05249号 PDF格式BibTeX公司 XML格式引用 \textit{V.Campos}等人，SIAM J.离散数学。36，第3号，1887年--1917年（2022年；Zbl 1496.05059） 全文： 内政部 arXiv公司 参考文献： [1] S.A.Amiri、K.Kawarabayashi、S.Kreutzer和P.Wollan，定向图的Erdo¨S-Po¨sa性质，https://arxiv.org/abs/1603.02504v3, 2016. [2] S.Arnborg、D.G.Corneil和A.Proskurowski，在（k）树中查找嵌入的复杂性，SIAM J.代数离散方法，8（1987），第277-284页，https://doi.org/10.1137/0608024。 ·Zbl 0611.05022号 [3] J.Bang-Jensen和G.Gregory，有向图类，Springer Monogr。数学。，2018, https://doi.org/10.1007/978-3-319-71840-8。 ·兹比尔1398.05002 [4] E.T.Bell，指数多项式，数学年鉴。，35（1934），第258-277页，http://www.jstor.org/stable/1968431。 ·Zbl 0009.21202号 [5] B.Bergougnoux、E.Eiben、R.Ganian、S.Ordyniak和M.S.Ramanujan，《朝向定向反馈顶点集的多项式核》，第42届计算机科学数学基础国际研讨会论文集，LIPIcs Leibniz Int.Proc。通知。2017年第83期，第36:1-36:15页，https://doi.org/10.4230/LIPIcs.MFCS.2017.36。 ·Zbl 1441.68163号 [6] U.Bertele和F.Brioschi，非串行动态规划，学术出版社，佛罗里达州奥兰多，1972年·Zbl 0244.49007号 [7] I.Bezaíkovaí，R.Curticapean，H.Dell，and F.Fomin，《寻找迂回是固定参数可处理的》，SIAM J.离散数学。，33（2016），第2326-2345页，https://doi.org/10.1137/17M1148566。 ·Zbl 1428.05161号 [8] H.L.Bodlaender，《Treewidth:特征、应用和计算》，摘自第32届计算机科学图论概念国际研讨会论文集，《计算讲义》。科学。4271，Springer，纽约，2006年，第1-14页，https://doi.org/10.1007/11917496_1。 ·Zbl 1167.68404号 [9] M.Bonamy、L.Kowalik、J.Nederlof、M.Pilipczuk、A.Socala和M.Wrochna，关于树宽参数化的定向反馈顶点集，载于《计算机科学第44届图论概念会议论文集》，《计算讲义》。科学。11159，施普林格，纽约，2018年，第65-78页，https://doi.org/10.1007/978-3-030-00256-5_6。 ·Zbl 1517.68277号 [10] A.Bondy和M.R.Murty，图论，Springer-Verlag，伦敦，2008年·Zbl 1134.05001号 [11] N.Bousquet、J.Daligault和S.Thomass©，Multicut是FPT，SIAM J.Compute。，47（2018），第166-207页，https://doi.org/10.1137/140961808。 ·兹比尔1380.05184 [12] A.Cayley，关于称为树的分析形式。第二部分，外倾角。天秤座。收集。4，剑桥大学出版社，英国剑桥，2009年，第112–115页，https://doi.org/10.1017/CBO9780511703706.026。 [13] C.Chekuri和J.Chuzhoy，网格小定理的多项式界，J.ACM，63（2016），第40:1-40:65页，https://doi.org/10.1145/2820609。 ·Zbl 1410.05186号 [14] C.Chekuri、A.Ene和M.Pilipczuk，平面有向图中对称需求的恒定拥塞路由，第43届自动控制、语言和编程国际学术讨论会论文集，LIPIcs Leibniz Int.Proc。通知。2016年5月55日，第7:1-7:14页，https://doi.org/10.4230/LIPIcs.ICALP.2016.7。 ·Zbl 1388.68213号 [15] J.Chen，Y.Liu，S.Lu，B.O'Sullivan，and I.Razgon，定向反馈顶点集问题的固定参数算法，J.ACM，55（2008），第21:1-21:19页，https://doi.org/10.1145/1374376.1374404。 ·Zbl 1325.68104号 [16] J.Chuzhoy和Z.Tan，《朝向排除网格定理的紧（er）边界》，第30届ACM-SIAM离散算法研讨会论文集，2019年，第1445-1464页，https://doi.org/10.1137/1.9781611975482.88。 ·Zbl 1434.05146号 [17] W.Cook和P.D.Seymour，《通过分支分解合并巡演》，《信息与计算杂志》。，15（2003），第233-248页，https://doi.org/10.1287/ijoc.15.3.233.16078。 ·Zbl 1238.90128号 [18] B.Courcelle，图的一元二阶逻辑。有限图的可识别集，Inform。计算。，85（1990），第12-75页，https://doi.org/10.1016/0890-5401（90）90043-H·Zbl 0722.03008号 [19] M.Cygan、F.V.Fomin、L.Kowalik、D.Lokshtanov、D.Marx、M.Pilipczuk、M.Pilipczuk和S.Saurabh，《参数化算法》，纽约斯普林格出版社，2015年·Zbl 1334.90001号 [20] M.Cygan、D.Marx、M.Pilipczuk和M.Piliczuk，平面有向（k）顶点不相交路径问题是固定参数可处理的，载于IEEE第54届计算机科学基础年会论文集，2013年，第197-206页，https://doi.org/10.109/FOCS.2013.29。 [21] M.de Oliveira Oliveirea，有向树宽的算法元定理，离散应用。数学。，204（2016），第49-76页，https://doi.org/10.1016/j.dam.2015.10.020。 ·Zbl 1333.05139号 [22] D.Demaine，V.Fomin，M.Hajiaghayi，and D.M.Thilikos，有界-群图和（H\）-无群图的次指数参数化算法，J.ACM，52（2005），第866-893页，https://doi.org/10.1145/101821.1101823。 ·Zbl 1326.05152号 [23] F.Dorn，F.V.Fomin，D.Lokshtanov，V.Raman和S.Saurabh，超越二维：有向图上的参数化子指数算法，Inform。计算。，233（2013），第60-70页，https://doi.org/10.1016/j.ic.2013.11.006。 ·Zbl 1433.68290号 [24] R.G.Downey和M.R.Fellows，参数化复杂性基础，文本计算。科学。，施普林格，纽约，2013年·Zbl 1358.68006号 [25] K.Edwards，I.Muzi和P.Wollan，高连通有向图中的半积分联系，第25届欧洲算法研讨会论文集，LIPIcs Leibniz Int.Proc。通知。2017年第87期，第36:1-36:12页，https://doi.org/10.4230/LIPS.ESA.2017.36。 ·兹比尔1448.05087 [26] R.F.Erbacher、T.Jaeger、N.Talele和J.Teutsch，带线性有序端子的定向多点切割，https://arxiv.org/abs/1407.7498v1, 2014. [27] J.Flum和M.Grohe，参数化复杂性理论，Springer，纽约，2006年·Zbl 1143.68016号 [28] F.V.Fomin、E.D.Demaine、M.T.Hajiaghayi和D.M.Thilikos，《二维性》，摘自《算法百科全书》，纽约斯普林格，2016年，第203-207页，https://doi.org/10.1007/978-1-4939-2864-4_47。 ·Zbl 1341.68001号 [29] S.Fortune、J.Hopcroft和J.Wyllie，定向子图同胚问题，理论。计算。科学。，10（1980），第111-121页，https://doi.org/10.1016/0304-3975(80)90009-2. ·Zbl 0419.05028号 [30] R.Ganian、P.Hlin ada ný、J.Kneis、A.Langer、J.Obdr Ye¾lek和P.Rossmanith，参数化算法中有向图宽度测量，离散应用。数学。，168（2014），第88-107页，https://doi.org/10.1016/j.dam.2013.10.038。 ·Zbl 1285.05077号 [31] A.C.Giannopoulou、K.Kawarabayashi、S.Kreutzer和O.Kwon，定向平板定理，第13届ACM-SIAM离散算法研讨会论文集，2020年，第239-258页，https://doi.org/10.1137/1.9781611975994.15。 ·Zbl 07304038号 [32] M.Grohe、K.-i.Kawarabayashi、D.Marx和P.Wollan，《寻找拓扑子图是固定参数可处理的》，载于2011年第43届ACM计算理论研讨会论文集，第479-488页，https://doi.org/10.1145/1993636.1993700。 ·Zbl 1288.05058号 [33] R.Halin，图的函数，《几何杂志》，8（1976），第171-186页，https://doi.org/10.1007/BF01917434。 ·兹比尔0339.05108 [34] M.Hatzel、K.Kawarabayashi和S.Kreutzer，多项式平面定向网格定理，第30届ACM-SIAM离散算法研讨会论文集，2019年，第1465-1484页，https://doi.org/10.1137/1.9781611975482.89。 ·Zbl 1434.05147号 [35] T.Johnson、N.Robertson、P.D.Seymour和R.Thomas，有向树宽度，J.Combin理论系列。B、 82（2001），第138-154页，https://doi.org/10.1006/jctb.2000.2031。 ·Zbl 1027.05045号 [36] T.Johnson、N.Robertson、P.D.Seymour和R.Thomas，排除平面有向图中的格线次项，https://arxiv.org/abs/1150.00473v1, 2015. [37] K.Kawarabayashi和S.Kreutzer，带禁止子图的有向图的排除网格定理，第25届ACM-SIAM离散算法研讨会论文集，2014年，第72-81页，https://doi.org/10.1137/1.9781611973402.6。 ·Zbl 1423.05160号 [38] K.-i.Kawarabayashi和S.Kreutzer，定向网格定理，第47届ACM计算理论研讨会论文集，2015年，第655-664页，https://doi.org/10.1145/2746539.2746586。 ·Zbl 1321.05249号 [39] J.M.Kleinberg，不可分割流和半不相交路径问题的决策算法，载于1998年第30届ACM计算理论研讨会论文集，第530-539页，https://doi.org/10.1145/276698.276867。 ·Zbl 1028.68217号 [40] A.Koster、S.van Hoesel和A.Kolen，通过树分解解决频率分配问题，Electron。注释离散数学。，3（1999），第102-105页，https://doi.org/10.1016/S1571-0653(05)80034-4. ·Zbl 1038.90086号 [41] S.Kratsch，M.Pilipczuk，M.Pilipczzuk，and M.WahlströM，有向非循环图中多截的固定参数可处理性，SIAM J.离散数学。，29（2015），第122-144页，https://doi.org/10.1137/120904202。 ·Zbl 1326.05053号 [42] S.Kreutzer和S.Ordyniak，有向图分解和有向图搜索中的单调性，理论。计算。科学。，412（2011），第4688-4703页，https://doi.org/10.1016/j.tcs.2011.05.003。 ·Zbl 1223.68085号 [43] R.Lopes和I.Sau，《有向不相交路径问题的放松：全球拥塞度量的帮助》，载于第45届计算机科学数学基础国际研讨会论文集，LIPIcs Leibniz Int.Proc。通知。1702020年，第66:1-66:15页，https://doi.org/10.4230/LIPIcs.MFCS.2020.68。 ·Zbl 07559439号 [44] D.Marx和I.Razgon，由割集大小参数化的多割的固定参数可处理性，SIAM J.Compute。，43（2014），第355-388页，https://doi.org/10.1137/10855247。 ·Zbl 1304.68078号 [45] D.Matthias和F.Emmert-Streib，定量图论：数学基础和应用，离散数学。申请。，Chapman&Hall/CRC，佛罗里达州博卡拉顿，2014年·Zbl 1310.05002号 [46] K.Menger，Zur allgemeinen kurventherie，基金。数学。，10（1927年），第96-115页，http://eudml.org/doc/211191。 [47] M.Pilipczuk和M.WahlstroïM，Directed multicat是W[1]硬的，即使对于四个端子对也是如此，ACM Trans。计算。理论，10（2018），第13:1-13:18页，http://doi.acm.org/10.1145/3201775。 ·Zbl 1427.68252号 [48] B.Reed，引入定向树宽度，Electron。注意离散数学。，3（1999），第222-229页，https://doi.org/10.1016/S1571-0653(05)80061-7. [49] N.Robertson和P.D.Seymour，《未成年人图形》。V.排除平面图，J.Combin.Theory Ser。B、 41（1986），第92-114页，https://doi.org/10.1016/0095-8956(86)90030-4. ·Zbl 0598.05055号 [50] N.Robertson和P.D.Seymour，《未成年人图形》。十二、。不相交路径问题，J.Combin.Theory Ser。B、 63（1995），第65-110页，https://doi.org/10.1006/jctb.1995.1006。 ·Zbl 0823.05038号 [51] N.Robertson和P.D.Seymour，《未成年人图形》。二十一、。具有唯一链接的图，J.Combina.Theory Ser。B、 99（2009），第583-616页，https://doi.org/10.1016/j.jctb.2008.003。 ·Zbl 1229.05253号 [52] N.Robertson和P.D.Seymour，Graph Minors。二十二、。连杆问题中的无关顶点，J.组合理论。B、 102（2012），第530-563页，https://doi.org/10.1016/j.jctb.2007.12.007。 ·Zbl 1239.05173号 [53] P.D.Seymour和R.Thomas，图搜索和树宽的最小最大定理，J.组合理论。B、 58（1993），第22-33页，https://doi.org/10.1006/jctb.1993.1027。 ·Zbl 0795.05110号 [54] A.Slivkins，有向非循环图上边不相交路径的参数化可处理性，SIAM J.离散数学。，24（2010），第146-157页，https://doi.org/10.1137/070697781。 ·兹比尔1207.68169 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。