Valiant–Vazirani theorem

Unambiguous-SAT is the promise problem of deciding whether a given Boolean formula that has at most one satisfying assignment is unsatisfiable or has exactly one satisfying assignment. In the first case, an algorithm for Unambiguous-SAT should reject, and in the second it should accept the formula. If the formula has more than one satisfying assignment, then there is no condition on the behavior of the algorithm. The promise problem Unambiguous-SAT can be decided by a nondeterministic Turing machine that has at most one accepting computation path. In this sense, this promise problem belongs to the complexity class UP (which is usually only defined for languages).

The proof of the Valiant–Vazirani theorem consists of a probabilistic reduction from SAT to SAT such that, with probability at least ${\displaystyle \Omega (1/n)}$, the output formula has at most one satisfying assignment, and thus satisfies the promise of the Unambiguous-SAT problem. More precisely, the reduction is a randomized polynomial-time algorithm that maps a Boolean formula ${\displaystyle F(x_{1},\dots ,x_{n})}$ with ${\displaystyle n}$ variables ${\displaystyle x_{1},\dots ,x_{n}}$ to a Boolean formula ${\displaystyle F'(x_{1},\dots ,x_{n})}$ such that

• every satisfying assignment of ${\displaystyle F'}$ also satisfies ${\displaystyle F}$, and
• if ${\displaystyle F}$ is satisfiable, then, with probability at least ${\displaystyle \Omega (1/n)}$, ${\displaystyle F'}$ has a unique satisfying assignment ${\displaystyle (a_{1},\dots ,a_{n})}$.

By running the reduction a polynomial number ${\displaystyle t}$ of times, each time with fresh independent random bits, we get formulas ${\displaystyle F'_{1},\dots ,F'_{t}}$. Choosing ${\displaystyle t=O(n)}$, we get that the probability that at least one formula ${\displaystyle F'_{i}}$ is uniquely satisfiable is at least ${\displaystyle 1/2}$ if ${\displaystyle F}$ is satisfiable. This gives a Turing reduction from SAT to Unambiguous-SAT since an assumed algorithm for Unambiguous-SAT can be invoked on the ${\displaystyle F'_{i}}$. Then the self-reducibility of SAT can be used to compute a satisfying assignment, should it exist. Overall, this proves that NP = RP if Unambiguous-SAT can be solved in RP.

The idea of the reduction is to intersect the solution space of the formula ${\displaystyle F}$ with ${\displaystyle k}$ random affine hyperplanes over ${\displaystyle {\text{GF}}(2)^{n}}$, where ${\displaystyle k\in \{1,\dots ,n\}}$ is chosen uniformly at random. An alternative proof is based on the isolation lemma by Mulmuley, Vazirani, and Vazirani. They consider a more general setting, and applied to the setting here this gives an isolation probability of only ${\displaystyle \Omega (1/n^{8})}$.