×
Hemachandra，A巷。;罗伊·鲁宾斯坦。

用计数预言符分离复杂类。 （英语） Zbl 0745.68048号

西奥。计算。科学。 92，第2期，309-318（1992）.
总结：T.长和A.塞尔曼[将复杂度类与稀疏预言相比较。J.Assoc.Compute.Mach.33，618-627（1986）]证明了，对于最熟悉的复杂度类对，用计数预言分离类并不比真正分离类容易。我们反驳了文献中的一个说法，首次证明了对于许多熟悉的复杂类对，用计数预言器分离类比真正分离类更容易。

引用于2文件

MSC公司：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

关键词：

分离;塔利预言家
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Hemachandra}和\textit{R.S.Rubinstein}，Theor。计算。科学。92，编号2309-318（1992年；兹bl 074568048）
全文： 内政部

参考文献：

[1] 贝克，T。；吉尔·J。；Solovay，R.，\（P\）=？的相对论？核电厂问题，SIAM J.Compute。，4, 431-442 (1975) ·Zbl 0323.68033号
[2] Balcázar，J。；Book，R.，具有小广义Kolmogorov复杂性的集，信息学报。，23, 679-688 (1986) ·Zbl 0616.68046号
[3] Balcázar，J。；Book，R.公司。；Long，T。；美国施宁。；Selman，A.，《稀疏预言和统一复杂性类》，Proc。第25届IEEE交响曲。计算机科学基础，308-313（1984）
[4] Balcázar，J。；Book，R.公司。；Schöning，U.，多项式时间层次和稀疏预言，J.ACM，33，603-617（1986）·Zbl 0625.68033号
[5] Balcázar，J。；迪亚斯，J。；Gabarró，J.，结构复杂性II（EATCS理论计算机科学专著（1990），Springer）·Zbl 0574.68039号
[6] 布鲁姆，M。；Impagliazzo，R.，通用预言和预言类，Proc。第28届IEEE交响乐。计算机科学基础（1987）
[7] Book，R.，《走向相对化理论：积极相对化》（Proc.4th Ann.Symp.theory Aspects of Computer Science，Proc.4st Ann.Symp.Theoretical Aspectes of Computers，Teach Notes in Computer Science，247（1987），施普林格：施普林格-柏林），1-21·兹比尔0627.03020
[8] 女贞，D。；Crescenzi，P。；Silvestri，R.，《复杂性类和稀疏预言》，（技术报告CS-018⧸91（1991），罗马“拉萨皮恩扎”大学马特马蒂亚学院：马特马蒂亚学院，意大利罗马“拉萨皮恩扎”罗马大学）·Zbl 0837.68027号
[9] 女贞，D。；Crescenzi，P。；Silvestri，R.，《定义复杂性类的统一方法》（技术报告CS-017⧸91（1991），罗马“拉萨皮恩扎”大学马特马蒂亚学院：马特马蒂亚学院，意大利罗马“拉萨皮恩扎”罗马大学）·Zbl 0754.68049号
[10] 蔡，J。；冈德曼，T。；Hartmanis，J。；赫马钱德拉。；Sewelson，V。；Wagner，K。；Wechsung，G.，《布尔层次结构II：应用》，SIAM J.Compute。，18, 95-111 (1989) ·Zbl 0676.68012号
[11] 偶数，S。；塞尔曼，A。；Yacobi，Y.，公开密钥加密应用中承诺问题的复杂性，Inform。和控制，61159-173（1984）·Zbl 0592.94012号
[12] 福特诺，L。；Sipser，M.，《概率计算与线性时间》（Proc.21st ACM Symp.Theory of Computing（1989年5月），ACM Press），148-156
[13] 加瓦尔达，R。；Balcázar，J.，《稀疏集的强且强多项式时间可约性》，（第13交响曲，《计算机科学的数学基础》，第13交响曲，《计算科学的数学依据》，第324卷（1988），施普林格：施普林格柏林），300-308·Zbl 0662.03037号
[14] Gill，J.，概率图灵机的计算复杂性，SIAM J.Compute。，6, 675-695 (1977) ·Zbl 0366.02024号
[15] Gurevich，Y.，《可行函数的代数》，（第24届IEEE Symp.Foundations of Computer Science（1983），IEEE Computer Society Press:IEEE Compute Socility Press Silver Spring，MD），210-214
[16] Hartmanis，J。；Hemachandra，L.，单向函数与NP-完备集的非同构，理论。计算。科学。，81, 155-163 (1991) ·Zbl 0718.03031号
[17] Hartmanis，J。；Hemachandra，L.，《没有机器的复杂性类：关于UP的完整语言》，Theoret。计算。科学。，58, 129-142 (1988) ·Zbl 0655.68044号
[18] Hartmanis，J。；Hemachandra，L.，关于分离可行复杂性类的稀疏预言，Inform。过程。莱特。，28, 291-295 (1988) ·兹比尔0658.68055
[19] Hartmanis，J。；Theoret，Hemachandra，L.，健壮机器接受简单设置。计算。科学。，74, 217-226 (1990) ·Zbl 0701.68028号
[20] Hartmanis，J。；Immerman，N.，关于核电厂∩coNP公司，（Proc.12th Internet.Collo.Automata，Languages and Programming.Proc.12st Internet.Colo.Autotata，Langes，and Programmming，Letter Notes in Computer Science，Vol.194（1985），Springer:Springer Berlin），250-259·兹比尔0576.68032
[21] Heller，H.，《相对化指数和概率复杂性类》，Inform。和控制，71，231-243（1986）·Zbl 0628.68047号
[22] 赫马昌德拉。；Jain，S.，关于相对化和图灵全集的存在，（技术报告TR-297，14627（1989），罗切斯特大学计算机科学系：纽约州罗切斯特大学计算机科学系）
[23] 赫马昌德拉。；Jain，S.，《关于局部稳健正约简的局限性》（Proc.9th Conf.Foundations of Software Technology and Theory Computer Science，Proc.9st Conf.Foundation of Software技术和理论计算机科学，计算机科学讲义，第405卷（1989），Springer:Springer Berlin），193-203·Zbl 0731.03023号
[24] 霍默，S。；Selman，A.，《结构属性的预言：同构问题和公钥密码术》（Proc.4th Structure in Complexity Theory Conference（1989），IEEE Computer Society Press:IEEE Compute Socility Press Silver Spring，MD），3-14
[25] Immerman，N。；Mahaney，S.，相对化计算，理论。计算。科学。，68, 267-276 (1989) ·Zbl 0679.68084号
[26] Kadin，J.，（P^{NP[log n]}）和NP的稀疏图灵完备集，J.计算。系统科学。，39, 282-298 (1989) ·Zbl 0693.68027号
[27] Long，T.，强不确定多项式时间可约性，Theoret。计算。科学。，21, 1-25 (1982) ·Zbl 0521.03028号
[28] Long，T。；Selman，A.，用稀疏预言将复杂性类相对化，J.ACM，33，618-627（1986）
[29] Rackoff，C.，涉及概率算法的相对问题，J.ACM，29，261-268（1982）·Zbl 0477.68037号
[30] Regan，K.，《可证明复杂性属性和构造性推理》（1989），手稿
[31] Rubinstein，R.，《稀疏集的结构复杂性类：不可伸缩性、数据压缩和可打印性》（博士论文（1988），东北大学：马萨诸塞州波士顿东北大学）
[32] Selman，A.，Promise problems complete for complexity classes，Inform（承诺复杂类的问题完成）。和计算。，78, 87-98 (1988) ·Zbl 0655.68050号
[33] sipser，M.，《关于相对化和完备集的存在性》，（Proc.9th Internat.Collo.Automata，Languages，and Programming，Proc.9st Internat.Colo.Autotata，Langs，and Program，计算机科学讲稿，第140卷（1982），Springer:Springer Berlin）·兹比尔0515.68040
[34] Tardos，G.，《查询复杂性，或为什么很难用随机预言（A）将（NP^AcoNP^A）与（P^A）分开》，组合数学，9（1989）·Zbl 0698.68051号
[35] Valiant，L.，检查和评估的相对复杂性，Inform。过程。莱特。，5, 20-23 (1976) ·Zbl 0342.68028号
[36] Wilson，C.，相对电路复杂性，J.Compute。系统科学。，31, 169-181 (1985) ·Zbl 0583.68023号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。