Ho due domande storiche:
Chi ha descritto per primo il calcolo non deterministico?
So che Cook ha descritto problemi NP-completi e che Edmonds ha proposto che gli algoritmi P siano algoritmi "efficienti" o "buoni".
Ho cercato questo articolo di Wikipedia e ho scremato "Sulla complessità computazionale degli algoritmi", ma non sono riuscito a trovare alcun riferimento a quando il calcolo non deterministico è stato discusso per la prima volta.
Qual è stato il primo riferimento alla classe NP? Era la carta di Cook del 1971?