# BPP (complexity)

In computational complexity theory, **bounded-error probabilistic polynomial time** (**BPP**) is the class of decision problems solvable by a probabilistic Turing machine in polynomial time with an error probability bounded away from 1/3 for all instances.
**BPP** is one of the largest *practical* classes of problems, meaning most problems of interest in **BPP** have efficient probabilistic algorithms that can be run quickly on real modern machines. **BPP** also contains **P**, the class of problems solvable in polynomial time with a deterministic machine, since a deterministic machine is a special case of a probabilistic machine.

BPP algorithm (1 run) | ||
---|---|---|

Answer produced Correct answer |
Yes | No |

Yes | ≥ 2/3 | ≤ 1/3 |

No | ≤ 1/3 | ≥ 2/3 |

BPP algorithm (k runs) | ||

Answer producedCorrect answer |
Yes | No |

Yes | > 1 − 2^{−ck} |
< 2^{−ck} |

No | < 2^{−ck} |
> 1 − 2^{−ck} |

for some constant c > 0 |

Informally, a problem is in **BPP** if there is an algorithm for it that has the following properties:

- It is allowed to flip coins and make random decisions
- It is guaranteed to run in polynomial time
- On any given run of the algorithm, it has a probability of at most 1/3 of giving the wrong answer, whether the answer is YES or NO.

## Definition

A language *L* is in **BPP** if and only if there exists a probabilistic Turing machine *M*, such that

*M*runs for polynomial time on all inputs- For all
*x*in*L*,*M*outputs 1 with probability greater than or equal to ^{2}⁄_{3} - For all
*x*not in*L*,*M*outputs 1 with probability less than or equal to ^{1}⁄_{3}

Unlike the complexity class **ZPP**, the machine *M* is required to run for polynomial time on all inputs, regardless of the outcome of the random coin flips.

Alternatively, **BPP** can be defined using only deterministic Turing machines. A language *L* is in **BPP** if and only if there exists a polynomial *p* and deterministic Turing machine *M*, such that

*M*runs for polynomial time on all inputs- For all
*x*in*L*, the fraction of strings*y*of length*p*(|*x*|) which satisfy is greater than or equal to ^{2}⁄_{3} - For all
*x*not in*L*, the fraction of strings*y*of length*p*(|*x*|) which satisfy is less than or equal to ^{1}⁄_{3}

In this definition, the string *y* corresponds to the output of the random coin flips that the probabilistic Turing machine would have made. For some applications this definition is preferable since it does not mention probabilistic Turing machines.

In practice, an error probability of ^{1}⁄_{3} might not be acceptable, however, the choice of ^{1}⁄_{3} in the definition is arbitrary. It can be any constant between 0 and ^{1}⁄_{2} (exclusive) and the set **BPP** will be unchanged. It does not even have to be constant: the same class of problems is defined by allowing error as high as ^{1}⁄_{2} − *n*^{−c} on the one hand, or requiring error as small as 2^{−nc} on the other hand, where *c* is any positive constant, and *n* is the length of input. The idea is that there is a probability of error, but if the algorithm is run many times, the chance that the majority of the runs are wrong drops off exponentially as a consequence of the Chernoff bound.[1] This makes it possible to create a highly accurate algorithm by merely running the algorithm several times and taking a "majority vote" of the answers. For example, if one defined the class with the restriction that the algorithm can be wrong with probability at most ^{1}⁄_{2100}, this would result in the same class of problems.

## Problems

Unsolved problem in computer science:(more unsolved problems in computer science) |

All problems in **P** are obviously also in **BPP**. However, many problems have been known to be in **BPP** but not known to be in **P**. The number of such problems is decreasing, and it is conjectured that **P** = **BPP**.

For a long time, one of the most famous problems known to be in **BPP** but not known to be in **P** was the problem of determining whether a given number is prime. However, in the 2002 paper *PRIMES is in P*, Manindra Agrawal and his students Neeraj Kayal and Nitin Saxena found a deterministic polynomial-time algorithm for this problem, thus showing that it is in

**P**.

An important example of a problem in **BPP** (in fact in **co-RP**) still not known to be in **P** is polynomial identity testing, the problem of determining whether a polynomial is identically equal to the zero polynomial, when you have access to the value of the polynomial for any given input, but not to the coefficients. In other words, is there an assignment of values to the variables such that when a nonzero polynomial is evaluated on these values, the result is nonzero? It suffices to choose each variable's value uniformly at random from a finite subset of at least *d* values to achieve bounded error probability, where *d* is the total degree of the polynomial.[2]

