Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Amplifying Lower Bounds by Means of Self-Reducibility

Summary: Amplifying Lower Bounds by Means of
Rutgers University
Academy of Sciences of the Czech Republic
We observe that many important computational problems in NC1 share a simple self-reducibility
property. We then show that, for any problem A having this self-reducibility property, A has
polynomial-size TC0 circuits if and only if it has TC0 circuits of size n1+ for every > 0 (counting
the number of wires in a circuit as the size of the circuit). As an example of what this observation
yields, consider the Boolean Formula Evaluation problem (BFE), which is complete for NC1 and
has the self-reducibility property. It follows from a lower bound of Impagliazzo, Paturi, and Saks,
that BFE requires depth d TC0 circuits of size n1+ d . If one were able to improve this lower bound
to show that there is some constant > 0 (independent of the depth d) such that every TC0 circuit
family recognizing BFE has size at least n1+ , then it would follow that TC0 = NC1. We show
that proving lower bounds of the form n1+ is not ruled out by the Natural Proof framework of
Razborov and Rudich and hence there is currently no known barrier for separating classes such
as ACC0, TC0 and NC1 via existing "natural" approaches to proving circuit lower bounds.
We also show that problems with small uniform constant-depth circuits have algorithms that


Source: Allender, Eric - Department of Computer Science, Rutgers University


Collections: Computer Technologies and Information Sciences