×
克劳斯·瓦格纳。

关于计数和递归之间关系的一些观察。 （英语） Zbl 0637.03034号

理论。计算。科学。 47, 131-147 (1986).
让#P成为L.G.瓦利安[同上8189-201（1979；Zbl 0415.68008号)]在不确定多项式时间计算中计数可接受路径数的所有函数的类。通过定义0#P\（=P\）和\（k+I）\#P\）为所有函数的类，作者引入了函数的多项式时间层次结构，这些函数计算了非确定多项式时间机器的接受路径数，这些机器具有来自k#P的函数作为预言符（因此I#P\。对于\（PHCF=\cup\{k\#P:\）\（k\geq0\}\），发生以下夹杂物：\[P\substeq 0\#P\substeq I\#P\substeq。。。\substeq PHCF \ substeq-PSPACE。\]PHCF与P类关于替换和求和运算的闭包一致。PHCF类可以由基本函数\（\{+，-，\cdot，：\}\）通过替换、弱有界基元递归和弱乘积（这里的弱表示“达到递归所依据的参数的长度”）生成。
审核人：G.B.Marandzjan先生

引用于1审查
引用于17文件

理学硕士：

2015年3月1日 计算复杂性（包括隐式计算复杂性）

关键词：

计数功能;接受路径;非确定性多项式时间计算;多项式时间函数族;神谕

引文：

Zbl 0415.68008号
PDF格式BibTeX公司 XML格式引用
\textit{K.W.Wagner}，Theor（西奥）。计算。科学。47131-147（1986年；兹bl 0637.03034）
全文： 内政部

参考文献：

[1] Anguin，D.，《关于计数问题和多项式时间层次》，Theoret。计算。科学。，12, 161-173 (1980) ·Zbl 0499.68020号
[2] Cobham，A.，《函数的内在计算复杂性》（Proc.1964 Internat.Congress on Logic，Mathematics and Philosophy of Science，1964），24-30
[3] Constable，R.L.，第二类计算复杂性，（第五届美国计算机学会计算理论研讨会（1973）），108-121·Zbl 0306.68022号
[4] 弗里德曼，H.，《关于最大化和积分的计算复杂性》，《数学进展》。，53, 80-98 (1984) ·Zbl 0563.03023号
[5] Gill，J.，概率图灵机的计算复杂性，SIAM J.Compute。，6, 675-695 (1977) ·Zbl 0366.02024号
[6] Grzegorczyk，A.，递归函数的一些类，Rozprawy Matematiczne，IV，1-45（1953）·Zbl 0052.24902号
[7] Kalmár，L.，Egyszerüpélda eldönthretlen aritmetikai problémáre，Matematikais Fizikai Lapok，50，1-23（1943）·Zbl 0063.03115号
[8] Ko，K.-I.，关于一些自然完备算子，Theoret。计算。科学。，37, 1-30 (1985) ·Zbl 0576.68033号
[9] Lautemann，C.，BBP和多项式时间层次结构，Inform。过程。莱特。，17, 215-217 (1983) ·Zbl 0515.68042号
[10] Monien，B.，指数时间语言的递归和语法特征，Theoret。计算。科学。，3, 61-74 (1977) ·Zbl 0355.68056号
[11] Papadimitriou，C。；Zachos，S.K.，《关于计数能力的两点评论》（1982年），手稿·Zbl 0506.68039号
[12] Ritchie，R.W.，可预测可计算函数类，Trans。阿默尔。数学。《社会学杂志》，106137-173（1963）·Zbl 0107.01001号
[13] Simon，J.，《论一与多的区别》（Proc.4th Internat.Colloq.On Automata Languages and Programming，Proc.4st Internat.Coloq.On Automata Languages and Program，计算机科学课堂讲稿，52（1977）），480-491·Zbl 0364.68066号
[14] Sipser，M.，《随机性的复杂性理论方法》，（第15届美国计算机学会计算理论研讨会（1983年），第330-335页）
[15] Stockmeyer，L.J.，多项式时间层次，理论。计算。科学。，3, 1-22 (1977) ·兹比尔0353.02024
[16] Stockmeyer，L.J.，《近似计数的复杂性》（Proc.15th ACM Symp.on Theory of Computing（1983）），118-126
[17] 汤普森，D.B.，《次递归性：有限时间和存储中机器依赖的可计算性概念》，《数学》。系统理论，6，3-15（1972）·Zbl 0229.68013号
[18] Valiant，L.G.，计算永久性的复杂性，理论。计算。科学。，8, 181-201 (1979) ·Zbl 0415.68008号
[19] Valiant，L.G.，枚举和可靠性问题的复杂性，SIAM J.Compute。，8, 410-421 (1979) ·Zbl 0419.68082号
[20] Wagner，K.W.，《有界递归和复杂性类》（Proc.8th Symp.on Mathematical Foundations of Computer Science，Proc.8st Symp.on Mathematical Foundations-of Computers，Teach Notes in Computer Science，74（1979）），492-498·兹比尔0409.03021
[21] Wagner，K.W.，《紧凑描述和计数多项式时间层次》（Proc.2nd Frege Conf.Proc.2rd Frege Conf，Schwerin（1984）），383-392·Zbl 0554.68032号
[22] Wagner，K.W.，《具有简洁输入表示的组合问题的复杂性》，《信息学报》。，23, 325-356 (1986) ·Zbl 0621.68032号
[23] 瓦格纳，K.W。；Wechsung，G.，《计算复杂性》（1986年），《德意志联邦德国：柏林联邦德国和多德雷赫特联邦德国》（Deutscher Verlag der Wissenschaften Berlin）·Zbl 0584.68061号
[24] 姚，A.C.，《用预言分离多项式时间层次》（Proc.26 Ann.Symp.Foundations of Computer Science（1985））
[25] 扎科斯，S。；Heller，H.，《BBP的决定性特征》（1985），手稿
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。