Nguồn chính cho sự tương đương của thời gian đa thức không xác định và xác minh thời gian đa thức xác định

Ai là người đầu tiên cho thấy một ngôn ngữ nằm trong NP nếu chứng chỉ cho ngôn ngữ có thể được xác minh trong thời gian đa thức? Chúng ta có một bài báo chính thức chứng minh điều này? Khi nào thì cộng đồng TCS bắt đầu không nhấn mạnh đến tính không xác định có lợi cho tính xác minh? Đối với cuộc sống của tôi, tôi không thể tìm thấy một tài liệu tham khảo tốt cho vấn đề này ngoài các văn bản như Papadimitriou và Arora và Barak.

[Một bình luận mở rộng] Tôi nghĩ rằng "gốc rễ của xác minh" đã được chứa trong bài viết quan trọng của Karp "Tính khả thi trong các vấn đề kết hợp" (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)}$

Có một đặc tính thay thế của NP về các máy Turing không điều kiện ... [định nghĩa tính toán của máy Turing không điều kiện] ...

và

$L \in NP$$L$