Pertanyaan yang diberi tag «np-complete»

Pertanyaan tentang masalah tersulit dalam NP, yaitu masalah yang dapat diselesaikan dalam waktu polinomial oleh mesin Turing nondeterministic.

3
Bisakah masalah yang terbatas ada pada NP-Complete?
Dosen saya membuat pernyataan Masalah yang terbatas tidak dapat NP-Lengkap Dia berbicara tentang Sudoku pada saat itu mengatakan sesuatu di sepanjang garis bahwa untuk 8x8 Sudoku ada satu set solusi yang terbatas tetapi saya tidak ingat persis apa yang dia katakan. Saya menulis catatan yang saya kutip tetapi masih tidak …
13 np-complete  np 
2
Membuktikan DOUBLE-SAT adalah NP-complete
Masalah SAT yang terkenal didefinisikan di sini untuk referensi. Masalah DOUBLE-SAT didefinisikan sebagai DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Bagaimana kita membuktikannya sebagai NP-complete? Lebih dari satu cara untuk membuktikan akan …
2
Bisakah Masalah NP-Lengkap diselesaikan menggunakan paling banyak ruang polinomial (tetapi saat menggunakan waktu eksponensial?)
Saya membaca tentang NPC dan hubungannya dengan PSPACE dan saya ingin tahu apakah masalah NPC dapat dipecahkan dengan menggunakan algoritma dengan persyaratan ruang polinomial kasus terburuk, tetapi berpotensi mengambil waktu eksponensial (2 ^ P (n) di mana P adalah polinomial). Selain itu, dapatkah itu digeneralisasi ke EXPTIME secara umum? Alasan …
2
Mengapa teorema Schaefer tidak membuktikan bahwa P = NP?
Ini mungkin pertanyaan bodoh, tapi saya tidak mengerti. Dalam pertanyaan lain mereka datang dengan teorema dikotomi Schaefer . Bagi saya sepertinya ini membuktikan bahwa setiap masalah CSP adalah dalam P atau NP-complete, tetapi tidak di antaranya. Karena setiap masalah NP dapat diubah dalam waktu Polinomial menjadi CSP (karena CSP adalah …
2
Buktikan NP-kelengkapan memutuskan kepuasan formula monoton boolean
Saya mencoba menyelesaikan masalah ini dan saya benar-benar berjuang. Sebuah monoton rumus boolean adalah formula dalam logika proposisional mana semua literal positif. Sebagai contoh, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) adalah fungsi boolean monoton. Di sisi lain, sesuatu seperti (x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)(x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)\qquad (x_1 \lor …
4
Apakah kompleksitas masalah NP-hard atau -complete berubah ketika input mereka tidak dikodekan?
Apakah kesulitan masalah NP-hard atau NP-complete (seperti misalnya didefinisikan di sini ) berubah ketika inputnya unary bukan binary encoded? Apa bedanya jika input dari masalah NP-hard sangat tidak terenkripsi? Maksud saya, jika saya mengambil contoh masalah Knapsack NP-complete yang lemah, itu adalah NP-complete ketika biner dikodekan tetapi dapat diselesaikan dalam …
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 …
2
Siklus terpanjang terkandung dalam dua siklus
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 dengan panjang lebih besar dari ?kGGGkkk Jelas masalahnya adalah dalam NP dan derajat maksimum …
1
Set independen pada grafik bebas segitiga kubik
Saya tahu bahwa set independen maksimum pada grafik bebas segitiga kubik adalah NP-lengkap. Apakah masih NP-complete jika kita memerlukan set independen berukuran persis ?|V|/2|V|/2|V|/2 Pada dasarnya, contoh instal dari masalah himpunan bebas pada masalah grafik bebas segitiga kubik harus memiliki persis node. Contoh TIDAK memiliki kumpulan ukuran independen kurang dari …
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.