×
Ko、Ker-I

通过健壮的预言机提供帮助。 （英语） Zbl 0635.68039号

西奥。计算。科学。 52, 15-36 (1987).
帮助使用健壮的oracle Turing机器（TM）的概念是由U.Schöning公司【Theor.Comput.Sci.40，57-66（1985；Zbl 0574.68041号)]. 如果当oracle更改其对TM查询的答案时，输入（x）上的输出没有更改，则oracle TM是健壮的。因此，oracle只能影响机器使用的计算时间。据说，如果机器使用该预言机在多项式时间内运行，则预言机有助于增强TM的健壮性。Schöning已经观察到NP中帮助集的一些有趣的结构性质。
本文还观察到了更多的情况。例如，类\（\mathrm{UP}\cap\mathrm{co-UP}\）帮助精确地在同一类中进行集合，其中UP是可由明确的NP机器计算的集合类[L.G.瓦利安，Inf.过程。莱特。5, 20–23 (1976;Zbl 0342.68028号)]. 研究了帮助的新概念，如片面帮助、自助，并与复杂性理论的其他标准概念，如自可约性和稀疏性进行了比较。从帮助的角度出发，对这些标准复杂性概念的几个已知属性进行了反驳。
审核人：Ker-I Ko公司

引用于三评论
引用于25文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2005年第68季度 计算模型（图灵机等）（MSC2010）
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

关键词：

帮助;健壮的oracle Turing机器;核电厂;复杂性理论;自我教育能力;稀疏

引文：

Zbl 0574.68041号;Zbl 0342.68028号
PDF格式BibTeX公司 XML格式引用
\文本{K.-I Ko}，Theor。计算。科学。52、15--36（1987年；Zbl 0635.68039）
全文： 内政部

参考文献：

[1] Adleman，L.，关于随机多项式时间的两个定理，Proc。IEEE第19交响乐团。《计算机科学基础》，75-83（1978）
[2] 伯曼，L。；Hartmanis，J.，《关于NP和其他完备集的同构和密度》，SIAM J.Compute。，6, 305-327 (1977) ·Zbl 0356.68059号
[3] 库克，S.A.，《理论证明程序的复杂性》，Proc。第三交响乐团。计算理论，151-158（1971）·Zbl 0253.68020号
[4] Gill，J.，概率图灵机的计算复杂性，SIAM J.Compute。，6, 675-695 (1977) ·Zbl 0366.02024号
[5] 卡普·R·M。；Lipton，R.J.，《非均匀复杂性类和均匀复杂性类之间的一些联系》，Proc。第12届ACM交响乐团。《计算理论》，302-309（1980）
[6] Ko，K.，《关于自我还原性和弱选择性》，J.Compute。系统科学。，26, 209-221 (1983) ·Zbl 0519.68062号
[7] Ko，K。；Schöning，U.，《关于NP中的电路规模复杂性和低层次结构》，SIAM J.Compute。，14, 41-51 (1985) ·Zbl 0562.68033号
[8] Mahaney，S.，NP的稀疏完备集：Berman和Hartmanis，J.Comput猜想的解。系统科学。，25, 130-143 (1982) ·Zbl 0493.68043号
[9] 梅耶，A。；Paterson，M.，显然难以解决的问题出现的频率是多少？（1979），麻省理工学院计算机科学实验室：麻省理学院剑桥分校计算机科学实验室。，麻省理工学院/LCS/TM-126
[10] Schöning，U.，NP中的低层次和高层次，J.Compute。系统科学。，27, 14-28 (1983) ·Zbl 0515.68046号
[11] Schöning，U.，《稳健算法：神谕的不同方法》，Theoret。计算。科学。，40, 57-66 (1985) ·Zbl 0574.68041号
[12] Schöning，U.，《复杂性与结构》（计算机科学讲义，211（1986），施普林格：施普林格柏林）·Zbl 0872.68048号
[13] Selman，A.L.，《半递归集与NP复杂性研究的有效可约性的类比》，Inform。和控制，52，36-51（1982）·Zbl 0504.03022号
[14] Selman，A.L.，《关于NP和公钥密码系统中自然自约集的评论》（1984），爱荷华州立大学，手稿
[15] Valiant，L.G.，检查和评估的相对复杂性，Inform。过程。莱特。，5, 20-23 (1976) ·Zbl 0342.68028号
[16] Wrathall，C.，《完备集与多项式时间层次》，《定理》。计算。科学。，3, 23-33 (1977) ·兹伯利0366.02031
[17] Zachos，S.，概率量词、对手和复杂性类：概述，（Proc.Conf.on Structure in complexity Theory，Proc.Conf on Structural in Complessity Theory.计算机科学讲义，223（1986），Springer:Springer-Berlin），383-400·Zbl 0632.03035号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。