Asal usul istilah "efisien" dan "layak" perhitungan / algoritma

Saya ingin tahu tentang sejarah dua istilah ini: " efisien ", " layak ".

Siapa yang menggunakannya tentang perhitungan / algoritma pertama kali? (dalam pengertian modern istilah ini, yaitu abad ke-20). Bagaimana mereka menjadi arus utama? Bagaimana kedua istilah ini mulai digunakan sebagai sinonim?

Saya tahu bahwa Cobham menggunakan istilah "layak" dalam pernyataan tesisnya yang terkait dengan komputabilitas waktu polinomial. Tetapi apakah ada referensi sebelumnya? Tampaknya tidak ada referensi eksplisit untuk istilah-istilah ini dalam surat Godel kepada von Neumann . Saya tidak dapat menemukan artikel terkait sebelum 1960 (menggunakan Google Cendekia ).

Hal lain yang menarik adalah bahwa judul makalah Cobham dari tahun 1965 adalah " Kesulitan komputasi intrinsik fungsi". Kapan "kompleksitas komputasi" menggantikan "kesulitan komputasi"?

Saya tidak tahu tentang istilah "efisien" dan "layak." Karena istilah-istilah ini bahkan hari ini tidak memiliki arti teknis yang tepat, saya menduga bahwa sejarah penggunaannya akan berubah menjadi keruh, seperti halnya sejarah sebagian besar kata dalam kebanyakan bahasa keruh.

"Kompleksitas komputasi" adalah istilah yang lebih menarik. Dengan bantuan MathSciNet, saya menemukan bahwa Juris Hartmanis tampaknya menjadi yang pertama mempopulerkannya. Karya 1965 terkenal oleh Hartmanis dan Stearns menggunakan istilah dalam judul, tetapi bahkan sebelum itu, Ulasan Matematika Hartmanis dari makalah Michael Rabin "perhitungan waktu nyata" ( Israel J. Math. 1 (1963), 203-211) mengatakan:

Hasil ini sangat instruktif dan memberikan kontribusi teknik baru pada teori yang muncul dari kompleksitas komputasi dari urutan dan fungsi rekursif. Teori ini terutama berkaitan dengan klasifikasi masalah yang dapat dikomputasi dengan tingkat kesulitan komputasi mereka, studi tentang sifat-sifat kelas kompleksitas ini, hubungan mereka satu sama lain dan ketergantungan mereka pada perangkat komputasi (abstrak).

Perhatikan bahwa Rabin sendiri tidak menggunakan istilah "kompleksitas komputasi" dalam tulisan ini.

MathSciNet juga menghasilkan beberapa ulasan sebelumnya yang menggunakan istilah "kompleksitas komputasi," tetapi ini tampaknya kejadian spontan dan sporadis.

Ungkapan lain yang perlu dipertimbangkan adalah "dapat dipecahkan dengan tepat", yang berasal dari fisika statistik dan juga sesuai dengan gagasan kita saat ini yang efisien / layak. Pengantar dalam makalah ini berisi deskripsi historis yang bagus dari frasa ini dengan banyak referensi.

Ini bukan apa yang Anda minta, tapi terlalu panjang untuk berkomentar.

Referensi eksplisit tertua yang saya tahu tentang suatu algoritma yang tidak mungkin dilakukan adalah di Évariste Galois ' Mémoire sur les conditions de résolubilité des équations par radicaux , ditulis pada tahun 1830:

Jika Anda ingin tahu tentang masalah ini, silakan pilih, pilih, pilih, pilih, pilih, pilih, lihat, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih-pilih, pilih, pilih pengisi baterai dan personel de la faire. Jika tidak, kalkulasi tidak dapat dilakukan.

[Sekarang jika Anda memberi saya sebuah persamaan yang telah Anda pilih atas kebijaksanaan Anda dan Anda ingin tahu apakah itu dapat dipecahkan oleh radikal, saya hanya perlu menunjukkan kepada Anda metode yang diperlukan untuk menjawab pertanyaan Anda, tanpa ingin membuat sendiri atau siapa pun yang melakukannya. Singkatnya, perhitungannya tidak praktis .]

Meskipun benar bahwa algoritma Galois tidak berjalan dalam waktu polinomial, Galois jelas berarti sesuatu yang jauh lebih tidak tepat. Ini juga merupakan referensi tertua yang saya tahu yang menganggap keberadaan algoritma yang signifikan dalam dirinya sendiri.

Seperti yang disebutkan Niel de Beaudrap dalam komentar, Gauss sudah membahas efisiensi algoritma pengujian primality dalam 1801 Disquisitiones Arithmeticae , hampir 30 tahun sebelum Galois. Untuk kelengkapan, berikut adalah bagian yang relevan dari artikel 329:

Nihilominus fateri oportet, omnes methodos hucusque prolata vel iklan casus Vlade speciales restrictas esse, vel tam operosas et prolixas , ut iam pro numeris talibus, qui tabularum sebuah Varis Meritis constructarum limites non excedunt, yaitu pro Quibus methodi artificiales supervacuae sunt, calculatoris Etiam exercitati patientiam lelah, dan biasanya Anda dapat menggunakan aplikasi lainnya. ... Ceterum dalam problematis natura fundatum est, ut methodi quaecunqueterus-menerus prolixiores evadant, quo maiores sunt numeri, ad quos applicantur; Anda harus menggunakan metode yang sulit untuk meningkatkan kecepatan, jumlah dan harga, dan juga harga yang sesuai dengan harga per bulan, tergantung pada jumlah, jumlah yang cukup, jumlah yang luar biasa, serta metode yang berbeda, serta sangat berbeda dengan metode yang berbeda. intolerabilem, wajib.

[Namun demikian, kita harus mengakui bahwa semua metode yang telah diusulkan sejauh ini terbatas pada kasus-kasus yang sangat khusus atau sangat melelahkan dan prolix bahkan untuk angka-angka yang tidak melebihi batas tabel yang dibangun oleh orang-orang yang diperkirakan, yaitu untuk angka-angka yang tidak membutuhkan metode cerdik, mereka mencoba kesabaran dari kalkulator yang paling praktis sekalipun. Dan metode ini sulit digunakan untuk jumlah yang lebih besar. ... Adalah sifat dari masalah yang adaMetode akan menjadi lebih prolix karena angka yang diterapkan semakin besar. Namun demikian, dalam metode berikut kesulitan meningkat agak lambat, dan angka dengan tujuh, delapan, atau bahkan lebih digit telah ditangani dengan sukses dan kecepatan melampaui harapan, terutama dengan metode kedua. Teknik-teknik yang sebelumnya dikenal akan membutuhkan tenaga kerja yang tak tertahankan bahkan untuk kalkulator yang paling tak kenal lelah .]

Sunting: Jawab ditulis ulang

Bagaimana ini bisa menjadi arus utama? mungkin dengan menyebarkan gagasan membandingkan penelitian baru dengan yang lebih lama dalam hal kinerja, dengan anggapan bahwa menciptakan ide-ide baru lebih sulit.