×
戴维·埃普斯坦;Hemachandra，A巷。;詹姆斯·提斯多尔;Yener，Bülent先生

概率和明确复杂性类的同时强分离。 （英语） 兹比尔0766.68038

数学。系统。理论 25，第1期，23-36（1992）.
总结：我们研究了概率计算和明确计算之间的关系，并提供了强有力的相对证据证明它们是不可比较的。特别是，我们展示了一个相对化的世界，其中包含这些计算范式的复杂性类相互免疫。我们回答了中提出的问题，并扩展了-J.盖斯克和J.格罗尔曼[SIAM J.Comput.15511-519（1986年；Zbl 0609.68038号)]和J.L.Balcázar和D.A.Russo公司[RAIRO Inf.Théor.Appl.22，No.2，227-244（1988；Zbl 0647.68053号)].

引用于5文件

MSC公司：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
2005年第68季度 计算模型（图灵机等）（MSC2010）

关键词：

概率计算;明确计算;相对化世界

引文：

Zbl 0609.68038号;Zbl 0647.68053号
PDF格式BibTeX公司 XML格式引用
\textit{D.Eppstein}等人，《数学》。系统。理论25，第1号，23-36（1992；Zbl 0766.68038）
全文： 内政部

参考文献：

[1] T.Baker、J.Gill和R.Solovay。P=的相关性？NP问题。SIAM计算机杂志，4（4）：431-4421975·Zbl 0323.68033号 ·数字对象标识代码：10.1137/0204037
[2] J.Balcázar、J.Diaz和J.Gabarró。结构复杂性，I.EATCS理论计算机科学专著。Springer-Verlag，纽约，1988年。
[3] J.Balcázar和D.Russo。概率复杂性类相对化的免疫性和简单性。理论信息学与应用（RAIRO），22（2）：227-2441988·Zbl 0647.68053号
[4] R.贝格尔。关于附加接受路径的相对化力量。《复杂性理论会议第四届结构论文集》，第216-224页。IEEE计算机学会出版社，纽约，1989年6月。
[5] R.Beigel、L.Hemachandra和G.Wechsung。概率多项式时间在奇偶约简下是闭合的。信息处理快报，37（2）：91-941991·Zbl 0714.68031号 ·doi:10.1016/0020-0190（91）90140-D
[6] C.Bennett和J.Gill。相对于随机预言a，P？NP A与概率1.SIAM计算杂志，10:96-1131981·Zbl 0454.68030号 ·数字对象标识代码：10.1137/021008
[7] A.Blass和Y.Gurevich。关于唯一可满足性问题。信息与控制，55:80-881982年·Zbl 0543.03027号 ·doi:10.1016/S0019-9958（82）90439-9
[8] D.布鲁西、D.约瑟夫和P.杨。RP上布尔层次的强分离。国际计算机科学基础杂志，1（3）：201-2181990·Zbl 0732.68039号 ·doi:10.1142/S012905419000151
[9] J.Cai、T.Gundermann、J.Hartmanis、L.Hemachandra、V.Sewelson、K.Wagner和G.Wechsung。布尔层次，I：结构属性。SIAM计算机杂志，17（6）：1232-12521988·Zbl 0676.68011号 ·数字对象标识代码：10.1137/0217078
[10] J.Cai、T.Gundermann、J.Hartmanis、L.Hemachandra、V.Sewelson、K.Wagner和G.Wechsung。布尔层次，II：应用。SIAM计算机杂志，18（1）：95-1111989·Zbl 0676.68012号 ·doi:10.1137/0218007
[11] J.Cai和L.Hemachandra。关于奇偶多项式时间的幂。数学系统理论，23:95-1061990·Zbl 0718.68038号 ·doi:10.1007/BF02090768
[12] D.Eppstein、L.Hemachandra、J.Tisdall和B.Yener。概率计算和明确计算是无与伦比的。InComputing and Information:1989年国际计算与信息会议记录第65-70页。荷兰北部，阿姆斯特丹，1989年5月。
[13] W.Gasarch。确定类与交替类的Oracle。SIAM计算机杂志，16（4）：613-6271987·Zbl 0686.68036号 ·数字对象标识代码：10.1137/0216042
[14] W.Gasarch和S.Homer。NP和指数时间的相对论比较。信息与控制，58:88-1001983年·Zbl 0562.68034号 ·doi:10.1016/S0019-9958（83）80058-8
[15] J.Geske和J.Grollmann。明确和随机多项式时间类的相关性。SIAM计算机杂志，16（2）：511-5191986·兹比尔0609.68038 ·数字对象标识代码：10.1137/0215035
[16] J.吉尔。概率图灵机的计算复杂性。SIAM计算机杂志，6（4）：675-6951977·Zbl 0366.02024号 ·doi:10.1137/0206049
[17] J.Grollmann和A.Selman。公钥密码系统的复杂性度量。SIAM计算机杂志，17:309-3351988年·Zbl 0644.94016号 ·数字对象标识代码：10.1137/0217018
[18] T.Gundermann和G.Wechsung。计算具有有限接受类型的类。计算机与人工智能，6（5）：395-4091987·Zbl 0638.68027号
[19] J.哈特马尼斯。相对化冲突的可解决问题。欧洲理论计算机科学协会公报，27:40-491985。
[20] J.Hartmanis、R.Chang、D.Ranjan和P.Rohatgi。结构复杂性理论：最近的惊喜。第二届斯堪的纳维亚算法理论研讨会论文集，第1-12页。计算机科学讲义，第447卷。1990年7月，柏林，斯普林格-Verlag。
[21] J.Hartmanis和L.Hemachandra。没有机器的复杂性类：关于UP的完整语言。理论计算机科学，58:129-1421988·Zbl 0655.68044号 ·doi:10.1016/0304-3975（88）90022-9
[22] 血吸虫。强大的指数层次结构崩溃了。第19届ACM计算机理论研讨会论文集，第110-122页。ACM出版社，纽约，1987年5月。
[23] 赫马钱德拉L。复杂性类的结构：分离、折叠和完整性。第13届计算机科学数学基础研讨会论文集，第59-72页。计算机科学讲义，第324卷。1988年8月/9月，柏林，斯普林格·弗拉格。
[24] L.Hemachandra和S.Jain。相对论与图灵完备集的存在性。技术报告TR-297，罗切斯特大学计算机科学系，纽约州罗切斯特市，146271989年6月。
[25] J.Hopcroft和J.Ullman。自动机理论、语言和计算导论。Addison-Wesley，马萨诸塞州雷丁，1979年·Zbl 0426.68001号
[26] S.Kurtz、S.Mahaney和J.Royer。同构猜想相对于随机预言而言是失败的。第21届ACM计算机理论研讨会论文集，第157-166页。ACM出版社，纽约，1989年5月·Zbl 0886.68068号
[27] C.劳特曼。BPP和多项式层次结构。《信息处理快报》，14:215-2171983年·Zbl 0515.68042号 ·doi:10.1016/0020-0190（83）90044-3
[28] G.利施克。Oracle构造来证明P、NP、NEL、EP和NEP的相对化之间的所有可能关系。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik，32:257-2701986年·Zbl 0594.68045号 ·doi:10.1002/malq.19860321702
[29] C.拉科夫。涉及概率算法的相关问题。美国医学会杂志，29（1）：261-2681982·Zbl 0477.68037号 ·数字对象标识代码：10.1145/322290.322306
[30] H.Rogers，Jr.《递归函数和有效可计算性理论》。McGraw-Hill，纽约，1967年·Zbl 0183.01401号
[31] S.Rudich。单向函数可证明结果的限制。加州大学伯克利分校博士论文，1988年11月·Zbl 0718.68042号
[32] U.Schöning和R.Book。免疫性、相对性和不确定性。SIAM计算机杂志，13:329-3371984年·Zbl 0558.68039号 ·doi:10.1137/0213023
[33] A.沙米尔。IP=PSPACE。第30届IEEE计算机科学基础研讨会论文集，第11-15页。IEEE计算机学会出版社，纽约，1990年10月。
[34] M.西普瑟。随机性的复杂性理论方法。第15届美国计算机学会计算理论研讨会论文集，第330-335页。ACM出版社，纽约，1983年。
[35] S.托达。关于限制访问NP预言的概率计算。手稿，1989年2月。
[36] L.Valiant。检查和评估的相对复杂性。《信息处理快报》，5:20-231976年·Zbl 0342.68028号 ·doi:10.1016/0020-0190（76）90097-1
[37] S.Zachos。概率量词、对手和复杂性类：概述。《复杂性理论第一届结构会议论文集》，第383-400页。IEEE计算机学会出版社，纽约，1986年6月·Zbl 0632.03035号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。