关于逆的电路规模
计算复杂性
2011-02-25 v2
摘要
我们重新证明了Boppana和Lagarias的一个结果：如果Pi_2^P不同于Sigma_2^P，则存在一个可由多项式规模电路族计算的偏函数f，但f的逆函数无法由多项式规模电路族计算。我们通过证明存在保长的全函数，这些函数在电路规模意义上是单向的，并且可在一致多项式时间内计算，从而加强了这一结果。我们还证明，如果Pi_2^P不同于Sigma_2^P，则存在多项式平衡的全满射函数，它们在电路规模意义上是单向的；这里使用了非一致性。
引用
@article{arxiv.0912.3730,
title = {On the circuit-size of inverses},
author = {Jean-Camille Birget},
journal= {arXiv preprint arXiv:0912.3730},
year = {2011}
}
备注
8 pages