Pertanyaan yang diberi tag «undecidability»

Saya tahu bahwa itu tidak dapat diputuskan untuk menentukan apakah satu set ubin dapat ubin pesawat, hasil dari Berger menggunakan ubin Wang . Pertanyaan saya adalah apakah diketahui juga tidak dapat diputuskan untuk menentukan apakah ubin tunggal yang diberikan dapat ubin pesawat, ubin monohedral . Jika ini tetap tidak pasti, …

24 reference-request  co.combinatorics  decidability  undecidability 

Sudah diketahui bahwa masalah kesetaraan tidak dapat diputuskan untuk bahasa bebas konteks umum. Namun, semua bukti dari fakta ini yang saya sadari tampaknya melibatkan beberapa tata bahasa bebas konteks yang ambigu. Untuk alasan ini, saya ingin bertanya apakah diketahui apakah masalahnya tetap tidak dapat diputuskan saat membatasi diri ke bahasa …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Masalah penghentian untuk mesin Turing mungkin adalah set kanonik yang tidak dapat ditentukan. Namun demikian, kami membuktikan bahwa ada algoritma yang memutuskan hampir semua instance dari itu. Masalah penghentian karena itu di antara koleksi yang berkembang dari mereka yang menunjukkan "lubang hitam" fenomena teori kompleksitas, dimana kesulitan dari masalah yang …

18 cc.complexity-theory  reference-request  computability  undecidability 

Jawab: tidak dikenal. Pertanyaan yang diajukan wajar, terbuka, dan tampaknya sulit; pertanyaannya sekarang adalah wiki komunitas. Gambaran Pertanyaannya adalah mencoba untuk membagi bahasa yang termasuk dalam kelas kompleksitas - bersama dengan mesin Turing keputusan (TMs) yang menerima bahasa ini - menjadi dua subkelas pelengkap:PPP bahasa gnostik dan TM (yang layak …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Diketahui bahwa banyak masalah logika (misalnya masalah kepuasan beberapa logika modal) tidak dapat ditentukan. Ada juga banyak masalah yang tidak dapat dipastikan dalam teori algoritma, misalnya dalam optimasi kombinatorial. Tetapi dalam prakteknya heuristcs dan perkiraan algoritma bekerja dengan baik untuk algoritma praktis. Jadi orang dapat berharap bahwa algoritma perkiraan untuk …

13 lo.logic  approximation-algorithms  undecidability 

Apa model komputasi paling sederhana yang masalah kekosongan tidak dapat diputuskan? Masalah kekosongan untuk model komputasi (misalnya otomat keadaan terbatas, otomat pushdown bergantian, otomat kuantum kesalahan-terikat dengan penghitung, LBA deterministik, dll.) Adalah untuk menentukan apakah, untuk mesin seperti itu, bahasa yang dikenali / ditentukan oleh mesin ini kosong. Di sini …

12 computability  decidability  undecidability  unary-languages 

"Nama permainan angka terbesar" meminta dua pemain untuk menuliskan angka secara diam-diam, dan pemenangnya adalah orang yang menuliskan angka yang lebih besar. Gim ini biasanya memungkinkan pemain untuk menuliskan fungsi yang dievaluasi pada suatu titik, jadi 222222222^{2^{2^{2}}} juga akan menjadi hal yang dapat diterima untuk dituliskan. Nilai fungsi Beaver Sibuk, …

11 computability  undecidability 

Ada masalah yang dapat diputuskan, ada beberapa yang tidak dapat diputuskan, ada yang dapat diputuskan, dll. Dalam hal ini saya bertanya-tanya apakah masalah dapat menjadi meta-diputuskan. Ini berarti (setidaknya di kepala saya) kita tidak bisa mengatakan apakah itu dapat ditentukan atau tidak. Mungkin diketahui bahwa decidability tidak dapat ditentukan (semuanya …

9 computability  decidability  undecidability