czy wszystkie pytania, na które odpowiedź – jeśli się ją zna – można zweryfikować w czasie t, rozwiązanie – bez znajomości odpowiedzi – zabierze tyle samo czasu t (mierzonego poprzez złożoność obliczeniową)?​