×
山田武史;上原、琉璃

区间图子类上滑动标记的最短重构。 （英语） 兹比尔1497.68399

理论。计算。科学。 863, 53-68 (2021).
摘要：假设两个独立的集合\（\mathbf{一} _b（b）\)和\（\mathbf{一} _r（r）\)图的\（|\mathbf{一} _b（b）|=|\mathbf{一} _r（r）|\），并且在\（\mathbf）中的每个顶点上放置一个标记{一} _b（b）\). 这个滑动标记问题是确定是否存在一系列独立集来转换\（\mathbf{一} _b（b）\)到\（\mathbf{一} _r（r）\)这样序列中的每个独立集都是前一个集的结果，只需沿着图中的一条边滑动一个标记即可。这个滑动标记问题是从理论计算机科学的角度引起人们关注的重构问题之一。最近，人们研究了以寻找最短重构序列为目标的问题。一般来说，即使决定两个实例是否可以重新配置为彼此是多项式时间可解的，也可以通过NP-hard找到它们之间的最短序列。本文证明了在两个独立集之间寻找最短序列的问题对于某些图类是区间图类的子类是多项式时间可解的。据作者所知，这是第一个多项式时间算法最短滑动标记图类的问题需要绕道而行。

引用于三文件

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
05C62号 图形表示（几何和交点表示等）
05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
68瓦40 算法分析

关键词：

毛虫;绕道;独立集;重构问题;最短序列;滑动标记

引文：

Zbl 1475.68254号
PDF格式BibTeX公司 XML格式引用
\textit｛T.Yamada｝和\textit｛R.Uehara｝，Theor。计算。科学。863，53-68（2021；Zbl 1497.68399）
全文： 内政部

参考文献：

[1] 鲍嘉，K.P。；West，D.B.，“适当=单位”的简短证明，离散数学。，201, 21-23 (1999) ·Zbl 0932.05065号
[2] 博纳米，M。；约翰逊，M。；利戈诺斯，I。；帕特尔，V。；Paulusma，D.，关于顶点着色的重构图的直径，电子。注释离散数学。，38, 161-166 (2011) ·Zbl 1274.05144号
[3] Bonsma，P。；Cereseda，L.，《寻找图着色之间的路径：PSPACE-完备性和超多项式距离》，Theor。计算。科学。，410, 5215-5226 (2009) ·Zbl 1177.05112号
[4] Bonsma，P。；卡明斯基，M。；Wrochna，M.，在无爪图中重新配置独立集，（SWAT 2014。SWAT 2014，LNCS，第8503卷（2014）），86-97·Zbl 1417.05199号
[5] Cereseda，L。；van den Heuvel，J。；Johnson，M.，《寻找三色之间的路径》，《图论》，67，69-82（2011）·Zbl 1216.05154号
[6] Demaine，E.D。；Demaine，M.L。；Fox-Epstein，E。；Hoang，D.A。；伊藤，T。；小野，H。；Otachi，Y。；Uehara，R。；Yamada，T.，树上滑动标记的线性时间算法，Theor。计算。科学。，600, 132-142 (2015) ·Zbl 1329.68135号
[7] 邓，X。；地狱，P。；Huang，J.，适当圆弧图和适当区间图的线性时间表示算法，SIAM J.Comput。，25, 390-403 (1996) ·兹比尔0858.05094
[8] Fox-Epstein，E。；Hoang，D.A。；Otachi，Y。；Uehara，R.，二部置换图上的滑动标记，（ISAAC 2015。ISAAC 2015，LNCS，第9472卷（2015）），237-247·Zbl 1472.68112号
[9] 戈帕兰，P。；Kolaitis，P.G。；Maneva，E.N。；Papadimitriou，C.H.，《布尔可满足性的连通性：计算和结构二分法》，SIAM J.Comput。，38, 2330-2355 (2009) ·Zbl 1201.03024号
[10] 赫恩，R.A。；Demaine，E.D.，PSPACE-通过计算的非确定性约束逻辑模型完成滑块难题和其他问题，Theor。计算。科学。，343, 72-96 (2005) ·Zbl 1079.68040号
[11] 赫恩，R.A。；Demaine，E.D.，《游戏、谜题和计算》（2009），A K Peters·Zbl 1175.91035号
[12] 伊藤，T。；Demaine，E.D。；N.J.A.哈维。；Papadimitriou，C.H。；Sideri，M。；Uehara，R。；Uno，Y.，关于重构问题的复杂性，Theor。计算。科学。，412, 1054-1065 (2011) ·Zbl 1207.68166号
[13] 卡明斯基，M。；梅德韦杰夫，P。；Milanić，M.，最短路径之间的最短路径，Theor。计算。科学。，412, 5205-5210 (2011) ·Zbl 1225.68136号
[14] 卡明斯基，M。；梅德韦杰夫，P。；Milanić，M.，独立集可重构问题的复杂性，Theor。计算。科学。，439, 9-15 (2012) ·兹比尔1246.05121
[15] Korte，N。；Möhring，R.，用于识别区间图的增量线性时间算法，SIAM J.Comput。，18, 68-81 (1989) ·Zbl 0678.68043号
[16] Makino，K。；Tamaki，S。；Yamamoto，M.，k-CNF布尔连通性问题的精确算法，Theor。计算。科学。，412, 4613-4618 (2011) ·Zbl 1221.68104号
[17] 穆阿瓦德，A.E。；北西村。；巴塔克，V。；Raman，V.，《布尔公式解空间中的最短重构路径》，（ICALP 2015年公报）。程序。ICALP 2015，LNCS，第9134卷（2015）），985-996·Zbl 1374.68246号
[18] 穆阿瓦德，A.E。；北西村。；拉曼，V。；Simjour，N。；铃木，A.，《关于重构问题的参数化复杂性》（IPEC 2013年公报）。程序。IPEC 2013，LNCS，第8246卷（2013）），281-294·Zbl 1350.68155号
[19] 穆阿瓦德，A.E。；北西村。；拉曼，V。；Wrochna，M.，《树木分解的重构》（IPEC 2014年公报）。程序。IPEC 2014，LNCS，第8894卷（2014）），246-257·Zbl 1456.68132号
[20] van der Zanden，Tom C.，图约束逻辑的参数化复杂性（IPEC 2015）。IPEC 2015，LIPICS，第43卷（2015）），282-293·Zbl 1378.68097号
[21] 博纳米，M。；Bousquet，N.，《弦图上的标记滑动》（2017年工作组会议记录）。程序。2017年工作组，LNCS，第10520卷（2017年），127-139·Zbl 1483.05173号
[22] Lokshtanov，D。；Mouawad，A.E.，二部图上独立集重构的复杂性，（SODA 2018（2018）Proc.），185-195·Zbl 1403.68169号
[23] Hoang，D.A。；Uehara，R.，仙人掌上的滑动代币，（ISAAC 2016年会议记录。程序。ISAAC 2016，LIPIcs，第64卷（2016），37:1-37:26·兹比尔1398.05199
[24] Hoang，D.A。；Uehara，R.，仙人掌图和块图上滑动标记的多项式时间算法
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。