## Related classes

If the access to randomness is removed from the definition of **BPP**, we get the complexity class **P**. In the definition of the class, if we replace the ordinary Turing machine with a quantum computer, we get the class **BQP**.

Adding postselection to **BPP**, or allowing computation paths to have different lengths, gives the class **BPP**_{path}.[3] **BPP**_{path} is known to contain **NP**, and it is contained in its quantum counterpart **PostBQP**.

A Monte Carlo algorithm is a randomized algorithm which is likely to be correct. Problems in the class **BPP** have Monte Carlo algorithms with polynomial bounded running time. This is compared to a Las Vegas algorithm which is a randomized algorithm which either outputs the correct answer, or outputs "fail" with low probability. Las Vegas algorithms with polynomial bound running times are used to define the class **ZPP**. Alternatively, **ZPP** contains probabilistic algorithms that are always correct and have expected polynomial running time. This is weaker than saying it is a polynomial time algorithm, since it may run for super-polynomial time, but with very low probability.

## Complexity-theoretic properties

It is known that **BPP** is closed under complement; that is, **BPP** = **co-BPP**. **BPP** is low for itself, meaning that a **BPP** machine with the power to solve **BPP** problems instantly (a **BPP** oracle machine) is not any more powerful than the machine without this extra power. In symbols, **BPP**^{BPP} = **BPP**.

The relationship between **BPP** and **NP** is unknown: it is not known whether **BPP** is a subset of **NP**, **NP** is a subset of **BPP** or neither. If **NP** is contained in **BPP**, which is considered unlikely since it would imply practical solutions for NP-complete problems, then **NP** = **RP** and **PH** ⊆ **BPP**.[4]

It is known that **RP** is a subset of **BPP**, and **BPP** is a subset of **PP**. It is not known whether those two are strict subsets, since we don't even know if **P** is a strict subset of **PSPACE**. **BPP** is contained in the second level of the polynomial hierarchy and therefore it is contained in **PH**. More precisely, the Sipser–Lautemann theorem states that . As a result, **P** = **NP** leads to **P** = **BPP** since **PH** collapses to **P** in this case. Thus either **P** = **BPP** or **P** ≠ **NP** or both.

Adleman's theorem states that membership in any language in **BPP** can be determined by a family of polynomial-size Boolean circuits, which means **BPP** is contained in **P/poly**.[5] Indeed, as a consequence of the proof of this fact, every **BPP** algorithm operating on inputs of bounded length can be derandomized into a deterministic algorithm using a fixed string of random bits. Finding this string may be expensive, however.
Some weak separation results for Monte Carlo time classes were proven by Karpinski & Verbeek (1987), see also
.[6]

### Closure properties

The class BPP is closed under complementation, union and intersection.

### Relativization

Relative to oracles, we know that there exist oracles A and B, such that **P**^{A} = **BPP**^{A} and **P**^{B} ≠ **BPP**^{B}. Moreover, relative to a random oracle with probability 1, **P** = **BPP** and **BPP** is strictly contained in **NP** and **co-NP**.[7]

There is even an oracle in which BPP=EXP^{NP} (and hence P<NP<BPP=EXP=NEXP),[8] which can be iteratively constructed as follows. For a fixed E^{NP} (relativized) complete problem, the oracle will give correct answers with high probability if queried with the problem instance followed by a random string of length *kn* (*n* is instance length; *k* is an appropriate small constant). Start with *n*=1. For every instance of the problem of length *n* fix oracle answers (see lemma below) to fix the instance output. Next, provide the instance outputs for queries consisting of the instance followed by *kn*-length string, and then treat output for queries of length ≤(*k*+1)*n* as fixed, and proceed with instances of length *n*+1.

**Lemma:** Given a problem (specifically, an oracle machine code and time constraint) in relativized E^{NP}, for every partially constructed oracle and input of length *n*, the output can be fixed by specifying 2^{O(n)} oracle answers.

**Proof:** The machine is simulated, and the oracle answers (that are not already fixed) are fixed step-by-step. There is at most one oracle query per deterministic computation step. For the relativized NP oracle, if possible fix the output to be yes by choosing a computation path and fixing the answers of the base oracle; otherwise no fixing is necessary, and either way there is at most 1 answer of the base oracle per step. Since there are 2^{O(n)} steps, the lemma follows.

