Pada 1937 Turing menggambarkan mesin Turing. Sejak itu banyak model komputasi telah diuraikan dalam upaya untuk menemukan model yang seperti komputer nyata tetapi masih cukup sederhana untuk merancang dan menganalisis algoritma. Akibatnya, kami memiliki selusin algoritma untuk, misalnya, masalah...
Paul Wegner dan Dina Goldin telah lebih dari satu dekade menerbitkan makalah dan buku dengan alasan utama bahwa tesis Church-Turing sering salah diartikan dalam komunitas Teori CS dan di tempat lain. Yaitu, ia disajikan sebagai mencakup semua perhitungan padahal sebenarnya itu hanya berlaku untuk...
Pertanyaan ini mirip dengan pertanyaan yang lebih umum tentang apa model teoritis yang tepat dari komputer untuk merancang algoritma dan struktur data. Di sini, saya bertanya secara khusus tentang komputer berkinerja tinggi saat ini (seperti yang terdaftar sebagai Top 500 ) atau bahkan tentang...
Sebuah pertanyaan baru-baru ini membahas algoritma pemrograman dinamis klasik sekarang untuk TSP, karena independen untuk Bellman dan Held-Karp . Algoritma secara universal dilaporkan berjalan dalam waktu O(2nn2)O(2nn2)O(2^n n^2) . Namun, seperti yang ditunjukkan oleh salah satu siswa saya...
Seberapa baik masalah berikut telah diselidiki di TCS? (Saya minta maaf jika pernyataan masalah terdengar kabur!) Diberikan Model Komputasi MC (Mesin Turing, Cellular Automata, Mesin Kolmogorov-Uspenskii ... dll.) Dan Model Kebisingan yang dapat memengaruhi perhitungan MC, apakah ada cara untuk...
Apa kelas kompleksitas yang terkait dengan algoritma pencarian lengkap? (jika ada) Apakah NP atau PSPACE? Apakah ada model komputasi terbatas yang menangkap kelas algoritma pencarian lengkap mirip dengan model untuk pemrograman serakah dan
Apakah mungkin untuk membangun implementasi mekanis tujuan tunggal (non Turing lengkap) dari kata, Microsoft Word? Apakah mungkin untuk mengimplementasikan hal-hal seperti iterator, fungsi tingkat pertama, keseluruhan keseluruhan teknik pemrograman? Bisakah roda gigi dan bagian mekanis lainnya...
Judulnya sedikit menyesatkan: tapi semoga pertanyaannya bukan: Hasil baru Grønlund dan Pettie menunjukkan bahwa 3SUM hanya memiliki kompleksitas pohon keputusan membuat saya bertanya-tanya:O(n3/2)O(n3/2)O(n^{3/2}) Apakah ada contoh sederhana dari masalah dengan kompleksitas pohon keputusan...
Sementara seorang mahasiswa S1 EE saya menghadiri beberapa kuliah yang menyajikan karakterisasi bagus sirkuit boolean dalam hal berapa banyak loop bersarang yang mereka miliki. Dalam kerumitannya, sirkuit boolean sering dianggap sebagai dag, tetapi dalam siklus perangkat keras yang sebenarnya...
Apakah akurat untuk menyebut kerangka mapReduce jenis kerangka kerja pemrograman paralel paralel massal tanpa retensi memori lokal di dalam prosesor di antara sinkronisasi? Jika tidak, model pemrograman paralel apa yang paling akurat merangkum kerangka
Pertanyaan ini adalah tentang apakah ada tarpit Turing reversibel yang dikenal, di mana "reversibel" berarti dalam arti Axelsen dan Glück , dan "tarpit" adalah konsep yang jauh lebih informal (dan mungkin bukan pilihan kata yang sangat baik), tapi saya akan melakukan yang terbaik untuk menjelaskan...
Contoh perhitungan terkenal yang terinspirasi oleh fenomena alam adalah komputer kuantum dan komputer DNA. Apa yang diketahui tentang potensi dan / atau keterbatasan komputasi dengan hukum atau gravitasi Maxwell? Yaitu, menggabungkan solusi "cepat" alami ke persamaan Maxwell atau masalah n-body...
Apakah ada kerangka kerja / formalisme yang mendefinisikan model komputasi berdasarkan protein selain model DNA Adleman atau ini karya Cherry dan Qian