Ketika mengembangkan algoritma dalam komputasi kuantum, saya perhatikan bahwa ada dua model utama di mana ini dilakukan. Beberapa algoritma - seperti untuk masalah pohon Hamiltonian NAND (Farhi, Goldstone, Guttman) - pekerjaan dengan merancang Hamiltonian dan beberapa keadaan awal, dan kemudian...
Saya mencoba memahami keberadaan bahasa yang tidak dikenali. Untuk mendapatkan ini, saya perlu tahu mengapa mesin Turing hanya mengenali satu bahasa, bukan beberapa. Kenapa
Literatur cukup jelas bahwa RAM unit-biaya dengan perkalian primitif tidak masuk akal, dalam hal itu mereka tidak dapat disimulasikan oleh mesin Turing dalam waktu polinomial dapat menyelesaikan masalah PSPACE-complete dalam waktu polinomial Namun, semua referensi yang dapat saya temukan pada...
Jika kita memiliki program komputer sewenang-wenang yang dapat memodifikasi instruksinya, apakah mungkin untuk mensimulasikan program itu dengan program yang tidak dapat memodifikasi instruksinya? Edit: Saya baru mengenal stackexchange jadi tidak yakin apakah saya diperbolehkan mengajukan...
Saya bertanya-tanya mengapa kaset itu bukan bagian dari definisi formal dari Mesin Turing. Pertimbangkan, misalnya, definisi formal mesin Turing di halaman Wikipedia . Definisi, mengikuti Hopcroft dan Ullman, meliputi: himpunan terbatas status , alfabet pita Γ , simbol kosong b ∈ Γ , keadaan awal q...
Algoritma mesin Turing polinomial-waktu dianggap efisien jika run-time-nya, dalam kasus terburuk, dibatasi oleh fungsi polinomial dalam ukuran input. Saya mengetahui tesis kuat Gereja-Turing: Model perhitungan yang masuk akal dapat disimulasikan secara efisien pada mesin Turing Namun, saya...
Saya mendapat kesan bahwa komputer kita, yang terbatas, pada akhirnya tidak lebih kuat daripada (hingga luar biasa besar) Mesin Negara Hingga. Namun, Mesin Turing Linearly Bounded juga terbatas, tetapi tampaknya Bahasa Reguler benar-benar merupakan bagian yang tidak tepat dari Bahasa...
Ini mungkin pemikiran yang konyol, tetapi misalkan kita memiliki komputer yang diprogram untuk melakukan urutan perhitungan yang tak terbatas dan anggaplah perhitungan membutuhkan detik untuk diselesaikan. Kemudian komputer ini dapat melakukan perhitungan dalam jumlah tak terbatas dalam waktu yang...
Dalam analisis algoritma, kami mengasumsikan satu prosesor generik Random Access Machine (RAM). Sejauh yang saya tahu, mesin RAM tidak lebih efisien daripada mesin Turing. Semua algoritma dapat diimplementasikan di mesin Turing. Jadi pertanyaan saya adalah: Jika mesin Turing seefisien mesin RAM,...
Saya telah belajar hari ini bahwa analisis algoritma berbeda berdasarkan pada model komputasi. Itu adalah sesuatu yang tidak pernah saya pikirkan atau dengar. Contoh yang diberikan kepada saya, yang menggambarkannya lebih lanjut, oleh Pengguna @chi adalah: Misalnya, pertimbangkan tugas:...
Saya ingin mengutip dari Nielsen & Chuang, Komputasi Quantum dan Informasi Quantum, edisi ulang tahun ke 10, halaman 5 (penekanan pada saya): Satu kelas tantangan untuk tesis Gereja-Turing yang kuat berasal dari bidang perhitungan analog. Pada tahun-tahun sejak Turing, banyak tim peneliti...
Biarkan string input diberikan sebagai . Kemudian jika NFA saat ini dalam keadaan r (dan telah membaca input hingga alfabet w i ) maka sebelum membaca simbol input berikutnya NFA terbagi menjadi dua NFA, satu berada di keadaan r dan yang lainnya di s , jika ada transisi dari tipe r ϵ → s . Jika ada...
Ini adalah tindak lanjut dari pertanyaan lain di sini , dan saya harap itu tidak terlalu filosofis. Seperti yang ditunjukkan oleh Raphael dalam komentar pada pertanyaan saya sebelumnya, saya tidak benar-benar mendapatkan definisi "computable", tetapi menurut beberapa makalah yang saya baca,...
Setahu saya tidak ada algoritma kasus terburuk yang memecahkan masalah berikut:O(n)O(n)O(n) Dengan urutan panjang terdiri dari bilangan bulat terbatas, temukan permutasi di mana setiap elemen kurang dari atau sama dengan penggantinya.nnn Tetapi apakah ada bukti bahwa itu tidak ada, dalam model...
Dalam pertanyaan sebelumnya Apa sebenarnya algoritma itu? , Saya bertanya apakah memiliki "algoritma" yang mengembalikan nilai fungsi berdasarkan array nilai yang dihitung adalah algoritma. Salah satu jawaban yang menarik perhatian saya adalah yang ini: Contoh faktorial masuk ke model...
Saya mencoba untuk menghubungkan Combinational Logic Circuits (komputer berdasarkan hanya pada gerbang logis) dengan semua yang saya pelajari baru-baru ini dalam Theory of Computation. Saya bertanya-tanya apakah sirkuit logika kombinasional dapat mengimplementasikan komputasi dengan cara yang...
Selama beberapa tahun terakhir, saya membangun sebuah komputer mekanik yang ditenagai oleh kelereng dan membuat game darinya. Ini mirip dengan Digi-Comp II yang lama, kecuali untuk dua perbedaan utama: Bagian dapat diposisikan di papan tulis. Anda dapat menghubungkan banyak 'bit' secara...
Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Computer Science Stack Exchange. Ditutup 3 tahun yang lalu . Komputer dan bahasa pemrograman...
Mesin Turing memiliki alfabet simbol formal , status dan deskripsi transisi-aturan berdasarkan bagaimana komputasi dilakukan. Actor Model kadang-kadang disebut sebagai model komputasi yang lebih kuat daripada mesin Turing (bukan pada apa yang dapat dikomputasi, tetapi dalam aspek lain). Apakah...
Saya mencoba untuk menyerang TAOCP sekali lagi, mengingat beratnya volume sebenarnya saya mengalami kesulitan untuk melakukannya dengan serius. Dalam TAOCP 1 Knuth menulis, halaman 8, konsep-konsep dasar :: Membiarkan AAAmenjadi set huruf yang terbatas. MembiarkanA∗A∗A^* menjadi himpunan semua...