2 research outputs found
On Uniformity and Circuit Lower Bounds
AbstractâWe explore relationships between circuit complexity, the complexity of generating circuits, and algorithms for analyzing circuits. Our results can be divided into two parts: 1. Lower Bounds Against Medium-Uniform Circuits. Informally, a circuit class is âmedium uniform â if it can be generated by an algorithmic process that is somewhat complex (stronger than LOGTIME) but not infeasible. Using a new kind of indirect diagonalization argument, we prove several new unconditional lower bounds against medium uniform circuit classes, including: âą For all k, P is not contained in P-uniform SIZE(n k). That is, for all k there is a language Lk â P that does not have O(n k)-size circuits constructible in polynomial time. This improves Kannanâs lower bound from 1982 that NP is not in P-uniform SIZE(n k) for any fixed k