×

几何优化和(D^P)-完备性。 (英语) Zbl 0651.68055号

在多项式层次结构中准确分类优化问题的复杂性是一项持续关注和重要的任务。我们证明了一类(D^P)的大量几何优化问题是完全的,这些问题是由简单几何对象的优化放置自然产生的。(D^p\)的类定义如下:L在(D^p \)中,如果L是(L_1)和(L_2)的交集,使得(L_1\)在NP中,(L_2 \)在Co-NP中。类包含NP和Co-NP,并且包含在(Delta_2^p=p^{NP}\)中。(D^p\)中的完整性在多个正还原下表现出来。这些结果还证明了自然几何优化问题在(Delta^P_2=P^{NP})中的存在性。对于其中一些优化问题,显示了进一步的OptP(O(log n))结果。

MSC公司:

65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

参考文献:

[1] Aho,A.、Hopcroft,J.和Ullman,J.,《计算机算法的设计与分析》,Addison-Wesley,Reading,MA,1974年·Zbl 0326.68005号
[2] Bajaj,C.,《算法可解性的限制:伽罗瓦方法和计算模型》,Proc。ACM符号和代数计算研讨会,SYMSAC 861986,第71-76页·doi:10.1145/32439.32453
[3] Bajaj,C.,《几何优化与多项式层次》,《理论计算机科学》,54,1987,87-102·Zbl 1208.49010号 ·doi:10.1016/0304-3975(87)90020-X
[4] Bajaj,C.,几何优化问题的代数度,离散和计算几何,31988177-191·Zbl 0647.90087号 ·doi:10.1007/BF02187906
[5] Beckenbach,E.和Bellman,R.,《不平等导论》,兰登书屋,纽约,1961年·Zbl 0186.09606号
[6] Fowler,R.、Paterson,M.和Tanimoto,S.,《平面中的最优包装和覆盖是NP-完全的》,《信息处理快报》,第12期,1981年,第133-137页·Zbl 0469.68053号 ·doi:10.1016/0020-0190(81)90111-3
[7] Garey,M.和Johnson,D.,《计算机与难治性:NP完备性指南》,弗里曼,旧金山,1979年·Zbl 0411.68039号
[8] Hadwiger,H.和Debrunner,H.,《平面中的组合几何》(由Klee,V.翻译),霍尔特、莱茵哈特和温斯顿出版社,纽约,1964年。
[9] Krentel,M.,《优化问题的复杂性》,Proc。第十八届计算理论研讨会,1986年,第69-76页。
[10] Ladner,R.、Lynch,N.和Selman,A.,《多项式时间可约性的比较》,《理论计算机科学》,第1期,1975年,第103-123页·Zbl 0321.68039号 ·doi:10.1016/0304-3975(75)90016-X
[11] Legget,E.W.和Moore,D.J.,《优化问题和多项式层次结构》,《理论计算机科学》,第15期,1981年,第279-289页·Zbl 0459.68016号 ·doi:10.1016/0304-3975(81)90082-7
[12] Megiddo,N.和Supowit,K.J.,《关于一些常见几何位置问题的复杂性》,SIAM计算杂志,13,1984,182-196·Zbl 0534.68032号 ·数字对象标识代码:10.1137/0213014
[13] Papadimitriou,C.,《几何位置问题的最坏情况和概率分析》,SIAM计算杂志,1981年10月,542-557·Zbl 1010.49020号 ·数字对象标识代码:10.1137/021040
[14] Papadimitriou,C.,《独特解决方案的复杂性》,《计算机协会期刊》,311984年,392-400·Zbl 0631.68038号 ·数字对象标识代码:10.1145/62.322435
[15] Papadimitriou,C.和Yannakakis,M.,《方面的复杂性(以及复杂性的某些方面)》,《计算机与系统科学杂志》,第28期,1984年,第244-259页·Zbl 0571.68028号 ·doi:10.1016/0022-0000(84)90068-0
[16] Selman,A.L.,《半递归集与NP完备性研究的有效可约性的类比》,信息与控制,52,1982,36-51·Zbl 0504.03022号 ·doi:10.1016/S0019-9958(82)80084-3
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。