×
拉米亚，拉米亚；丹尼尔·利万特

分枝共现和日志空间。 （英语） Zbl 1342.68139号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276247-261（2011）。
摘要：过去二十年来，自由代数上的Ramified递归被用于提供主要复杂类的机器相关特征。这里我们考虑双重设置的分支，指的是共导数据和共现，而不是归纳数据和重复。
虽然分支递归基本上与可行时间（PTime）复杂性有关，但我们在这里表明分支同余从根本上与可行空间有关。实际上，两层分支共递归函数正是可在对数空间中计算的流上的函数。在这里，我们根据输出而不是输入来定义流上计算的复杂性，即作为\（n\）的函数来计算输出的第\（n\）个条目的复杂性。在日志空间中可计算的流函数类似乎具有独立的理论和实践意义。
我们证明了流函数可以由两层中的分支余流定义，如果它可以由换能器在被计算的输出符号位置上以空间对数运算的流上计算。结果是，有限流上的两层分支共递归函数在通常意义上恰好是对数空间函数。
有关整个系列，请参见[Zbl 1281.68036号].

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

MSC公司：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

关键词：

共性数据；流自动机；共同货币；惰性同余电流；分支；对数空间；隐含计算复杂性
PDF格式BibTeX公司 XML格式引用
\textit{R.Ramyaa}和\textit{D.Leivant}，电子。注释Theor。计算。科学。276247--261（2011；Zbl 1342.68139）
全文： 内政部

参考文献：

