RP (complexity)
In computational complexity theory, randomized polynomial time (RP) is the complexity class of problems for which a probabilistic Turing machine exists with these properties:
RP algorithm (1 run)  

Answer produced Correct
answer 
Yes  No 
Yes  ≥ 1/2  ≤ 1/2 
No  0  1 
RP algorithm (n runs)  
Answer produced Correct
answer 
Yes  No 
Yes  ≥ 1 − 2^{−n}  ≤ 2^{−n} 
No  0  1 
coRP algorithm (1 run)  
Answer produced Correct
answer 
Yes  No 
Yes  1  0 
No  ≤ 1/2  ≥ 1/2 
 It always runs in polynomial time in the input size
 If the correct answer is NO, it always returns NO
 If the correct answer is YES, then it returns YES with probability at least 1/2 (otherwise, it returns NO).
In other words, the algorithm is allowed to flip a truly random coin while it is running. The only case in which the algorithm can return YES is if the actual answer is YES; therefore if the algorithm terminates and produces YES, then the correct answer is definitely YES; however, the algorithm can terminate with NO regardless of the actual answer. That is, if the algorithm returns NO, it might be wrong.
Some authors call this class R, although this name is more commonly used for the class of recursive languages.
If the correct answer is YES and the algorithm is run n times with the result of each run statistically independent of the others, then it will return YES at least once with probability at least 1 − 2^{−n}. So if the algorithm is run 100 times, then the chance of it giving the wrong answer every time is lower than the chance that cosmic rays corrupted the memory of the computer running the algorithm.^{[1]} In this sense, if a source of random numbers is available, most algorithms in RP are highly practical.
The fraction 1/2 in the definition is arbitrary. The set RP will contain exactly the same problems, even if the 1/2 is replaced by any constant nonzero probability less than 1; here constant means independent of the input to the algorithm.
Contents
Formal definition[edit]
A language L is in RP 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 ^{1}⁄_{2}
 For all x not in L, M outputs 0
Alternatively, RP can be defined using only deterministic Turing machines. A language L is in RP 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 ^{1}⁄_{2}
 For all x not in L, and all strings y of length p(x),
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.
Related complexity classes[edit]
The definition of RP says that a YES answer is always right and that a NO answer might be wrong (because a question with the YES answer can be sometimes answered NO). In other words, while NO questions are always answered NO, you cannot trust the NO answer, it may be a mistaken answer to a YES question. The complexity class coRP is similarly defined, except that NO is always right and YES might be wrong. In other words, it accepts all YES instances but can either accept or reject NO instances. The class BPP describes algorithms that can give incorrect answers on both YES and NO instances, and thus contains both RP and coRP. The intersection of the sets RP and coRP is called ZPP. Just as RP may be called R, some authors use the name coR rather than coRP.
Connection to P and NP[edit]
Unsolved problem in computer science: (more unsolved problems in computer science)

P is a subset of RP, which is a subset of NP. Similarly, P is a subset of coRP which is a subset of coNP. It is not known whether these inclusions are strict. However, if the commonly believed conjecture P = BPP is true, then RP, coRP, and P collapse (are all equal). Assuming in addition that P ≠ NP, this then implies that RP is strictly contained in NP. It is not known whether RP = coRP, or whether RP is a subset of the intersection of NP and coNP, though this would be implied by P = BPP.
A natural example of a problem in coRP currently not known to be in P is Polynomial Identity Testing, the problem of deciding whether a given multivariate arithmetic expression over the integers is the zeropolynomial. For instance, x·x − y·y − (x + y)·(x − y) is the zeropolynomial while x·x + y·y is not.
An alternative characterization of RP that is sometimes easier to use is the set of problems recognizable by nondeterministic Turing machines where the machine accepts if and only if at least some constant fraction of the computation paths, independent of the input size, accept. NP on the other hand, needs only one accepting path, which could constitute an exponentially small fraction of the paths. This characterization makes the fact that RP is a subset of NP obvious.
See also[edit]
References[edit]
 ^ This comparison is attributed to Michael O. Rabin on p. 252 of Gasarch, William (2014), "Classifying Problems into Complexity Classes", in Memon, Atif, Advances in Computers, Vol. 95 (PDF), Academic Press, pp. 239–292.
This article needs additional citations for verification. (October 2014) (Learn how and when to remove this template message) 