×
卡尔·海因茨·奈格尔；亨宁·旺德利希

重温FPTIME和NC的隐含特征。 （英语） Zbl 1192.68299号

J.日志。阿尔盖布。程序。 79，第1号，47-60（2010）.
总结：给出了复杂度类FPTIME和NC的各种简化或改进、部分修正的已知隐式特征。主要的兴趣在于简化相应（隐式）框架中各种递归方案所需的模拟，并基于逐步比较技术以更统一的方式开发这些模拟，从而巩固隐式计算复杂性的基础。

引用于三文件

MSC公司：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

递归的有界形式和分支形式；函数代数；隐式计算复杂性；数控；多项式时间可计算性
PDF格式BibTeX公司 XML格式引用
\textit｛K.-H.Niggl｝和\textit｛H.Wunderlich｝，J.日志。阿尔盖布。程序。79，第1号，47--60（2010；Zbl 1192.68299）
全文： 内政部 链接

参考文献：

[1] K.Aehlig，J.Johannsen，H.Schwichtenberg，S.Terwijn，线性分支高类型递归和并行复杂性，技术报告17，Mittag-Leffer-Institute，2000年。；K.Aehlig，J.Johannsen，H.Schwichtenberg，S.Terwijn，线性分支高类型递归和并行复杂性，技术报告17，Mittag-Leffer-Institute，2000年·Zbl 1024.68041号
[2] K.Aehlig，J.Johannsen，H.Schwichtenberg，S.Terwijn，线性分支高类型递归和并行复杂性，收录于：R.Kahle，P.Schroeder-Heister，R.Stärk（编辑），计算机科学中的证明理论，计算机科学讲义，第2183卷，Springer，2001年，第1-21页。；K.Aehlig，J.Johannsen，H.Schwichtenberg，S.Terwijn，线性分支高类型递归和并行复杂性，收录于：R.Kahle，P.Schroeder-Heister，R.Stärk（编辑），计算机科学中的证明理论，计算机科学讲义，第2183卷，Springer，2001年，第1-21页·兹比尔1024.68041
[3] S.Bellantoni，预测递归与计算复杂性，多伦多大学计算机科学系博士论文，1992年。；S.Bellantoni，预测递归与计算复杂性，多伦多大学计算机科学系博士论文，1992年。
[4] 贝兰托尼，S。；库克，S.，多时间函数的一种新的递归理论表征，计算。复杂性，297-110（1992）·Zbl 0766.68037号
[5] 贝兰托尼，S。；Niggl，K.-H.，《排列基本递归：重访低Grzegorczyk类》，SIAM J.Compute。，29, 2, 401-415 (2000) ·Zbl 0939.03042号
[6] 贝兰托尼，S。；奈格尔，K.-H。；Schwichtenberg，H.，《高等类型递归、分支和多项式时间》，《纯应用年鉴》。逻辑，104，2，17-30（2000）·Zbl 0959.03027号
[7] Bloch，S.A.，对数和多对数并行时间的函数代数特征，计算。复杂性，4175-205（1994）·Zbl 0813.68099号
[8] G.Bonfante，R.Kahle，J.-Y.Marion，I.Oitavem，《迈向（NC^k）的隐含表征》，载于：Z.ésik（编辑），CSL，《计算机科学讲义》，第4207卷，Springer，2006年，第212-224页。；G.Bonfante，R.Kahle，J.-Y.Marion，I.Oitavem，《迈向（NC^k）的隐含表征》，载于：Z.ésik（编辑），CSL，《计算机科学讲义》，第4207卷，Springer，2006年，第212-224页·Zbl 1225.68091号
[9] P.Clote，并行复杂性类（ALogTIME，AC^k，NC^k）的顺序、机器相关特征数控，摘自：P.J.Scott，S.R.Buss（编辑），MSI可行数学研讨会，Birkhäuser，1990年，第49-69页。；P.Clote，并行复杂性类（ALogTIME，AC^k，NC^k）的顺序、机器相关特征数控，摘自：P.J.Scott，S.R.Buss（编辑），MSI可行数学研讨会，Birkhäuser，1990年，第49-69页·Zbl 0765.68034号
[10] Clote，P.，计算模型和函数代数，（Griffor，E.R.，《可计算性理论手册》（1999），Elsevier Science B.V.），589-681·Zbl 0942.68049号
[11] A.Cobham，《函数的内在计算困难》，载于：Y.Bar-Hillel（编辑），《1964年逻辑、方法论和科学哲学国际会议论文集》，北荷兰，1964年，第24-30页。；A.Cobham，《函数的内在计算困难》，载于：Y.Bar-Hillel（Ed.），《1964年逻辑、方法论和科学哲学国际会议论文集》，北荷兰，1964年，第24-30页。
[12] M.Hofmann，多项式时间计算的类型系统，博士论文，达姆施塔特工业大学，1998年。；M.Hofmann，《多项式时间计算的类型系统》，达姆施塔特科技大学博士论文，1998年。
[13] Hofmann，M.，线性类型和非增倍多项式时间计算，Inform。和计算。，183, 1, 57-85 (2003) ·Zbl 1054.68065号
[14] L.Kristiansen，K.-H.Niggl，《命令式编程语言的计算复杂性》，J.-Y.Marion（Ed.），《隐含计算复杂性专刊》，Theor。计算。科学。，第318卷（1-2），爱思唯尔，2004年，第139-161页。；L.Kristiansen，K.-H.Niggl，《命令式编程语言的计算复杂性》，J.-Y.Marion（Ed.），《隐含计算复杂性专刊》，Theor。计算。科学。，第318卷（1-2），爱思唯尔，2004年，第139-161页·兹比尔1048.03030
[15] D.Leivant，自由代数上的次递归和lambda表示，收录于：S.Buss，P.Scott（编辑），可行性数学，计算机科学中的透视，Birkhäuser，波士顿，纽约，1990年，第281-291页。；D.Leivant，自由代数上的次递归和lambda表示，收录于：S.Buss，P.Scott（编辑），可行性数学，计算机科学中的透视，Birkhäuser，波士顿，纽约，1990年，第281-291页·Zbl 0772.03020号
[16] D.Leivant，《计算可行性的基本描述》，摘自：《第六届IEEE计算机科学逻辑会议论文集》（阿姆斯特丹），IEEE计算机社会出版社，华盛顿特区，1991年。；D.Leivant，《计算可行性的基本描述》，摘自：《第六届IEEE计算机科学逻辑会议论文集》（阿姆斯特丹），IEEE计算机社会出版社，华盛顿特区，1991年。
[17] D.Leivant，Ramified recurrence and computerative complexity I:word recurrent and poly-time，in：P.Clote，J.Remmel（Eds.），可行性数学II，Birkhäuser，波士顿，1994年，第320-343页。；D.Leivant，Ramified recurrence and computational complexity I:word recurrent and poly-time，in：P.Clote，J.Remmel（Eds.），可行性数学II，Birkhäuser，波士顿，1994年，第320-343页·Zbl 0844.03024号
[18] Leivant，D。；Marion，J.-Y.，《多重时间的Lambda演算特征》，基金会。通知。，19, 1/2, 167-184 (1993) ·Zbl 0781.68059号
[19] Niggl，K.-H.，作为计算复杂性分类工具的μ度量，Arch。数学。逻辑，39，7，515-539（2000）·兹伯利0964.03041
[20] K.-H.Niggl，《多时间函数的新递归理论表征》，载于：S.Bellantoni，S.Cook（编辑），多时间函数和相关复杂性类的术语重写表征，载于《符号逻辑公报》，第6卷（3），2000年，第351-353页。；K.-H.Niggl，《多元时间函数的新递归理论表征》，载于：S.Bellantoni，S.Cook（编辑），《多元函数和相关复杂性类的术语重写表征》，收录于：A.Beckmann，A.Weiermann（编辑）《评论》，《符号逻辑公报》，第6卷（3），2000年，第351-353页。
[21] K.-H.Niggl，《程序中的控制结构和计算复杂性》，《习惯化论文》，法国理工信息研究所，伊尔梅瑙理工大学，2001年。网址：<http://eiche.theoinf.tu-ilmenau.de/黑色/>。；K.-H.Niggl，《程序中的控制结构和计算复杂性》，《习惯化论文》，法国理工信息研究所，伊尔梅瑙理工大学，2001年。网址：<http://eiche.theoinf.tu-ilmenau.de/niggl/>。
[22] Niggl，K.-H.，《程序中的控制结构和计算复杂性》，Ann.Pure Appl。逻辑，133，1-3，247-273（2005）·Zbl 1064.68029号
[23] 奈格尔，K.-H。；Wunderlich，H.，证明命令式程序的多项式时间和线性/多项式空间，SIAM J.Compute。，35, 5, 1122-1147 (2006) ·Zbl 1100.68035号
[24] Oitavem，I.，初等函数和多项式空间中可计算函数的新递归特征，数学版。完成。，10, 1, 109-125 (1997) ·Zbl 0872.03028号
[25] Simmons，H.，《原始递归领域》，Arch。数学。逻辑，27177-188（1988）·Zbl 0659.03025号
[26] H.Wunderlich，Syntaktische Charakterisierungen effizient berechenbarer Funktitonen，伊利梅诺理工大学信息学院文凭论文，2003年。；H.Wunderlich，Syntaktische Charakterierungen efficient berechenbarer Funktionen，伊尔梅瑙工业大学信息理论研究所文凭论文，2003年。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。