Sebuah pertanyaan dalam beberapa sistem formal dengan jawaban ya-atau-tidak.
Saya ingin tahu apakah ada pekerjaan yang menghubungkan kode hukum dengan kompleksitas. Secara khusus, misalkan kita memiliki masalah keputusan "Mengingat buku hukum ini dan keadaan khusus ini, apakah terdakwa bersalah?" Kelas kompleksitas apa yang dimilikinya? Ada hasil yang telah membuktikan...
Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun...
Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan...
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Diketahui bahwa setiap masalah optimasi / pencarian memiliki masalah keputusan yang setara. Misalnya
Jelas tidak ada masalah yang tidak dapat dipastikan dalam NP. Namun, menurut Wikipedia : NP adalah himpunan semua masalah keputusan yang contohnya adalah "ya" memiliki [.. bukti yang] dapat diverifikasi dalam waktu polinomial oleh mesin Turing deterministik. [...] Suatu masalah dikatakan...
Terminologi itu membingungkan saya. Seperti yang saya mengerti Pemecah SAT: memutuskan kepuasan logika proposisional (menggunakan DPLL atau Pencarian Lokal). Prosedur pengambilan keputusan adalah prosedur untuk memutuskan kepuasan suatu teori tingkat pertama tertentu yang dapat ditentukan. SMT...
Jadi saya mengerti ide bahwa masalah keputusan didefinisikan sebagai Apakah ada jalur P sehingga biaya lebih rendah dari C? dan Anda dapat dengan mudah memeriksa ini benar dengan memverifikasi jalur yang Anda terima. Namun, bagaimana jika tidak ada jalur yang sesuai dengan kriteria ini?...
Saya memiliki masalah keputusan NP-lengkap. Diberikan contoh masalah, saya ingin merancang algoritma yang menampilkan YA, jika masalahnya layak, dan, TIDAK, jika tidak. (Tentu saja, jika algoritme tidak optimal, itu akan membuat kesalahan.) Saya tidak dapat menemukan algoritma perkiraan untuk...
Apakah ada algoritma / prosedur sistematis untuk menguji apakah suatu bahasa bebas konteks? Dengan kata lain, diberikan bahasa yang ditentukan dalam bentuk aljabar (pikirkan sesuatu seperti ), uji apakah bahasa tersebut bebas konteks atau tidak. Bayangkan kita sedang menulis layanan web untuk...
Dalam Teori Komputasi Michael Sipser di halaman 270 ia menulis: P = kelas bahasa yang keanggotaannya dapat diputuskan dengan cepat. NP = kelas bahasa yang keanggotaannya dapat diverifikasi dengan cepat. Apa perbedaan antara "memutuskan" dan
misal ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Ekspresi berasal dari aljabar sekolah menengah biasa, tetapi terbatas pada penambahan dan perkalian aritmatika (misalnya ), tanpa inversi, pengurangan atau pembagian. Surat adalah variabel.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Jika ini membantu,...
Saya bertanya-tanya apakah memutuskan masalah decidability adalah masalah decidable. Saya kira tidak, tetapi setelah pencarian awal saya tidak dapat menemukan literatur tentang masalah
Saya baru saja membaca beberapa halaman dalam buku Sipser. Pengantar Teori Komputasi tentang Masalah Pasca Korespondensi, dan saya berpikir bahwa PCP sebenarnya dalam NP. adalah: untuk konfigurasi masukan tumpukan menyatukan sebagai string dan merangkai sebagai string , lalu bandingkan dan untuk...
Jadi, saya tahu bahwa menguji apakah bahasa reguler adalah himpunan bagian dari bahasa biasa dapat ditentukan, karena kita dapat mengonversi keduanya menjadi DFA, menghitung , dan kemudian menguji apakah bahasa ini kosong.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} Namun, karena ini memerlukan konversi...
Saya ingin menentukan, apa artinya memberikan aljabar sebagai input untuk suatu algoritma dan tidak menemukan banyak literatur tentangnya. Jadi pertama-tama saya ingin bertanya apakah Anda dapat merekomendasikan buku atau makalah yang membahas topik analisis kompleksitas aljabar di atas bidang dan...
Apakah ada algoritma / prosedur sistematis untuk menguji apakah suatu bahasa biasa? Dengan kata lain, diberikan bahasa yang ditentukan dalam bentuk aljabar (pikirkan sesuatu seperti ), uji apakah bahasa itu teratur atau tidak. Bayangkan kita sedang menulis layanan web untuk membantu siswa dengan...
Apakah masalah berikut NP-complete? (Saya anggap ya). Input: grafik tidak terarah di mana set edge dapat didekomposisi menjadi dua siklus sederhana disjointing edge (ini bukan bagian dari input).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pertanyaan: Apakah ada siklus sederhana dalam...
Apakah ada algoritma untuk masalah berikut: Diberikan mesin Turing yang menentukan bahasa L , Apakah ada mesin Turing M 2 yang memutuskan L sedemikian rupa sehingga t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Fungsi dan t 2 adalah waktu...
Jadi mengingat dua DFA, apakah masalah menemukan jika mereka menghasilkan bahasa yang sama merupakan masalah yang Layak? Saya sudah tahu bahwa Kesetaraan dua CFL tidak Dapat Dipilih tapi bagaimana dengan Kesetaraan dua DFA? mengingat sebagian besar masalah dengan DFA adalah decidable, apakah ini...
Buku saya menyatakan ini Jika masalah keputusan B dalam P dan A dikurangi menjadi B, maka masalah keputusan A ada di P. Masalah keputusan B adalah NP-lengkap jika B di NP dan untuk setiap masalah di A di NP, A dikurangi menjadi B. Masalah keputusan C adalah NP-lengkap jika C di NP dan untuk...