逆元的电路规模
摘要：存在一种部分函数f, 可由多项式规模的电路族计算，但没有f的逆函数可以由多项式规模的电路族计算，这个结果为Boppana和Lagarias所得出。我们通过展示有一些保持长度的全函数，它们是通过电路大小进行一次性计算的，并且可以在统一多项式时间内计算出来，从而加强了这个结果。此外，我们还证明，如果Pi\_2^P与Sigma\_2^P不同，则存在多项式平衡的总满射函数，通过电路大小是一次性的；在这里，我们使用了非统一性。
作者：Jean-Camille Birget
论文ID：0912.3730
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-02-25