The lemma ensures that (for a large enough *k*), it is possible to do the construction while leaving enough strings for the relativized E^{NP} answers. Also, we can ensure that for the relativized E^{NP}, linear time suffices, even for function problems (if given a function oracle and linear output size) and with exponentially small (with linear exponent) error probability. Also, this construction is effective in that given an arbitrary oracle A we can arrange the oracle B to have P^{A}≤P^{B} and EXP^{NPA}=EXP^{NPB}=BPP^{B}. Also, for a ZPP=EXP oracle (and hence ZPP=BPP=EXP<NEXP), one would fix the answers in the relativized E computation to a special nonanswer, thus ensuring that no fake answers are given.

## Derandomization

The existence of certain strong pseudorandom number generators is conjectured by most experts of the field. This conjecture implies that randomness does not give additional computational power to polynomial time computation, that is, **P** = **RP** = **BPP**. Note that ordinary generators are not sufficient to show this result; any probabilistic algorithm implemented using a typical random number generator will always produce incorrect results on certain inputs irrespective of the seed (though these inputs might be rare).

László Babai, Lance Fortnow, Noam Nisan, and Avi Wigderson showed that unless **EXPTIME** collapses to **MA**, **BPP** is contained in[9]

The class **i.o.-SUBEXP**, which stands for infinitely often **SUBEXP**, contains problems which have sub-exponential time algorithms for infinitely many input sizes. They also showed that **P** = **BPP** if the exponential-time hierarchy, which is defined in terms of the polynomial hierarchy and **E** as **E ^{PH}**, collapses to

**E**; however, note that the exponential-time hierarchy is usually conjectured

*not*to collapse.

Russell Impagliazzo and Avi Wigderson showed that if any problem in **E**, where

has circuit complexity 2^{Ω(n)} then **P** = **BPP**.[10]

## References

- Valentine Kabanets, CMPT 710 - Complexity Theory: Lecture 16, October 28, 2003
- Madhu Sudan and Shien Jin Ong. Massachusetts Institute of Technology: 6.841/18.405J Advanced Complexity Theory: Lecture 6: Randomized Algorithms, Properties of BPP. February 26, 2003.
- BPPpath in Complexity Zoo
- Lance Fortnow and Bill Gasarch, Pulling Out The Quantumness, December 20, 2005
- Adleman, L. M. (1978). "Two theorems on random polynomial time".
*Proceedings of the Nineteenth Annual IEEE Symposium on Foundations of Computing*. pp. 75–83. - Karpinski, Marek; Verbeek, Rutger (1987). "On the Monte Carlo space constructible functions and separation results for probabilistic complexity classes".
*Information and Computation*.**75**(2): 178–189. doi:10.1016/0890-5401(87)90057-5. - Bennett, Charles H.; Gill, John (1981), "Relative to a Random Oracle A, P^A != NP^A != co-NP^A with Probability 1",
*SIAM Journal on Computing*,**10**(1): 96–113, doi:10.1137/0210008, ISSN 1095-7111 - Heller, Hans (1986), "On relativized exponential and probabilistic complexity classes",
*Information and Control*,**71**(3): 231–243, doi:10.1016/S0019-9958(86)80012-2 - Babai, László; Fortnow, Lance; Nisan, Noam; Wigderson, Avi (1993). "
**BPP**has subexponential time simulations unless**EXPTIME**has publishable proofs".*Computational Complexity*.**3**: 307–318. doi:10.1007/bf01275486. - Russell Impagliazzo and Avi Wigderson (1997). "
**P**=**BPP**if E requires exponential circuits: Derandomizing the XOR Lemma".*Proceedings of the Twenty-Ninth Annual ACM Symposium on Theory of Computing*, pp. 220–229. doi:10.1145/258533.258590

- Valentine Kabanets (2003). "CMPT 710 – Complexity Theory: Lecture 16". Simon Fraser University.
- Christos Papadimitriou (1993).
*Computational Complexity*(1st ed.). Addison Wesley. ISBN 0-201-53082-1. Pages 257–259 of section 11.3: Random Sources. Pages 269–271 of section 11.4: Circuit complexity. - Michael Sipser (1997).
*Introduction to the Theory of Computation*. PWS Publishing. ISBN 0-534-94728-X. Section 10.2.1: The class BPP, pp. 336–339. - Karpinski, Marek; Verbeek, Rutger (1987). "Randomness, provability and the separation of Monte Carlo Time and space".
*Lecture Notes in Computer Science*.**270**: 189–207. - Arora, Sanjeev; Boaz Barak (2009). "Computational Complexity: A Modern Approach".