Sei die Klasse der Entscheidungsprobleme mit einem beschränkten zweiseitigen fehlerzufälligen Algorithmus, der in der Zeit O ( f ( n ) ) abläuft .
Kennen wir jedes Problem , so dass Q ∈ B P T I M E ( n k ) aber Q ∉ D T I M E ( n k ) ? Ist ihre Nichtexistenz bewiesen?
Diese Frage wurde auf cs.SE hier gestellt , aber keine zufriedenstellende Antwort erhalten.