阿坎沙阿格拉瓦尔;劳昆·卡内什;法赫德·帕诺兰;拉马努扬，M.S。;萨科特·索拉布 有界度图消除距离的一种固定参数可处理算法。 （英语） Zbl 1489.05134号 SIAM J.离散数学。 36，编号2，911-921（2022）. 摘要：在关于参数化图问题的文献中，近年来，人们越来越多地致力于探索图编辑距离的新概念，这些概念比特定图类的调制器大小更强大。在这方面的研究中，J.布利安和A.达瓦尔【Algorithmica 75，No.2，363–382（2016；Zbl 1350.68132号)]引入了消去距离的概念，并证明了判定一个给定图对任何次闭图类的消去距离至多为\（k）是由\（k[J.布利安和A.达瓦尔同上，79，第1号，139-158（2017年；Zbl 1379.68160号)]. 他们证明了由有界度图的消去距离参数化的图同构是固定参数可处理的，并询问确定有界度图形类的消去距是否是固定参数可以处理的。最近，A.林德迈等[“平面图上有界度的消除距离”，LIPIcs–Leibniz Int.Proc.Inform.170，论文编号65，12 p.（2020；doi:10.4230/LIPIcs。MFCS.2020.65型)]在输入限制为（K_5）-次自由图的特殊情况下，得到了该问题的一个固定参数算法。在本文中，我们肯定地回答了一般图的Bulian和Dawar问题。事实上，我们给出了一个更一般的结果捕获消去距离，它适用于任何以有限图集为禁止诱导子图的图类。 引用于三文件 理学硕士： 05C85号 图形算法（图形理论方面） 2007年5月 顶点度数 05C12号 图形中的距离 68年第27季度 参数化复杂性、可处理性和核化 关键词：消除距离;图形修改;固定参数牵引性 引文：Zbl 1350.68132号;Zbl 1379.68160号 PDF格式BibTeX公司 XML格式引用 \textit{A.Agrawal}等人，SIAM J.离散数学。36，第2号，911--921（2022；Zbl 1489.05134） 全文： 内政部 参考文献： [1] S.Arnborg、J.Lagergren和D.Seese，《树分解图的简单问题》，J.Algorithms，12（1991），第308-340页·Zbl 0734.68073号 [2] H.L.Bodlaender，求小树宽树分解的线性时间算法，SIAM J.Compute。，25（1996），第1305-1317页，https://doi.org/10.1137/S0097539793251219。 ·Zbl 0864.68074号 [3] M.Bougeret、B.M.P.Jansen和I.Sau，Bridge-depth描述了顶点覆盖的结构参数化允许多项式核的特征，第47届国际自动化、语言和编程学术讨论会，ICALP 2020，德国萨尔布吕肯，a.Czumaj、a.Dawar和E.Merelli，eds.，LIPIcs，Leibniz Int.Proc。通知。168，Wadern，Germany，2020，16，https://doi.org/10.4230/LIPIcs.ICALP.2020.16。 [4] A.Bouland、A.Dawar和E.Kopczynski，《关于图同构的可处理参数化》，《参数化和精确计算-第七届国际研讨会》，IPEC 2012，卢布尔雅那，斯洛文尼亚，D.M.Thilikos和G.J.Woeginger编辑，《计算讲义》。科学。7535，柏林施普林格出版社，2012年，第218-230页，https://doi.org/10.1007/978-3642-33293-7_21。 ·Zbl 1350.68130号 [5] J.Bulian和A.Dawar，通过有界度消除距离参数化的图同构，《算法》，75（2016），第363-382页，https://doi.org/10.1007/s00453-015-0045-3。 ·Zbl 1350.68132号 [6] J.Bulian和A.Dawar，稀疏图类的固定参数可处理距离，Algorithmica，79（2017），第139-158页，https://doi.org/10.1007/s00453-016-0235-7。 ·Zbl 1379.68160号 [7] B.Courcelle，图的一元二阶逻辑I:有限图的可识别集，Inform。和计算。，85（1990年），第12-75页·Zbl 0722.03008号 [8] B.Courcelle，《一元二阶逻辑中图形属性和图形变换的表达》，《图形语法和图形变换计算手册》，第1卷，世界科学河边，新泽西州，1997年，第313-400页。 [9] M.Cygan、F.V.Fomin、L.Kowalik、D.Lokshtanov、D.Marx、M.Pilipczuk、M.Pilipczuk和S.Saurabh，参数化算法，瑞士查姆施普林格，2015年，https://doi.org/10.1007/978-3-319-21275-3。 ·Zbl 1334.90001号 [10] E.Eiben、R.Ganian、T.Hamm和O.Kwon，《衡量什么是重要的：具有树宽的动态规划混合方法》，第44届国际计算机科学数学基础研讨会，2019年，德国亚琛，P.Rossmanith、P.Heggenes和J.Katoen编辑，LIPIcs，Leibniz Int.Proc。通知。138，Wadern，Germany，2019，42，https://doi.org/10.4230/LIPIcs.MFCS.2019.42。 ·Zbl 1517.68291号 [11] E.Eiben、R.Ganian和S.Szeider，《使用结构良好的调制器的元核化》，第十届参数化和精确计算国际研讨会，IPEC 2015，希腊帕特拉斯，T.Husfeldt和I.A.Kanj编辑，LIPIcs，Leibniz Int.Proc。通知。43，Wadern，德国，2015年，第114-126页，https://doi.org/10.4230/LIPIcs.IPEC.2015.114。 ·Zbl 1378.68073号 [12] F.V.Fomin和Y.Villanger，Treewidth计算和极值组合学，组合学，32（2012），第289-308页，https://doi.org/10.1007/s00493-012-2536-z。 ·Zbl 1289.05447号 [13] R.Ganian、S.Ordyniak和M.S.Ramanujan，《超越（M）ILP的原始树宽》，《第三十一届AAAI人工智能会议论文集》，2017年，加利福尼亚州旧金山，S.P.Singh和S.Markovitch编辑，AAAI出版社，加利福尼亚州帕洛阿尔托，2017，第815-821页，http://aaai.org/ocs/index.php/aaai/AAAI17/paper/view/14272。 [14] R.Ganian、M.S.Ramanujan和S.Szeider，结合CSP的树宽和后门，在第34届计算机科学理论方面研讨会上，STACS 2017，德国汉诺威，H.Vollmer和B.Vallée编辑，LIPIcs，莱布尼茨国际会议报。通知。66，沃登，德国，2017，36，https://doi.org/10.4230/LIPIcs.STACS.2017.36。 ·Zbl 1402.68094号 [15] J.Guo，F.Huöffner和R.Niedermeier，《参数化和精确计算中参数化问题的结构观点：与平凡的距离》，第一届国际研讨会，2004年，挪威卑尔根，R.G.Downey，M.R.Fellows和F.K.H.A.Dehne编辑，《计算讲义》。科学。3162，施普林格，柏林，2004年，第162-173页，https://doi.org/10.1007/978-3-540-28639-4_15。 ·Zbl 1104.68050号 [16] E.C.Hols、S.Kratsch和A.Pieterse，顶点覆盖的消除距离、分块集和核，第37届计算机科学理论方面国际研讨会，STACS 2020，法国蒙彼利埃，C.Paul和M.Blaser编辑，LIPIcs，Leibniz Int.Proc。通知。154，瓦德恩，德国，2020，36，https://doi.org/10.4230/LIPIcs.STACS.2020.36。 ·Zbl 07650921号 [17] A.Lindermayr、S.Siebertz和A.Vigny，平面图上有界度的消除距离，第45届计算机科学数学基础国际研讨会，MFCS 2020，捷克共和国布拉格，J.Esparza和D.Kraíl’编辑，LIPIcs，Leibniz Int.Proc。通知。170，沃登，德国，2020，65，https://doi.org/10.4230/LIPIcs.MFCS.2020.65。 ·Zbl 07559436号 [18] D.Lokshtanov、M.S.Ramanujan、S.Saurabh和M.Zehavi，《将CMSO模型检查简化为高度连通的图》，第45届国际自动化、语言和编程学术讨论会，2018年ICALP，捷克共和国布拉格，I.Chatziganakis、C.Kaklamanis、D.Marx和D.Sannella编辑，LIPIcs，Leibniz Int.Proc。通知。107，Wadern，德国，https://doi.org/10.4230/LIPIcs.ICALP.2018.135。 ·Zbl 1499.68203号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。