拉德纳，R.E。;北卡罗来纳州林奇。;塞尔曼，A.L。 多项式时间可约性的比较。 （英语） Zbl 0321.68039号 西奥。计算。科学。 1, 103-123 (1975). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于144文件 MSC公司： 65年第68季度 算法和问题复杂性分析 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Ladner}等人，Theor。计算。科学。1、103--123（1975年；Zbl 0321.68039） 全文： 内政部 参考文献： [1] T.Baker、J.Gill和R.Solovay，《PNP的相关性》；T.Baker、J.Gill和R.Solovay，《PNP的相关性》·Zbl 0323.68033号 [2] Cook，S.A.，定理证明过程的复杂性，第三届ACM计算理论年度研讨会（1971）·Zbl 0363.68125号 [3] 霍普克罗夫特，J.E。；Ullman，J.D.，《形式语言及其与自动机的关系》（1969年），《艾迪森·韦斯利：艾迪生·韦斯利阅读》，马萨诸塞州·Zbl 0196.01701号 [4] Jones，N.D.，对数N空间中组合问题的可约性，Proc。第七届普林斯顿信息科学与系统年会（1973年） [5] Karp，R.M.，组合问题中的可约性，（Miller；Thatcher，《计算机计算的复杂性》（1973），Plenum出版社：Plenum Press New York）·兹伯利0366.68041 [6] Ladner，R.E.，《关于多项式时间可约性的结构》，J.ACM，22（1975）·Zbl 0322.68028号 [7] 林奇，N.A.，计算复杂性理论的相对化，（博士论文（1972），M.I.T）·Zbl 0353.68059号 [8] A.R.Meyer，《私人通信》。；A.R.Meyer，私人通信。 [9] Meyer，A.R。；Stockmeyer，L.J.，带平方的正则表达式的等价问题需要指数空间，第13届IEEE交换与自动机理论年会（1972） [10] Meyer，A.R。；Stockmeyer，L.J.，需要指数时间的单词问题，第五届计算理论年会（1973）·Zbl 0359.68050号 [11] Post，E.L.，正整数的递归可枚举集及其决策问题，Bull。AMS，50（1944）·Zbl 0063.06328号 [12] Rogers，M.，递归函数和有效可计算性理论（1967），McGraw-Hill:McGraw-Hill纽约·Zbl 0183.01401号 [13] Savage，J.E.，有限机器上的计算功和时间，J.ACM，9，4（1972）·Zbl 0251.68031号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。