[1] Allouche，J.P。；Shallit，J.，《自动序列：理论、应用、推广》（2003），剑桥大学出版社，第152-153页·Zbl 1086.11015号
[2] 斯蒂芬·贝兰托尼。谓词递归与计算复杂性; 斯蒂芬·贝兰托尼。预测递归与计算复杂性·Zbl 0766.68037号
[3] 斯蒂芬·贝兰托尼（Stephen Bellantoni）；Stephen Cook，多时间函数的新递归理论表征，计算复杂性，297-110（1992）·Zbl 0766.68037号
[4] 纪尧姆·邦芬特。日志空间和ptime的一些编程语言。在AMAST公司; 纪尧姆·邦芬特。一些用于logspace和ptime的编程语言。在AMAST公司·Zbl 1236.68074号
[5] Michael J.Burrell、Robin Cockett和Brian F.Redmond。Pola：一种ptime编程语言。在逻辑和计算复杂性，研讨会论文集; Michael J.Burrell、Robin Cockett和Brian F.Redmond。Pola：一种ptime编程语言。在逻辑和计算复杂性，研讨会论文集
[6] 彼得，克洛特；Takeuti，Gaisi，nc的有界算法，alogtime，l和nl，Ann.Pure Appl。逻辑，56，1-3，73-117（1992）·Zbl 0772.03028号
[7] 斯蒂芬·库克。；Rackoff，Charles，受限机器上迷宫线程化的空间下限，SIAM J.Compute。，9, 3, 636-652 (1980) ·Zbl 0445.68038号
[8] 斯蒂芬·库克。；阿拉斯代尔·厄克哈特（Alasdair Urquhart），《可行构造算术的功能解释》，《纯粹逻辑与应用逻辑年鉴》，63，103-200（1993）·Zbl 0780.03026号
[9] 雨果·弗雷（Hugo Férée）、伊曼纽尔·海因里（Emmanuel Hainry）、马修·霍洛普（Mathieu Hoyrup）和罗曼·佩乔（Romain Péchoux）。流程序的解释：表征2型多项式时间复杂性。在国际会计准则委员会; 雨果·弗雷（Hugo Férée）、伊曼纽尔·海因里（Emmanuel Hainry）、马修·霍洛普（Mathieu Hoyrup）和罗曼·佩乔（Romain Péchoux）。流程序的解释：表征2型多项式时间复杂性。在国际会计准则委员会·Zbl 1311.03068号
[10] 马可·加博阿迪（Marco Gaboardi）；Péchoux，Romain，流程序的全球和本地空间属性，（第一届资源分析基础和实际方面国际会议论文集。第一届资源研究基础和实际问题国际会议论文集中，FOPARA’09（2010），斯普林格·弗拉格：柏林斯普林格尔·弗拉格，海德堡），51-66·Zbl 1305.68055号
[11] Hartmanis，Juris，《关于简单计算设备中的不确定性》，Acta Inf.，1336-344（1972）·Zbl 0229.68014号
[12] Jones、Neil D.、Logspace和ptime以编程语言为特征、Theor。计算。科学。，228151-174（1999年10月）·兹比尔0954.68075
[13] Kristiansen，Lars，对数空间和linspace的Neat函数代数表征，计算复杂性，14，72-88（2005）·Zbl 1161.68477号
[14] 丹尼尔·利万特（Daniel Leivant），《Ramified recurrence and computation complexity I:Word Recurrent and poly-time》（拉米化递归与计算复杂性I：单词递归与多时间），（彼得·克洛特（Peter Clote）；杰弗里·雷梅尔（Jeffrey Remmel），《可行性数学II》（Feasible Mathematics II），《计算机科学展望》（1994），伯克豪斯-·Zbl 0844.03024号
[15] 丹尼尔·利万特（Daniel Leivant）；Marion，Jean-Yves，Ramified recurrence and Computeration complexity ii:Substitution and poly-space，（莱泽克·帕霍尔斯基；杰奇·蒂尔林，《计算机科学逻辑》，计算机科学讲义，第933卷（1995），施普林格：施普林格-柏林和海德堡），486-500·Zbl 1044.03526号
[16] 约翰·林德；Albert R.Meyer，《对数空间可计算函数的表征》，SIGACT News，5，26-29（1973）
[17] 彼得·默勒·尼尔加德。对数空间的函数语言。在阿普拉斯; 彼得·莫勒·内尔加德。对数空间的函数语言。在阿普拉斯·Zbl 1116.68377号
[18] Oitavem，Isabel，《没有界限的对数空间》（Schindler，Ralf，《证明理论的方式》，《证明论的方式》（Ways of Proof Theory），《数学逻辑中的Ontos系列》（2010），Ontos Verlag），第355-362页·Zbl 1233.03047号
[19] Ramyaa Ramyaa和Daniel Leivant。共归纳数据上的可行函数。在逻辑、语言、信息和计算讲习班; 拉米亚·拉米亚和丹尼尔·利万特。共归纳数据上的可行函数。在逻辑、语言、信息和计算讲习班·Zbl 1305.68088号
[20] Reutenauer，Christophe，《次序列函数：特征化，最小化，示例》，（Dassow，Jürgen；Kelemen，Jozef，IMYCS.IMYCS，计算机科学讲义，第464卷（1990），Springer），62-79·Zbl 0735.68001号
[21] Rutten，Jan J.M.M.，《自动化共聚（一种联合布拉的练习）》，（Sangiorgi，Davide；de Simone，Robert，第九届并行理论国际会议，第九次计算机科学国际会议，1466卷（1998），Springer），194-218·Zbl 0940.68085号
[22] 沃尔特·萨维奇（Walter J.Savitch）和保罗·M.B.维坦伊（Paul M.B.Vitányi）。具有头对头跳跃的多头图灵机的线性时间模拟。在ICALP公司; 沃尔特·萨维奇（Walter J.Savitch）和保罗·M.B.维坦伊（Paul M.B.Vitányi）。具有头对头跳跃的多头图灵机的线性时间模拟。在ICALP公司·Zbl 0353.68074号
[23] 乌尔里希·舍尔（Ulrich Schöpp.）。对数空间的分层有界仿射逻辑。在低收入国家; 乌尔里希·舍尔（Ulrich Schöpp.）。对数空间的分层有界仿射逻辑。在低收入国家
[24] 库尔特·施瓦特（Kurt Schütte），《证明理论》（1977），《斯普林格-弗拉格：柏林斯普林格》（Springer-Verlag Berlin）·Zbl 0367.02012
[25] 塔尔莫乌斯塔卢；Vene、Varmo、Primitive（co）递归和course-of-value（co。阿卡德。科学。，10, 5-26 (1999) ·Zbl 0935.68011号
[26] Varmo Vene和Tarmo Uustalu。带无形态（同位词）的函数式编程。在第九届北欧规划理论研讨会; Varmo Vene和Tarmo Uustalu。带无形态（同位词）的函数编程。在第九届北欧规划理论研讨会·Zbl 0963.68028号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。