W większości probabilistycznych systemów dowodowych (na przykład twierdzenie PCP) prawdopodobieństwa błędów są zwykle definiowane po stronie fałszywie dodatnich, tj. Typowa definicja może wyglądać tak: jeśli to weryfikator zawsze przyjmuje, ale w w innym przypadku prawdopodobieństwo odrzucenia wynosi co najmniej 1/2.
Czy istnieje problem z dopuszczeniem wystąpienia błędu po drugiej stronie? Oznacza to, że weryfikator zawsze odrzuca, kiedy powinien, i robi tylko stały błąd, gdy musi zaakceptować. Inną oczywistą możliwością jest dopuszczenie błędu po obu stronach. Czy te definicje będą równoważne definicji zwykle podawanej? Czy zachowują się inaczej? A jeśli tak, to czy istnieje prawdziwy problem z dopuszczeniem błędów po drugiej stronie.?
Odpowiedzi:
Dopuszczenie błędu kompletności nie stanowi problemu i często jest brane pod uwagę. Oto kilka wskazówek .
Z drugiej strony, ogólnie mówiąc, niedopuszczenie błędu dźwiękowego znacznie usuwa moc modelu.
W przypadku interaktywnych systemów dowodowych niedopuszczenie błędu dźwiękowego powoduje, że interakcja jest bezużyteczna, z wyjątkiem jednokierunkowej komunikacji od weryfikatora do weryfikatora; to znaczy, IP o doskonałej głośności jest równy NP. Można to pokazać, rozważając maszynę NP, która zgaduje losowe bity weryfikatora oraz transkrypcję interakcji, która sprawia, że weryfikator akceptuje [FGMSZ89].
W przypadku systemów probabilistycznie sprawdzalnych (PCP) to samo rozumowanie pokazuje, że wymaganie doskonałej dźwiękowości sprawia, że losowość jest bezużyteczna przy wyborze lokalizacji do zapytania. Dokładniej, można wykazać, że PCP ( r ( n ), q ( n )) z kompletnością c ( n ) i doskonałą solidnością (nawet przy zapytaniach adaptacyjnych) jest równy klasie C problemów decyzyjnych A = ( A tak , A no ), dla którego istnieje język B ⊆ {0,1} * × {0,1} * × {0,1} * w P, taki że
gdzie n = | x |. (Należy zauważyć, że w definicji klasy C przypadek „tak” nie wymaga przygotowania całego certyfikatu, zanim weryfikator wybierze losowy ciąg y , w przeciwieństwie do zwykłej definicji systemu PCP. Certyfikat można przygotować po znajomości y i potrzebna jest tylko kwerenda części certyfikatu, dlatego długość z wynosi q ( n ).) W połączeniu z prostymi dolnymi granicami oznacza to:
Porównując je z twierdzeniami PCP PCP (log, O (1)) = NP i PCP (poli, O (1)) = NEXP, widzimy, że wymaganie doskonałej solidności ma ogromny wpływ.
[FGMSZ89] Martin Fürer, Oded Goldreich, Yishay Mansour, Michael Sipser i Stathis Zachos. O kompletności i solidności w interaktywnych systemach proof. W Randomness and Computation , tom. 5 z Advances in Computing Research , str. 429–442, 1989. http://www.wisdom.weizmann.ac.il/~oded/PS/fgmsz.ps
źródło