RP ist die Klasse von Problemen, die von einer nichtdeterministischen Turing-Maschine entschieden werden können, die in Polynomzeit endet, aber auch einseitige Fehler zulässt. P ist die übliche Klasse von Problemen, die von einer deterministischen Turing-Maschine entschieden werden kann, die in der Polynomzeit endet.
P = RP ergibt sich aus einer Beziehung in der Schaltungskomplexität. Impagliazzo und Wigderson zeigten, dass P = BPP folgt, wenn für ein Problem, das in der deterministischen Exponentialzeit entschieden werden kann, auch Schaltkreise mit Exponentialgröße erforderlich sind (beachten Sie, dass P = BPP P = RP impliziert). Vielleicht scheint es aufgrund dieser Ergebnisse unter einigen Komplexitätstheoretikern das Gefühl zu geben, dass probabilistische Reduktionen wahrscheinlich derandomisiert werden können.
Welche anderen spezifischen Beweise gibt es für P = RP?