通过群作用刻画 co-NL
计算机科学中的逻辑
2015-01-23 v4 计算复杂性
摘要
在最近的一篇论文中，Girard 提出以一种创新的方式利用其最近在超有限因子中构建的交互几何（geometry of interaction）来刻画复杂度类。我们首先详细解释 Girard 定义的选择及其动机。随后，我们提供完整证明，表明使用该新方法可以刻画复杂度类 co-NL。我们引入了一种技术工具：非确定性指针机，这是一种用于计算算法的具体模型。
引用
@article{arxiv.1209.3422,
title = {Characterizing co-NL by a group action},
author = {Clément Aubert and Thomas Seiller},
journal= {arXiv preprint arXiv:1209.3422},
year = {2015}
}
备注
To appear in Mathematical Structures in Computer Science