Pertanyaan yang diberi tag «machine-models»

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 SORT untuk model komputasi yang berbeda. Sayangnya, kami bahkan tidak dapat …

41 ds.algorithms  reference-request  soft-question  machine-models 

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 perhitungan fungsi, yang merupakan bagian yang …

38 computability  turing-machines  machine-models  church-turing-thesis 

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 superkomputer mendatang. Mengingat bahwa komputer ini …

20 reference-request  soft-question  machine-models 

Baru-baru ini saya menemukan konstruksi teoretis yang cukup menarik. Mesin Gödel disebut Ini adalah pemecah masalah umum yang mampu melakukan optimasi diri. Ini cocok untuk lingkungan yang reaktif. Seperti yang saya mengerti, ini dapat diimplementasikan sebagai program untuk mesin Turing universal, meskipun persyaratannya jauh melampaui perangkat keras yang saat ini …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

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 baru-baru ini, waktu berjalan ini mungkin memerlukan model perhitungan yang sangat kuat. …

16 ds.algorithms  machine-models  computing-over-reals 

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 dinamis?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

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 memulihkan dari kesalahan yang disebabkan oleh kebisingan ini di cara …

14 machine-models 

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 tetapi mengakui batas bawah (dalam model yang lebih rinci) dari ?O(f)O(f)O(f)ω(f)ω(f)\omega(f) Dengan kata lain, bagaimana seharusnya hasil …

13 cc.complexity-theory  machine-models  decision-trees 

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 mewakili struktur data atau bahkan objek program? Pada titik tertentu apakah ini mengharuskan membangun …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

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 mapReduce?

11 dc.parallel-comp  machine-models 

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 adalah hal biasa. Sekarang, modulo beberapa teknis mengenai apa loop dan …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

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 apa yang saya maksud dengan …

10 fl.formal-languages  computability  machine-models 

Apakah ada kerangka kerja / formalisme yang mendefinisikan model komputasi berdasarkan protein selain model DNA Adleman atau ini karya Cherry dan Qian ?

9 reference-request  machine-models 

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 secara langsung ke dalam algoritma tujuan umum?

9 computability  machine-models  physics  natural-computing