Probabilistyczny system zapobiegania jest powszechnie określany jako ograniczenie M A , gdy Arthur można wykorzystać tylko f ( n ) losowe fragmenty i może jedynie zbadanie g ( n ) bitów certyfikat potwierdzający przesłany przez Merlin (patrz: http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).
Jednak w 1990 r. Babai, Fortnow i Lund udowodnili, że , więc nie jest to dokładnie ograniczenie. Jakie są parametry ( f ( n ) , g ( n ) ), dla których P C P [ f ( n ) , g ( n ) ?
źródło