×
克莱门·奥伯特;托马斯·塞勒

对数空间和排列。 （英语） Zbl 1339.68095号

Inf.计算。 248, 2-21 (2016).
摘要：在最近的一项工作中，Girard提出了一种基于证明-程序对应的计算复杂性的新的创新方法。在之前的一篇论文[“通过群体行动表征co-NL”中，《数学结构计算科学》26，第4期，606–638（2016；doi:10.1017/S0960129514000267)]，作者展示了Girard的提议是如何成功地获得co-NL语言的一个新的表征，即作用在Hilbert空间上的一组运算符。在本文中，我们通过证明也可以定义一组表征对数空间语言类L的算子来扩展这项工作。

引用于5文件

MSC公司：

2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
03楼52 线性逻辑和其他子结构逻辑的理论证明

关键词：

线性逻辑;复杂性;相互作用几何;指针式机器;有限自动机;对数空间
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{T.Seiller}，Inf.Compute。248，2--21（2016；Zbl 1339.68095）
全文： 内政部 arXiv公司

参考文献：

[1] Girard，J.-Y.，《逻辑中的规范性》，（Dybjer，P.；Lindström，S.；Palmgren，E.；Sundholm，G.，《认识论与本体论》。《认识论对本体论》，《逻辑、认识论与科学的统一》，第27卷（2012），斯普林格出版社），243-263·Zbl 1314.03051号
[2] 奥伯特，C。；Seiller，T.，《通过群体行动表征co-nl》，数学。结构。计算。科学。，1-33 (2014)
[3] Danos，V。；Joinet，J.-B.，线性逻辑与初等时间，Inf.Compute。，183, 1, 123-137 (2003) ·Zbl 1019.03039号
[4] Schöpp，U.，对数空间的分层有界仿射逻辑，（LICS（2007），IEEE计算机学会），411-420
[5] Terui，K.，《证明网络和布尔电路》（LICS（2004），IEEE计算机学会），182-191年
[6] Girard，J.-Y.，《走向相互作用的几何》（Gray，J.W.；Ščedrov，a.），《AMS-IMS-SIAM联合夏季研究会议论文集》，1987年6月14日至20日。AMS-IMS-SIAM联合夏季研究会议记录。AMS-IMS-SIAM联合夏季研究会议记录，1987年6月14-20日，《计算机科学和逻辑分类》，第92卷（1989），美国数学学会，69-108
[7] Girard，J.-Y.，交互几何V：超有限因子中的逻辑，Theor。计算。科学。，412, 20, 1860-1883 (2011) ·Zbl 1230.03093号
[8] Girard，J.-Y.，《交互几何1：系统F的解释》，《发现逻辑研究》。数学。，127, 221-260 (1989) ·Zbl 0686.03030号
[9] Gonthier，G。；阿巴迪，M。；Lévy，J.-J.，最佳λ减少的几何，（Sethi，R.，POPL（1992），ACM出版社），15-26
[10] Lamping，J.，最佳lambda演算约简算法，（Allen，F.E.，POPL（1990），计算机协会，ACM出版社），16-30
[11] Baillot，P。；Pedicini，M.，《相互作用的基本复杂性和几何》，Fundam。通知。，45, 1-2, 1-31 (2001) ·Zbl 0973.03033号
[12] Hartmanis，J.，《简单计算设备中的不确定性》，《信息学报》。，1, 4, 336-344 (1972) ·兹比尔0229.68014
[13] 霍尔泽，M。；库特里布，M。；Malcher，A.，《多头有限自动机：特征、概念和开放问题》，（Neary，T.；Woods，D.；Seda，A.K.；Murphy，N.，CSP.《理论计算机科学电子论文集》，第1卷（2008）），93-107·Zbl 1456.68089号
[14] Seiller，T.，《交互图：乘法》，Ann.Pure Appl。日志。，163, 1808-1837 (2012) ·Zbl 1252.03143号
[15] Takesaki，M.，《算子代数理论1》，《数学科学百科全书》，第124卷（2001年），Springer·兹比尔0990.46034
[16] Takesaki，M.，《算子代数理论2》，《数学科学百科全书》，第125卷（2003年），Springer·Zbl 0990.46034号
[17] Takesaki，M.，《算子代数理论3》，《数学科学百科全书》，第127卷（2003），斯普林格出版社·Zbl 0990.46034号
[18] Seiller，T.，《Logique dans le facteur hyperfini:gémeterie de l’interaction et complexité》（2012），梅迪特勒大学博士论文
[19] Rosenberg，A.L.，《关于多头有限自动机》，IBM J.Res.Dev.，10，5，388-394（1966）·Zbl 0168.01303号
[20] Immerman，N.，非确定性空间在互补下闭合，（CoCo（1988），IEEE计算机学会），112-115·Zbl 0668.68056号
[21] Maher，P.J.，关于广义逆的一些算子不等式，Ill.J.Math。，34, 3, 503-514 (1990) ·Zbl 0733.47001号
[22] Seiller，T.，《相互作用图：添加剂》，Ann.Pure Appl。日志。，167, 2, 95-154 (2016) ·Zbl 1433.03148号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。