On the Circuit-Size of inverses

@article{Birget2011OnTC,
  title={On the Circuit-Size of inverses},
  author={Jean-Camille Birget},
  journal={Int. J. Found. Comput. Sci.},
  year={2011},
  volume={22},
  pages={1925-1938}
}
We reprove a result of Boppana and Lagarias: If Π P 2 Σ P 2 then there exists a partial function f that is computable by a polynomial-size family of circuits, but no inverse of f is computable by a polynomial-size family of circuits. We strengthen this result by showing that there exist length-preserving total functions that are one-way by circuit size and… CONTINUE READING