指令序列和非均匀复杂性理论
摘要：关于非一致复杂性的理论研究：单通指令序列在程序代数中被视为核心概念。我们定义了复杂性类P/poly和NP/poly的对应物，并形式化了复杂性理论猜想，即NP不包含在P/poly中。此外，我们定义了一个与非一致可约关系相关的NP/poly对应物的完备性概念，并提出了关于计算中使用的指令序列限制的复杂性假设。我们认为，所开发的理论为研究非一致复杂性问题提供了一种额外的方法。
作者：J. A. Bergstra, C. A. Middelburg
论文ID：0809.0352
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-07-15