BQP is the class of languages L {0, 1}* for which there exists a uniform family of polynomial-size quantum circuits, {Cn}, such that for all x {0, 1}n: if x L, then Cn accepts input |x|0...0 with probability at least . if x L, then Cn accepts input |x|0...0 with probability at most .
