Fonte primaria per l'equivalenza del tempo polinomiale non deterministico e la verifica del tempo polinomiale deterministico

Chi è stato il primo a dimostrare che una lingua è in NP se un certificato per la lingua può essere verificato in tempo polinomiale? Abbiamo un documento che lo dimostra formalmente? Quando la comunità TCS ha iniziato a de-enfatizzare il non determinismo a favore della verificabilità? Non riesco, per la mia vita, a trovare un buon riferimento per questo oltre a testi come Papadimitriou e Arora e Barak.

reference-request

— Logan Mayfield
fonte

[Un commento esteso] Penso che le "radici della verifica" siano già contenute nel documento cardine di Karp "Riducibilità fra i problemi combinatori" (1972):

$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)}$

Esiste una caratterizzazione alternativa di NP in termini di macchine di Turing non deterministiche ... [definizione del calcolo di una macchina di Turing non deterministica] ...

$L \in NP$ $L$

— Marzio De Biasi
fonte

A me sembra così. Non dovevo aver esaminato attentamente il documento di Karp perché pensavo che se gli fosse stata attribuita l'equivalenza di cui si sarebbe parlato insieme a tutto ciò che faceva in quel documento.

— Logan Mayfield,