Boolean circuit complexity measures the minimum number of AND, OR, and NOT gates needed to compute a function. Circuit lower bounds show that some functions (e.g., parity) require exponentially many gates, implying computational barriers. Proving strong circuit lower bounds for NP-complete problems would separate P from NP, making this a central frontier in complexity theory.
From your prior work with Boolean functions and circuits, you know that any function from {0,1}ⁿ to {0,1} can be computed by some circuit. The circuit complexity question asks: what is the *minimum* circuit size needed? This is the computational analogue of asking for the most efficient algorithm — except circuits are a *non-uniform* model, meaning you get a potentially different circuit for each input length n. There is no single machine that handles all inputs; instead, you have an infinite family of circuits C₁, C₂, C₃, … where Cₙ handles inputs of length n.
Circuit size is the total number of gates, and circuit depth is the length of the longest path from input to output. Size measures total work; depth measures parallelism. The central challenge is proving lower bounds — showing that some functions *must* use many gates. Upper bounds are easy: just exhibit a small circuit. Lower bounds require showing that *no* small circuit exists, which means reasoning about an exponentially large space of possible circuit designs.
The most celebrated lower bound result is for parity (XOR of all inputs) in the class AC⁰ — circuits of constant depth and polynomial size using unbounded fan-in AND and OR gates. Furst, Saxe, and Sipser (1984), later improved by Håstad, proved that parity requires exponential-size AC⁰ circuits. The proof uses a random restriction technique: randomly fix most input bits to 0 or 1, which simplifies the circuit, then show the simplified circuit is too simple to compute parity. This is a rare case where we can actually prove what a function *cannot* do.
The deeper goal — proving that NP-complete problems like SAT require super-polynomial circuit size — remains open. This would separate P from NP, since any problem solvable in polynomial time has polynomial-size circuits (one per input length). The obstacle is that all known lower bound techniques work only for *restricted* circuit classes (bounded depth, monotone gates, etc.). Proving lower bounds for general, unrestricted circuits requires techniques that do not yet exist, a barrier formalized by the "natural proofs" result of Razborov and Rudich. Circuit complexity thus sits at the intersection of combinatorics, probability, and deep open problems in complexity theory.
The key intuition to carry forward: circuit lower bounds are existence statements. To prove that a function f requires many gates, you must show that every circuit computing f is large — a universal claim over all possible circuit structures. This is genuinely harder than constructing one good circuit, and it requires tools (switching lemmas, communication complexity, algebraic methods) that go well beyond the gate-level reasoning used to construct circuits.
No topics depend on this one yet.