朱拉吉·赫罗姆科维奇 没有先知可以帮助解决的问题。 （英语） Zbl 0674.68031号 数学。系统。理论 24，第1期，第41-52页（1991年）. 介绍了一种新的复杂性度量方法，它反映了预言机为语言识别提供的信息量。研究了该度量与时空复杂度的权衡。研究表明，对于某些语言，没有预言（或者只有指数密度的预言——这取决于我们对信息复杂性度量的定义）可以帮助降低其时空复杂性。结果表明，该结果在一定程度上独立于所使用的机器模型（单磁带、多磁带或多头图灵机、RAM等）。审核人：J.霍姆科维奇 引用于1文件 MSC公司： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 68问题30 算法信息理论（Kolmogorov复杂性等） 2005年第68季度 计算模型（图灵机等）（MSC2010） 2015年3月1日 计算复杂性（包括隐式计算复杂性） 关键词：计算复杂度;相对化计算 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}，数学。系统。理论24，第1号，41-52（1991；Zbl 0674.68031） 全文： 内政部 参考文献： [1] Book，R.V.：走向相对化理论：积极相对化。In：程序。第四届STACS’87，《计算机科学讲义》，第247卷，施普林格-弗拉格出版社，柏林，1987年，第1-21页·Zbl 0627.03020号 [2] 科巴姆：完美正方形的识别问题。In：程序。第七届IEEE交响曲。关于SWAT，伯克利，1966年，第78-87页。 [3] Cook，S.：理论证明程序的复杂性。In：程序。第三届ACM STOC，1971年，第151-158页·Zbl 0253.68020号 [4] Hartmanis，J.：结构复杂性理论的新发展。在：过程。第15届ICALP’88，《计算机科学讲义》，第317卷，施普林格-弗拉格出版社，柏林，1988年，第271-286页·Zbl 0649.68047号 [5] Hromković，J.：单向多头确定性有限自动机。信息学报。，19 (1983), 377–384. ·doi:10.1007/BF00290734 [6] Hromković，J.：交替机器上语言识别的权衡。理论。计算。科学。，63 (1989), 203–221. ·Zbl 0667.68060号 ·doi:10.1016/0304-3975（89）90078-9 [7] Huynh，D.T.：硬语言的资源边界Kolmogorov复杂性。In:程序“复杂性理论中的结构”，《计算机科学讲义》，第223卷，施普林格-弗拉格出版社，柏林，1986年，第184-195页·Zbl 0611.68016号 [8] Kannan，R.：循环大小下限和不可约为稀疏集。通知。和控制，33（1982），40-56·兹伯利0537.94027 ·doi:10.1016/S0019-9958（82）90382-5 [9] Karp，R.：组合问题中的可约性。《计算机计算的复杂性》（R.E.Miller和J.W.Thatcher编辑），Plenum，纽约，1972年，第85-104页。 [10] 科尔莫戈罗夫，A.N.：定义信息量概念的三种方法。探针。通知。事务处理。，1 (1965), 1–7. ·Zbl 0271.94018号 [11] 里维斯特，A.L.和姚明，A.C.：k+1头是最好的感谢。J.协会计算。机器。，25 (1978), 337–340. ·Zbl 0372.68017号 [12] Schöning，U.：复杂性和结构。计算机科学讲义，第211卷，施普林格-弗拉格出版社，柏林，1986年·Zbl 0589.03022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。