The Pasang Correspondence Masalah (PCP) adalah diputuskan. The Versi dibatasi dari PCP adalah -Lengkap dan versi ditandai PCP (kata-kata salah satu dari dua daftar yang diperlukan untuk berbeda dalam huruf pertama) adalah di [1].N PNP\mathrm{NP}P S P A C EPSPSEBUAHCE\mathrm{PSPACE} Apakah versi...
Saya membaca tentang nomor berang-berang yang sibuk dan bagaimana mereka tumbuh secara asimptotik lebih besar daripada fungsi yang dapat dihitung. Kenapa begitu? Apakah ini karena ketidaksesuaian fungsi berang-berang yang sibuk? Jika demikian, apakah semua fungsi yang tidak dapat dikomputasi tumbuh...
Saya agak baru, tetapi sangat tertarik pada bidang teori komputasi dan kompleksitas, dan saya ingin memperjelas pemahaman saya tentang bagaimana masalah kelas, dan seberapa kuat masalah terkait dengan mesin yang digunakan untuk menyelesaikannya. Pemahaman saya Standard Turing Machine - Mesin...
Banyak masalah "terkenal" tidak dapat diputuskan setidaknya dapat diputuskan, dengan komplemen mereka tidak dapat diputuskan. Salah satu contoh di atas semua bisa menjadi masalah penghentian dan pelengkapnya. Namun, adakah yang bisa memberi saya contoh di mana masalah dan komplemennya tidak dapat...
Saya bertanya-tanya apakah memutuskan masalah decidability adalah masalah decidable. Saya kira tidak, tetapi setelah pencarian awal saya tidak dapat menemukan literatur tentang masalah
Fungsi sibuk berang-berang max bergeser, S(n)S(n)S(n) , memiliki nilai yang diketahui untuk . Adakah alasan mendasar dan struktural mengapa kita tidak dapat menemukan untuk ? Apa perbedaan dari dari ? Atau ? Di suatu tempat di sepanjang jalan harus ada beberapa perbedaan mendasar, jika akan, pada...
Meminta saran Raphael tentang titik-temu dua NPDA : Biarkan dan A 2 masing-masing untuk bahasa bebas konteks L 1 dan L 2 . Dengan asumsi kita tahu bahwa L = L 1 ∩ L 2 bebas konteks, dapatkah kita (secara efektif) membuat NPDA A untuk L ?SEBUAH1SEBUAH1A_1SEBUAH2SEBUAH2A_2L1L1L_1L2L2L_2L = L1∩...
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...
Dikatakan bahwa teori komputasi juga disebut teori rekursi. Kenapa disebut seperti itu? Mengapa rekursi memiliki kepentingan sebesar
Saya mempelajari teorema smn dan konsepnya mengingatkan saya pada kari. Dari artikel wikipedia tentang teorema smn : teorema mengatakan bahwa untuk bahasa pemrograman yang diberikan dan bilangan bulat positif m dan n, ada algoritma tertentu yang menerima sebagai input kode sumber program dengan...
Sebuah komentar di tex.SE membuatku bertanya-tanya. Pernyataan itu pada dasarnya: Jika saya dapat menulis kompiler untuk bahasa X dalam bahasa X, maka X adalah Turing-complete. Dalam istilah komputasi dan bahasa formal, ini adalah: Jika memutuskan dan , maka .L ⊆ L T M ⟨ M ⟩ ∈ L F L = R...
Inilah masalahnya: Buktikan bahwa Mesin Turing single-tape yang tidak dapat menulis pada bagian dari rekaman yang berisi string input hanya mengenali bahasa biasa. Gagasan saya adalah untuk membuktikan bahwa TM khusus ini setara dengan DFA. Menggunakan TM ini untuk mensimulasikan DFA sangat...
Saya kesulitan memahami masalah berhenti Turing. Buktinya mengasumsikan bahwa ada mesin ajaib yang dapat menentukan apakah komputer akan berhenti atau berputar selamanya untuk input yang diberikan. Kemudian kami memasang mesin lain yang membalikkan output dan kami memiliki kontradiksi dan oleh...
Pertanyaan ini adalah tentang apakah setiap teorema matematika dapat direduksi menjadi pertanyaan apakah satu mesin Turing berhenti. Secara khusus, saya tertarik pada dugaan yang saat ini tidak terbukti. Sebagai contoh: Wikipedia mengatakan bahwa saat ini tidak diketahui apakah ada angka sempurna...
Bagaimana bisa diputuskan apakah memiliki beberapa urutan digit? ππ\pimengilhami saya untuk bertanya apakah variasi yang tampak tidak bersalah berikut ini dapat dihitung: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation...
Sistem menulis ulang adalah seperangkat aturan dalam bentuk . Jika kita menerapkan aturan itu ke string kita mengganti substring in dengan substring dan sebaliknya.w A w BA ↔ BA↔BA \leftrightarrow BwwwSEBUAHAAwwwBBB Diberikan string awal dapatkah kita menurunkan dalam sistem dengan aturan...
Salah satu definisi himpunan enumerable komputabel (ce, setara dengan enumerable rekursif, setara dengan semidecidable) adalah sebagai berikut: V ⊆ Σ ∗ x ∈ Σ ∗A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* adalah ce iff ada bahasa yang dapat (disebut verifier) st untuk semua ,V⊆Σ∗V⊆Σ∗V\subseteq...
Pertanyaan ujian baru-baru ini adalah sebagai berikut: adalah himpunan enumerable rekursif tak terbatas. Buktikan bahwa A memiliki subset rekursif tak terbatas.SEBUAHAASEBUAHAA Biarkan menjadi bagian rekursif tak terbatas A . Haruskah C memiliki subset yang tidak dapat dihitung berulang...
Saya telah menemukan masalah menarik berikut: misalkan menjadi polinomial di atas bidang bilangan real, dan mari kita anggap bahwa koefisien mereka semuanya bilangan bulat (yaitu, ada representasi persis terbatas dari polinomial ini). Jika diperlukan, kita dapat menganggap bahwa tingkat kedua...
Saya diberitahu bahwa komputer kuantum tidak lebih kuat secara komputasi daripada mesin Turing. Bisakah seseorang dengan ramah membantu memberikan beberapa referensi literatur yang menjelaskan fakta