RP es la clase de problemas que puede resolver una máquina de Turing no determinista que termina en tiempo polinómico, pero también se permite un error unilateral. P es la clase habitual de problemas que puede resolver una máquina de Turing determinista que termina en tiempo polinómico.
P = RP se deriva de una relación en la complejidad del circuito. Impagliazzo y Wigderson demostraron que P = BPP sigue si algún problema que puede decidirse en tiempo exponencial determinista también requiere circuitos de tamaño exponencial (tenga en cuenta que P = BPP implica P = RP). Quizás debido a estos resultados, parece haber una sensación entre algunos teóricos de la complejidad de que las reducciones probabilísticas probablemente pueden ser aleatorizadas.
¿Qué otra evidencia específica hay de que P = RP?