Wer hat als erster gezeigt, dass eine Sprache in NP ist, wenn ein Zertifikat für die Sprache in polynomialer Zeit verifiziert werden kann? Haben wir ein Papier, das dies formal beweist? Wann begann die TCS-Community, Nichtdeterminismus zugunsten der Überprüfbarkeit zu de-betonen? Über Texte wie Papadimitriou und Arora und Barak hinaus kann ich für mein Leben keine gute Referenz dafür finden.
quelle