艾曼纽·阿里吉;亨宁费尔瑙;德奥利维拉·奥利维拉，马特乌斯;佩特拉·沃尔夫 宽度约束下的订单重构。 （英语） Zbl 1522.05310号 J.图形算法应用。 27，第6号，409-431（2023）。 摘要：在这项工作中，我们考虑了以下顺序重构问题：给定一个图（G）以及（G）顶点的线性顺序（ω）和（ω素数），可以通过相邻元素的交换序列将（ω，生成的线性顺序的切割宽度（路径宽度）最多为\（k）？我们证明了当输入线性阶（ω）和（ω^素数）的割宽（路径宽度）最多为（k/2）时，这个问题总是有一个肯定的答案。此结果在加权设置中也适用。利用这个结果，我们在两个明显无关的问题之间建立了联系：两个字母串重写系统的可达性问题和有界割宽图的图同构问题。这为利用术语重写理论的技术研究著名的图同构问题开辟了一条途径。 MSC公司： 05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等） 05C85号 图形算法（图形理论方面） 关键词：图同构问题;订单重构问题 软件：罗斯洛普 PDF格式BibTeX公司 XML格式引用 \textit{E.Arrighi}等人，J.图形算法应用。27，第6号，409--431（2023；Zbl 1522.05310） 全文： 内政部 OA许可证 参考文献： [1] E.Arrighi、H.Fernau、M.de Oliveira Oliveirea和P.Wolf。宽度约束下的订单重构。F.Bonchi和S.J.Puglishi，第46届计算机科学数学基础国际研讨会编辑，MFCS，LIPIcs第202卷，第8:1-8:15页。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），2021年。doi:10.4230/LIPIcs。MFCS公司。2021.8. ·Zbl 07724181号 ·doi:10.4230/LIPIcs。MFCS.2021.8号文件 [2] V.Arvind、B.Das、J.Köbler和S.Toda。着色超图同构是固定参数可处理的。算法，71（1）：120-1382015。doi:10.1007/s00453-013-9787-y·Zbl 1308.68061号 ·doi:10.1007/s00453-013-9787-y [3] F.Baader和T.Nipkow。术语重写和所有这些。剑桥大学出版社，1999年·Zbl 0948.68098号 [4] 巴拜（L.Babai）。拟多项式时间中的图同构[扩展抽象]·Zbl 1376.68058号 [5] 编辑D.Wichs和Y.Mansour，《第48届ACM SIGACT计算机理论研讨会论文集》，STOC，第684-697页。ACM，2016年。doi:10.1145/2897518.2897542·Zbl 1376.68058号 ·doi:10.1145/2897518.2897542 [6] L.Babai、D.Y.Grigoryev和D.M.Mount。具有有界特征值重数的图的同构。编辑H.R.Lewis、B.B.Simons、W.A.Burkhard和L.H.Landweber，第14届美国计算机学会计算理论研讨会论文集，STOC，第310-324页。ACM，1982年。doi:10.1145/800070.802206·doi:10.1145/800070.802206 [7] L.Babai、W.M.Kantor和E.M.Luks。计算复杂性和有限简单群的分类。在第24届计算机科学基础年度研讨会上，FOCS，第162-171页。IEEE计算机学会，1983年。doi:10.1109/SFCS.1983.10·doi:10.1109/SFCS.1983.10 [8] E.巴伦德森。术语重写系统。剑桥大学出版社，2003年。JGAA，27（6）409-431（2023）429 [9] H.L.Bodlaender、M.R.Fellows和D.M.Thilikos。推导切割宽度和相关图形布局参数的算法。计算机与系统科学杂志，75（4）：231-2442009。doi:10.1016/j.jcss.2008.10.03·兹比尔1165.68523 ·doi:10.1016/j.jcss.2008.10.03 [10] R.V.Book和F.Otto。字符串重写系统。《计算机科学中的字符串重写系统、文本和专著》，第35-64页。施普林格，1993年。doi:10.1007/978-1-4613-9771-7·兹比尔0832.68061 ·doi:10.1007/978-1-4613-9771-7 [11] J.Cai、M.Furer和N.Immerman。用于图形识别的变量数的最佳下界。Combinatorica，12（4）：389-4101992年。doi:10.1007/BF01305232·Zbl 0785.68043号 ·doi:10.1007/BF01305232 [12] 奥利维拉·奥利维拉先生。Hasse图生成器和Petri网。基础信息学，105（3）：263-2892010。doi:10.333/FI-2010-367·Zbl 1217.68155号 ·doi:10.3233/FI-2010-367 [13] 奥利维拉·奥利维拉先生。z-拓扑可序有向图上满足MSO性质的子图。G.Z.Gutin和S.Szeider，参数化和精确计算第八届国际研讨会编辑，IPEC，计算机科学讲义第8246卷，第123-136页。施普林格，2013年。doi:10.1007/978-3-319-03898-8_12·Zbl 1406.68048号 ·doi:10.1007/978-3-319-03898-8_12 [14] 奥利维拉·奥利维拉先生。有向图嵌入问题的切片理论方法。在E.W.Mayr，编辑，计算机科学中的图形理论概念-第41届国际研讨会，工作组，计算机科学讲稿第9224卷，第360-372页。斯普林格，2015年。doi:10.1007/978-3-662-53174-7_26·Zbl 1417.05129号 ·doi:10.1007/978-3-662-53174-7_26 [15] N.Deo、M.S.Krishnamoorthy和M.A.Langston。门矩阵布局问题的精确和近似解。IEEE传输。计算。辅助设计。集成。电路系统。，6(1):79-84, 1987. doi:10.1109/TCAD.1987.1270248·doi:10.10109/TCAD.1987.1270248 [16] R.G.Downey和M.R.Fellows。参数化复杂性基础。计算机科学课文。施普林格，2013年。doi:10.1007/9781-4471-5559-1·Zbl 1358.68006号 ·doi:10.1007/978-1-4471-5559-1 [17] J.A.Ellis、I.H.Sudborough和J.S.Turner。图的顶点分离和搜索数。信息与计算，113（1）：50-791994。doi:10.1006/inco.1994.1064·Zbl 0942.68641号 ·文件编号：10.1006/inco.1994.1064 [18] M.R.Fellows和M.A.Langston。良序理论及其在超大规模集成电路设计组合问题中的应用。SIAM J.谨慎。数学。，5(1):117-126, 1992. doi:10.1137/0405010·Zbl 0739.68042号 ·数字对象标识代码：10.1137/0405010 [19] M.L.Furst、J.E.Hopcroft和E.M.Luks。置换群的多项式时间算法。在第21届计算机科学基础年度研讨会上，FOCS，第36-41页。IEEE计算机学会，1980年。doi:10.10109/SFCS1980.34·doi:10.1109/SFCS.1980.34 [20] T.Gervens和M.Grohe。基于矩阵范数的图形相似性。S.Szeider、R.Ga-nian和A.Silva编辑，第47届计算机科学数学基础国际研讨会，MFCS，LIPIcs第241卷，第52:1-52:15页。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），2022年。doi:10.4230/LIPIcs。MFCS.2022.52·doi:10.4230/LIPIcs。货币金融委员会2022.52 [21] A.C.Giannopoulou、M.Pilipczuk、J.-F.Raymond、D.M.Thilikos和M.Wrochna。切割宽度：障碍物和算法方面。《算法》，81（2）：557-5882019年。doi:10.1007/s00453-018-0424-7·Zbl 1414.68035号 ·doi:10.1007/s00453-018-0424-7 [22] M.格罗。带排除子图的定点可定义性和多项式时间。美国医学会杂志，59（5）：272012。doi:10.1145/2371656.2371662·Zbl 1281.68129号 ·doi:10.1145/2371656.2371662 [23] 格罗赫和马克思。排除拓扑子图的图的结构定理和同构检验。SIAM计算机杂志，44（1）：114-1592015。doi:10.1137/120892234·Zbl 1314.05134号 ·数字对象标识代码：10.1137/120892234 [24] M.Grohe和D.Neuen。秩宽有界图的同构、规范化和可定义性。ACM通讯，64（5）：98-1052021。doi:10.1145/3453943·数字对象标识代码：10.1145/3453943 [25] M.Grohe和D.Neuen。图同构问题的最新进展。K.K.Dabrowski、M.Gadouleau、N.Georgiou、M.Johnson、G.B.Mertzios和D.Paulusma，《2021年组合数学调查》编辑：2021年7月5日至9日在英国达勒姆举行的第28届英国组合学会议的受邀讲座，第187-234页。剑桥大学出版社，2021年。doi:10.1017/9781009036214.006·Zbl 1504.05193号 ·doi:10.1017/9781009036214.006 [26] M.Grohe、D.Neuen和P.Schweitzer。小度图的快速同构测试。M.Thorup，编辑，第59届IEEE计算机科学基础年度研讨会，FOCS，第89-100页。IEEE计算机学会，2018年。doi:10.1109/FOCS.2018.00018·doi:10.1109/FOCS.2018.00018 [27] M.Grohe、D.Neuen、P.Schweitzer和D.Wiebking。有界无宽度图的改进同构检验。ACM算法事务，16（3）：34:1-34:312020。doi:10.1145/3382082·Zbl 1484.68161号 ·doi:10.1145/3382082 [28] M.Grohe和P.Schweitzer。有界秩宽图的同构检验。IEEE第56届计算机科学基础年度研讨会编辑V.Guruswami，FOCS，第1010-1029页。IEEE计算机学会，2015年。doi:10.1109/FOCS.2015.66·doi:10.1109/FOCS.2015.66 [29] M.Grohe和P.Schweitzer。图同构问题。Commun公司。ACM，63（11）：128-1342020。doi:10.1145/3372123·数字对象标识代码：10.1145/3372123 [30] N.Hirokawa、A.Middeldorp、C.Sternagel和S.Winkler。抽象完成，形式化。日志。方法计算。科学。，15(3), 2019. doi:10.23638/LMCS-15（3:19）2019年·兹比尔1509.68119 ·doi:10.23638/LMCS-15（3:19）2019年 [31] T.Ito、E.D.Demaine、N.J.A.Harvey、C.H.Papadimitriou、M.Sideri、R.Uehara和Y.Uno。关于重构问题的复杂性。理论计算机科学，412（12-14）：1054-10652011。doi:10.1016/j.tcs.2010.12.005·Zbl 1207.68166号 ·doi:10.1016/j.tcs.2010.12.005 [32] D.Kapur和P.Narendran。Knuth-Bendix完井程序和Thue系统。SIAM计算机杂志，14（4）：1052-10721985。doi:10.1137/0214073·Zbl 0576.68010号 ·数字对象标识代码：10.1137/0214073 [33] N.G.金纳斯利。图的顶点分离数等于它的路径宽度。信息处理。莱特。，42(6):345-350, 1992. doi:10.1016/0020-0190（92）90234-M·Zbl 0764.68121号 ·doi:10.1016/0020-0190（92）90234-M [34] N.G.Kinnersley和W.M.Kinnerspley。一种高效的三轨道门矩阵布局多项式时间算法。计算。J.，37（5）：449-4621994年。doi:10.1093/comjnl/37.5.449·doi:10.1093/comjnl/37.5.449 [35] N.G.Kinnersley和M.A.Langston。门矩阵布局问题的障碍集隔离。谨慎。申请。数学。，54(2-3):169-213, 1994. doi:10.1016/0166-218X（94）90021-3·Zbl 0941.68590号 ·doi:10.1016/0166-218X（94）90021-3 [36] L.M.Kirousis和C.H.Papadimitriou。搜索和鹅卵石。西奥。计算。科学。，47(3):205-218, 1986. doi:10.1016/0304-3975（86）90146-5·Zbl 0616.68064号 ·doi:10.1016/0304-3975（86）90146-5 [37] J.W.Klop。术语重写系统。信息中心，1990年。 [38] S.Kratsch和P.Schweitzer。有界反馈顶点集个数的图的同构。H.Kaplan，算法理论-SWAT编辑，第12届斯堪的纳维亚算法理论研讨会，计算机科学讲稿第6139卷，第81-92页。施普林格，2010年。doi:10.1007/978-3642-13731-09·Zbl 1284.05296号 ·doi:10.1007/978-3642-13731-09 [39] D.Lokshtanov、M.Pilipczuk、M.Plipczuck和S.Saurabh。有界树宽图的固定参数可处理can-onization和同构测试。第55届IEEE计算机科学基础年会，FOCS，186-195页。IEEE计算机学会，2014年。doi:10.1109/FOCS.2014.28·doi:10.1009/FOCS.2014.28 [40] E.M.Luks。有界价图的同构可以在多项式时间内进行测试。计算机与系统科学杂志，25（1）：42-651982。doi:10.1016/0022-0000（82）90009-5·Zbl 0493.68064号 ·doi:10.1016/0022-0000（82）90009-5 [41] G.米勒。有界亏格图的同构检验。R.E.Miller、S.Ginsburg、W.A.Burkhard和R.J.Lipton编辑，《第十二届ACM计算机理论研讨会论文集》，STOC，第225-235页。ACM，1980年。doi:10.1145/800141.804670·doi:10.1145/800141.804670 [42] N.西村。重新配置简介。算法，11（4）：522018。doi:10.3390/a11040052·Zbl 1461.68164号 ·doi:10.3390/a11040052 [43] C.Sternagel和R.Thiemann。将knuth-bendix订单和knuth-bendix完成形式化。2013年6月24日至26日，RTA 2013第24届国际重写技术和应用会议编辑F.van Raamsdonk在荷兰埃因霍温出版，LIPIcs第21卷，第287-302页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2013年。doi:10.4230/LIPIcs。RTA.2013.287·Zbl 1356.68201号 ·doi:10.4230/LIPIcs。RTA.2013.287年 [44] I.Wehrman、A.Stump和E.Westbrook。Slothrop:Knuth-Bendix完成与现代终止检查器。In F.Pfenning，编辑，《术语重写和应用》，第17届国际会议，RTA，计算机科学讲稿第4098卷，第287-296页。斯普林格，2006年。doi:10.1007/11805618_22·Zbl 1151.68456号 ·doi:10.1007/11805618_22 [45] M.罗奇纳。在有限带宽和树深度中重新配置。《计算机与系统科学杂志》，93:1-102018。doi:10.1016/j.jcss.2017.11.003·Zbl 1382.68183号 ·doi:10.1016/j.jcss.2017.11.003 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。