Ai giới thiệu tính toán không phá hủy?

Tôi có hai câu hỏi lịch sử:

Ai là người đầu tiên mô tả tính toán không điều kiện?

Tôi biết rằng Cook đã mô tả các vấn đề hoàn chỉnh NP và Edmonds đề xuất rằng thuật toán P là thuật toán "hiệu quả" hoặc "tốt".

Tôi đã tìm kiếm này bài viết trên Wikipedia và lướt "Trên tính toán phức tạp của thuật toán", nhưng không thể tìm thấy bất kỳ tài liệu tham khảo để tính toán khi không xác định lần đầu tiên được thảo luận.

Tài liệu tham khảo đầu tiên cho NP lớp là gì? Có phải đó là giấy năm 1971 của Cook?

Tôi đã luôn luôn thấy khái niệm về chủ nghĩa không thuyết phục trong tính toán được quy cho Michael Rabin và Dana Scott. Họ đã định nghĩa automata hữu hạn không điều kiện trong bài báo nổi tiếng Finite Automata và các vấn đề quyết định của họ , 1959. Trích dẫn giải thưởng Turing của Rabin cũng cho thấy Rabin và Scott đã giới thiệu các máy không phá hủy.

Dưới đây là những gì Odifreddi nói về vấn đề này:

"Mô hình máy Turing của chúng tôi mang tính quyết định, theo nghĩa là các hướng dẫn bắt buộc phải nhất quán (nhiều nhất là một trong số chúng có thể áp dụng trong mọi tình huống nhất định). Các yếu tố ngẫu nhiên trong các thiết bị điện toán được Shannon giới thiệu sớm từ năm 1948] và De Leeuw, Moore, Shannon và Shapiro [1956]. Về cơ bản có hai mô hình. Các máy Turing không điều kiện hoạt động, trong một tình huống mơ hồ có thể áp dụng các hướng dẫn xung đột, bằng cách chọn ngẫu nhiên một trong số chúng: sức mạnh tính toán của chúng, ít nhất là 0, Các hàm (bộ) có giá trị 1, không vượt quá sức mạnh của các hàm xác định. Các máy xác suất khác với các hàm không xác định ở trạng thái tiếp theo có xác suất và do đó các lệnh xung đột không có cùng cơ hội được chọn bởi máy. "
[P Odifreddi, Lý thuyết đệ quy cổ điển, Tập. 1, trang 50]

Lưu ý rằng khái niệm không thuyết phục theo nghĩa "tồn tại + xác minh" tồn tại trong lý thuyết tính toán từ lâu trước khi lý thuyết phức tạp, ví dụ hình thức bình thường của Kleene , hệ thống phân cấp đối xứng . Các mô hình tính toán khác như hệ thống kinh điển của Post (được biết đến ít nhất là từ năm 1943) và ngữ pháp cũng không phải là không xác định. Tôi nghĩ người ta thậm chí có thể đẩy khái niệm đến thời điểm của toán tử epsilon và toán tử lựa chọn.

Về NP, tôi hỏi Steve Cook. Tên NP cho lớp các vấn đề tính toán thời gian đa thức không phổ biến đã được Richard Karp giới thiệu trong bài báo nổi tiếng năm 1972 của ông. Cook đề cập đến lớp các vấn đề tính toán thời gian không đa thức của máy Turing trong bài báo nổi tiếng năm 1971 của ông, trong đó xác định việc giảm thời gian đa thức và cho thấy có những vấn đề hoàn chỉnh, nhưng không nêu tên cho lớp.

Trước bài báo của ông, không có nhiều hứng thú với các vấn đề có thể tính toán được trong thời gian đa thức bằng các máy Turing không điều kiện, chỉ sau bài báo của Karp, rõ ràng có rất nhiều vấn đề tự nhiên ở NP. Sau bài báo của Cook, một số người đã quan tâm, đặc biệt là hai người đã quan tâm sớm (trước khi bài báo của Karp xuất hiện) là Michael Rabin và Allan Borodin .

Bài báo năm 2014 của Karp đã làm mọi người ngạc nhiên khi cho thấy mức độ hoàn thiện NP phổ biến trong các vấn đề tự nhiên.

Rabin và Scott đã giới thiệu automata hữu hạn không điều kiện với bài nghiên cứu của họ được công bố trên tạp chí IBM, tháng 4 năm 1959. Trong bài báo họ đề cập:

chúng tôi đã áp dụng một hình thức định nghĩa thậm chí đơn giản hơn bằng cách loại bỏ một hàm đầu ra phức tạp và các máy của chúng tôi chỉ đơn giản là đưa ra câu trả lời có đúng hay không. Cái này cũng được Myhill sử dụng, nhưng những khái quát của chúng tôi đối với các máy không giới hạn, một chiều, hai chiều, và các máy băng nhiều băng, dường như là mới .

Toàn bộ giấy có thể được nhìn thấy ở đây: http://www.cse.chalmers.se/~coquand/AUTOMATA/rs.pdf