với các câu hỏi lịch sử thường có các sắc thái tinh tế và không dễ để xác định một bài báo cụ thể đưa ra một khái niệm cụ thể vì nó có xu hướng lan truyền trên nhiều người đóng góp và đôi khi được phát hiện lại một cách độc lập khi các tài liệu tham khảo ban đầu tối nghĩa không nhất thiết phải phổ biến (ý tưởng cơ bản là như vậy) . nhưng về cơ bản lịch sử diễn ra như sau: Ký hiệu Landau là một chủ nghĩa hình thức toán học cũ (1894 / Bachman) [1] được nhập vào CS như một "khái niệm chính" vào đầu những năm 1970. vào giữa những năm 1970, điều này phần nào được chấp nhận như trong tài liệu tham khảo Knuth của bạn và chính Knuth đã tham gia vào việc truyền bá khái niệm này.
điều thú vị là việc nhập khẩu vào CS có lẽ liên quan mật thiết đến sự khác biệt giữa P vs NP và Exptime được phát hiện vào đầu những năm 1970 có ảnh hưởng lớn / được báo trước trong lĩnh vực này. đó là Cobham / Edmonds, người bắt đầu định nghĩa lớp P vào đầu những năm 1970. [3] đã có bằng chứng sớm về Exptime và Expspace của Stockmeyer / Meyer. [2] định lý Cook-Levin [4] (1971) cho thấy mối liên quan cốt lõi của thời gian P so với NP, ngay lập tức được Karp hỗ trợ [5] (1972).
một nhà toán học ban đầu, người đã làm việc trong lý thuyết số nhưng cũng có lợi thế về khoa học máy tính là Pocklington. như trong [3] nó chỉ ra:
Tuy nhiên, HC Pocklington, trong một bài báo năm 1910, [11] [12] đã phân tích hai thuật toán để giải các phép đồng phương bậc hai và quan sát rằng một thời gian "tỷ lệ thuận với sức mạnh của logarit của mô đun" và đối chiếu với thuật toán này mất thời gian tỷ lệ "với chính mô đun hoặc căn bậc hai của nó", do đó, rõ ràng vẽ một sự khác biệt giữa một thuật toán chạy trong thời gian đa thức so với thuật toán không.
Một nhà tiên phong đầu tiên trong việc phân tích sự phức tạp của các thuật toán dựa trên máy cho lý thuyết số, tức là bao thanh toán, là Derrick Lehmer, giáo sư toán học tại Đại học California, Berkeley, và xây dựng / phân tích "thuật toán" (triển khai dựa trên sàng lọc) vào đầu những năm 1920 và có thể anh ta có thể đã mô tả một cái gì đó như tính toán phức tạp tính toán bao thanh toán theo cách không chính thức. [6]
một trường hợp khác là một bức thư "mất" năm 1956 của Godel gửi von Neumann nói về các phép đo phức tạp của các bước f (n) của một máy để tìm bằng chứng kích thước n . [7]
[1] Lịch sử ký hiệu Big O / wikipedia
[2] Các vấn đề từ đòi hỏi thời gian theo cấp số nhân. / Stockmeyer, Meyer (1973)
[3] Lịch sử lớp thời gian P / wikipedia
[4] Định lý Cook-Levin / wikipedia
[5] Karps 21 NP hoàn thành vấn đề / wikipedia
[6] Máy bao thanh toán / sàng / wikipedia
[7] Godels bị mất thư / RJLipton