统一与对数空间
摘要：利用基于统一化的组合法，我们提出了对复杂性类Logspace和Nlogspace进行代数特征化的方法。这种新的统一化和复杂性类之间的桥梁根植于证明理论，更具体地说是线性逻辑和交互几何。我们展示了如何在统一化代数中构建一种计算模型，并通过代数中有限排列的语法表示，证明了能够在对数空间内决定一个观测（即程序的代数对应）是否接受一个字。最后，我们证明了这种构造自然地对应于指针机器，这是一种理解对数空间计算的便捷方法。
作者：Cl''ement Aubert and Marc Bagnol
论文ID：1805.11988
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22