弱长度归纳和慢增长深度布尔电路
摘要：在这篇论文中，我们定义了一种电路复杂度类别的层次结构LD^i，其中深度是Ackermann层次函数的倒数。然后我们引入了非常弱的长度归纳的版本，并构造了一个有界算术理论L^i\_2，其可证明为总函数恰好对应于LD^i电路可计算的函数。最后，我们证明了L^i\_2和一个更弱的理论AC^0CA之间的非保守性结果，后者对应于AC^0类别。我们的证明利用了KPT见证定理。
作者：Satoru Kuroda
论文ID：cs/9907022
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23