Deterministik olmayan polinom zamanının denkliği ve deterministik polinom zamanı doğrulaması için birincil kaynak

Bir dil sertifikası polinom zamanında doğrulanabilirse, bir dilin NP'de olduğunu gösteren ilk kişi kimdi? Bunu resmi olarak kanıtlayan bir makalemiz var mı? TCS topluluğu ne zaman doğrulanabilirlik lehine determinizmi vurgulamaya başladı? Benim için, Papadimitriou, Arora ve Barak gibi metinlerin ötesinde bunun için iyi bir referans bulamıyorum.

[Genişletilmiş yorum] Bence "doğrulama kökleri" zaten Karp'ın kilometre taşı makalesi "Kombinatoryal Sorunlar Arasında İndirgenebilirlik" (1972) içinde yer almaktadır:

$P^{(2)}$$\Sigma^* \times \Sigma^*$$L^{(2)} \in P^{(2)}$$p$$L$

$L = \{ x \mid$$y$$\langle x,y \rangle \in L^{(2)}$$\log(y) \leq p(\log(x)) \}$

$y$

$L$$L^{(2)}$$p$

$NP$$P^{(2)}$

Belirsiz Turing makineleri açısından NP'nin alternatif bir karakterizasyonu vardır ... [belirsiz bir Turing makinesinin hesaplanması tanımı] ...

ve

$L \in NP$$L$