Saya pernah membaca bahwa pada awalnya Gereja mengusulkan -calculus sebagai bagian dari postulat makalah Logic-nya (yang merupakan bacaan padat). Tetapi Kleene membuktikan "sistem" -nya tidak konsisten setelah itu, Gereja mengekstraksi hal-hal yang relevan untuk karyanya tentang "komputabilitas...
Algoritma Karatsuba untuk perkalian cepat pertama kali diterbitkan dalam A. Karatsuba dan Yu. Ofman (1962), "Multiplikasi Angka Banyak-Digital dengan Komputer Otomatis", Prosiding Akademi Ilmu Pengetahuan Uni Soviet 145: 293–294. Menurut Karatsuba (1995, "Kompleksitas perhitungan", Proc. Steklov...
Saya punya dua pertanyaan historis: Siapa yang pertama kali menggambarkan perhitungan nondeterministik? Saya tahu bahwa Cook menjelaskan masalah NP-complete, dan bahwa Edmonds mengusulkan bahwa algoritma P adalah "efisien" atau "baik" algoritma. Aku mencari ini artikel Wikipedia dan skim "Di...
Menurut catatan sejarah (tidak terverifikasi), Kolmogorov berpikir bahwa setiap bahasa dalam PP\mathsf{P} memiliki kompleksitas rangkaian linier. (Lihat sebelumnya pertanyaan dugaan Kolmogorov yang PPP memiliki sirkuit linear-size .) Perhatikan bahwa kandungannya P≠NPP≠NP\mathsf{P}\neq \mathsf{NP}...
Saya baru-baru ini berdiskusi tentang Mesin Turing ketika saya ditanya, "Apakah Mesin Turing berasal dari automata, atau sebaliknya?" Tentu saja saya tidak tahu jawabannya, tetapi saya ingin tahu. Mesin Turing pada dasarnya adalah versi yang sedikit lebih canggih dari Automata Push-Down. Dari itu...
Saya mengajar batas bawah saat ini, dan salah satu siswa ditanya tentang alasan nama A C . Penjelasan resmi adalah bahwa "A" adalah singkatan dari "Alternation".A C0SEBUAHC0AC^0A CSEBUAHCAC Samar-samar saya ingat diberi tahu bertahun-tahun yang lalu bahwa Nick Pippenger Steve Cook menamai setelah...
Ketika mencoba meyakinkan para ekonom tentang relevansi teori kompleksitas dalam cetakan, adakah referensi standar untuk dikutip? Saya akrab dengan posting blog Noam Nisan , survei Tim Roughgarden , dan bab 11 esai Scott Aaronson . Posting-posting ini dapat diakses oleh para ilmuwan komputer,...
Adakah contoh algoritma yang menarik yang telah dipublikasikan dengan batasan yang telah terbukti, dan di mana batasan yang lebih baik kemudian telah diterbitkan? Algoritme yang tidak lebih baik dengan batasan yang lebih baik - jelas itu terjadi! Tetapi analisis yang lebih baik mengarah pada ikatan...
Saya tertarik pada sejarah awal hasil yang dipublikasikan tentang pertukaran ruang-waktu untuk tujuan umum. Secara khusus, saya ingin tahu siapa yang pertama kali menggambarkan jenis algoritma berikut untuk mengevaluasi perhitungan yang memiliki grafik aliran data acak dengan derajat O (1)...
Siapa yang memperkenalkan gagasan rekursi ? Dapatkah seseorang menjelaskan dari mana asalnya dan bagaimana pengaruhnya terhadap ilmu
Robin Milner mendefinisikan bigraphs sebagai jenis struktur grafis dengan struktur seperti grafik tetapi di mana node dapat bersarang. Mereka menggeneralisasi proses kalkulus seperti CCS dan ` kalkulus, tetapi Milner tampaknya bermaksud agar mereka digunakan secara lebih umum: seminar mencatat...
Sambil mengajar bagaimana menerapkan FSM menggunakan sirkuit logis sinkron, saya melihat sebuah kebetulan yang menarik: baik di dunia CS teoritis, dan di dunia teknik listrik, "negara" biasanya dilambangkan (dan ruang negara Q ). Saya pertama kali bertanya pada EE.sx , tetapi kemudian ketika...
Untuk merayakan ulang tahun ke-100 Alan Turing, saya ingin menonton film dokumenter tentang hidupnya. Namun, ada beberapa film dokumenter untuk dipilih. Film dokumenter apa tentang Alan Turing yang menjadi favorit Anda? Harap sertakan hanya satu film dokumenter per
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...
Saya mencari: Michael O. Rabin, "Tingkat kesulitan menghitung fungsi, dan urutan parsial set rekursif", Universitas Ibrani, Yerusalem, 1960 Ringkasan: “Kami berupaya mengukur jumlah pekerjaan yang melekat dalam tugas menghitung fungsi komputasi (rekursif) yang diberikan. Konsep tingkat...
Bahasa Dyck didefinisikan oleh tata bahasa S → S S berikutD y c k (k)Dyck(k)\mathsf{Dyck}(k) atas himpunan simbol { ( 1 , ... , ( k , ) 1 , ... , ) k } . Bahasa secara intuitif Dyck adalah bahasa kurung seimbang dari k yang berbeda. Sebagai contoh, (S→ SS|(1S)1|...|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S...
Saya sudah mencoba untuk membungkus kepala saya di sekitar apa, mengapa dan bagaimana -kalkulus tapi saya tidak bisa memahami "mengapa itu bekerja"?λλ\lambda "Secara Intuitif" Saya mendapatkan model komputer Turing Machines (TM). Tapi -straksi ini membuat saya bingung.λλ\lambda Mari kita...
Semua museum dan pameran yang terkait dengan komputer yang saya sadari tampaknya hanya mencakup sejarah mesin komputasi, tetapi tidak membahas topik-topik ilmu komputer. Anda terlibat dalam pembuatan Museum Komputasi baru, disewa untuk mendidik, menghibur, dan menginspirasi masyarakat umum dalam...
Sudah diketahui secara umum bahwa mesin analitik Charles Babbage memiliki arsitektur yang kuat, yang menyerupai arsitektur Von Neumann modern. Juga, perlu dicatat bahwa tabel untuk mewakili program untuk mesin analitik Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) dan karya von...
(Permintaan maaf jika ini salah tempat atau terlalu luas. Saya terbuka untuk saran tentang cara merumuskannya kembali.) Saya tertarik menelusuri sejarah "kuno" algoritma max-flow, dan algoritma optimasi diskrit secara umum. Ford-Fulkerson adalah pemain inti saya dari titik awal. Apa kemajuan yang...