×
伊藤、武弘;埃里克·D·德曼。;尼古拉斯·哈维。;克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。;玛莎·西德丽;上原、琉璃;尤诺（Yushi Uno）

关于重构问题的复杂性。 （英语） Zbl 1207.68166号

西奥。计算。科学。 412，编号12-14，1054-1065（2011）.
小结：当我们希望在问题的两个可行解决方案之间找到一个逐步转换，以便所有中间结果也都可行时，就会出现重新配置问题。我们证明了由NP-完全问题派生的一系列重构问题是PSPACE-完全的，而有些问题也是NP-近似的。相反，P中问题的几个重配置版本可以在多项式时间内求解。

引用于2评论
引用于128文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

近似;图形算法;PSPACE完成;解空间上的可达性;重构问题
PDF格式BibTeX公司 XML格式引用
\textit｛T.Ito｝等人，Theor。计算。科学。412，编号12--14，1054--1065（2011；Zbl 1207.68166）
全文： DOI程序 链接

参考文献：

[1] Bonsma，P。；Cereceda，L.，寻找图着色之间的路径：PSPACE完备性和超多项式距离，定理。计算。科学。，410, 5215-5226 (2009) ·Zbl 1177.05112号
[2] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP-完备性理论指南》（1979），弗里曼：弗里曼旧金山，加利福尼亚州·Zbl 0411.68039号
[3] 戈帕兰，P。；Kolaitis，P.G。；Maneva，E.N。；Papadimitriou，C.H.，《布尔可满足性的连通性：计算和结构二分法》，SIAM J.Comput。，38, 2330-2355 (2009) ·Zbl 1201.03024号
[4] Hástad，J.，《数学学报》。，182, 105-142 (1999) ·Zbl 0989.68060号
[5] Hástad，J.，《一些最佳不可逼近性结果》，J.ACM，48，798-859（2001）·Zbl 1127.68405号
[6] 赫恩，R.A。；Demaine，E.D.，PSPACE-通过计算的非确定性约束逻辑模型解决滑动块谜题和其他问题的完备性，Theoret。计算。科学。，343，72-96（2005）·Zbl 1079.68040号
[7] 伊藤，T。；Demaine，E.D。；N.J.A.哈维。；Papadimitriou，C.H。；Sideri，M。；Uehara，R。；Uno，Y.，《关于重构问题的复杂性》（ISAAC 2008年公报）。程序。ISAAC 2008，LNCS，第5369卷（2008）），28-39·Zbl 1183.68310号
[8] 伊藤，T。；Demaine，E.D。；周，X。；Nishizeki，T.，《具有供求关系的划分图的近似性》，J.离散算法，6627-650（2008）·Zbl 1154.05328号
[9] 伊藤，T。；卡明斯基，M。；Demaine，E.D.，《图中列表边颜色的重新配置》（WADS 2009年公报）。程序。WADS 2009，LNCS，第5664卷（2009）），375-386·Zbl 1253.68263号
[10] 伊藤，T。；周，X。；Nishizeki，T.，供求分割树，国际。J.找到。计算。科学。，16, 803-827 (2005) ·Zbl 1161.90513号
[11] Papadimitriou，C.H.，《计算复杂性》（1994），Addison-Wesley·Zbl 0557.68033号
[12] Savitch，W.J.，《不确定性和确定性磁带复杂性之间的关系》，J.Compute。系统科学。，177-192年4月（1970年）·Zbl 0188.33502号
[13] T.J.Schaefer，可满足性问题的复杂性，摘自：Proc。第十届ACM计算理论研讨会，1978年，第216-226页。；T.J.Schaefer，可满足性问题的复杂性，摘自：Proc。第十届ACM计算理论研讨会，1978年，第216-226页·Zbl 1282.68143号
[14] Schrijver，A.，《组合优化：多面体和效率》（2003），Springer-Verlag·Zbl 1041.90001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。