Typowe przykłady problemów trudnych dla NP (klika, 3-SAT, osłona wierzchołków itp.) Są tego typu, w którym nie wiemy, czy odpowiedź brzmi „tak” czy „nie” wcześniej. Załóżmy, że mamy problem, w którym wiemy, że odpowiedź brzmi tak, a ponadto możemy zweryfikować świadka w czasie wielomianowym. Czy...
10
Czy znalezienie świadka może być trudne, nawet jeśli już wiemy, że istnieje?