Apakah terbukti bahwa perhitungan kuantum tidak lebih baik dalam menyelesaikan masalah NP lengkap daripada perhitungan klasik atau hanya
Jika sebenarnya sama dengan , bagaimana hal ini akan meningkatkan algoritma kami menjadi faktor integer lebih cepat. Dengan kata lain, wawasan seperti apa yang akan diberikan fakta ini dalam memahami faktorisasi bilangan bulat lebih baik?PP{\sf P}N PNP{\sf
Planar 3SAT adalah NP-complete. Contoh planar 3SAT adalah instance 3SAT yang grafiknya dibuat menggunakan aturan berikut adalah planar: tambahkan simpul untuk setiap dan ¯ x ixsayaxsayax_ixsaya¯xsaya¯\bar{x_i} tambahkan simpul untuk setiap klausa CjCjC_j menambahkan keunggulan untuk setiap...
Saya bertanya-tanya, apa algoritma yang paling terkenal, dalam hal notasi Big- , untuk menyelesaikan Integer Linear Programming?OOO Saya tahu bahwa masalah adalah -Lengkap, jadi aku tidak mengharapkan apa-apa polinomial. Dan saya tahu ada banyak heuristik dan yang digunakan dalam aplikasi praktis...
Masalah 3-Partisi menanyakan apakah satu set bilangan bulat dapat dipartisi menjadi n set tiga bilangan bulat sehingga setiap set berjumlah hingga beberapa bilangan bulat B yang diberikan . Masalah Balanced Partition menanyakan apakah bilangan bulat 2 n dapat dipartisi menjadi dua set kardinalitas...
Misalkan ada sesi tutorial di universitas. Kami memiliki serangkaian pertanyaan dan satu set siswa . Setiap siswa memiliki keraguan dalam subset pertanyaan tertentu, yaitu untuk setiap siswa , biarkan menjadi set pertanyaan yang siswa ragukan. Asumsikan bahwa \ forall 1 \ leq j \ leq n: Q_j \...
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...
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{...
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...
Dalam hal runtime asimptotik kasus terburuk, masalah NP-lengkap mana yang memiliki algoritma (paling tepat) paling cepat diketahui dan apa algoritma itu? Adakah yang diketahui lebih cepat dari
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...
Dengan asumsi bahwa kita memiliki masalah dan kami menunjukkan bahwa batas bawah untuk menyelesaikan adalah .ppppppΩ(2n)Ω(2n)\mathcal{\Omega}(2^n) dapat batas bawah menyiratkan masalah dalam
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...
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,...
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...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
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 yang dikenal yang secara benar menampilkan "ya" ke masalah NP-complete tanpa secara implisit menghasilkan sertifikat? Saya mengerti bahwa sangat mudah untuk mengubah oracle kepuasan menjadi pencari penugasan memuaskan: hanya beralih pada variabel, setiap kali meminta oracle...
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...
Saya bertanya-tanya apakah ada algoritma polinomial untuk "2-SAT dengan hubungan XOR". Baik 2-SAT dan XOR-SAT berada di P, tetapi apakah kombinasinya? Input Contoh: Bagian 2-SAT: (a or !b) and (b or c) and (b or d) Bagian XOR: (a xor b xor c xor 1) and (b xor c xor d) Dengan kata lain,...