Pertanyaan yang diberi tag «decision-problem»

Sebuah pertanyaan dalam beberapa sistem formal dengan jawaban ya-atau-tidak.

7
Apakah undang-undang NP-lengkap?
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 bahwa permainan kartu Magic: the Gathering adalah NP dan Turing-complete …
2
Mengapa tipe void C tidak analog dengan tipe kosong / bawah?
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 tipe kembali dari kekosongan …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
6
Menghasilkan Kombinasi dari serangkaian pasangan tanpa pengulangan elemen
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 kombinasi menggunakan n/2pasangan sehingga tidak …
2
Versi optimisasi masalah keputusan
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 masalah jalur terpendek versi optimisasi / pencarian: Diberikan grafik tidak tertimbang yang tidak diarahkan …
1
Bedakan Prosedur Keputusan vs SMT solver vs Theorem prover vs Constraint solver
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 solver adalah prosedur keputusan SAT solver +. Prover teorema menunjukkan sesuatu seperti Dynamic Logic, …
2
Bagaimana masalah salesman keliling dapat diverifikasi dalam waktu polinomial?
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? Bagaimana Anda memverifikasi jawaban "tidak" tanpa …
3
Mengapa tidak ada algoritma perkiraan untuk SAT dan masalah keputusan lainnya?
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 masalah seperti itu. Saya sedang mencari secara khusus untuk SAT dan …
2
Apakah ada algoritma yang efisien untuk ekuivalensi ekspresi?
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, kami dapat melarang ekspresi apa pun yang dapat diwakili dengan nilai numerik selain ; yaitu bukan atau atau :x 2 …
2
Apakah Masalah Post Correspondence dalam NP?
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 melihat apakah keduanya sama dan kemudian menyimpulkan bahwa input …
3
Apakah ada tes yang efisien untuk jika NFA menerima subset dari NFA lain?
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 ke DFA, ada kemungkinan bahwa DFA, dan …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.