CSP adalah singkatan dari masalah kepuasan kendala.
Saat membaca artikel "Apakah Saatnya Menyatakan Kemenangan dalam Menghitung Kompleksitas?" di blog "Surat Hilang Godel dan P = NP" , mereka menyebutkan dikotomi untuk CSP. Setelah beberapa link berikut, googling dan wikipeding, saya menemukan Teorema Ladner : Teorema Ladner: Jika , maka ada...
Ketika mendesain algoritma aproksimasi seseorang kadang-kadang memecahkan program semidefinite diikuti oleh langkah pembulatan. Contoh yang sering digunakan untuk menggambarkan ini adalah Max-Cut. (Lihat misalnya Algoritma Aproksimasi oleh Vijay Vazirani.) Apakah ada sumber atau survei pendidikan...
Di masa lalu, saya menerapkan model koordinasi menggunakan SAT dan kepuasan kendala reguler sebagai pekerja keras inti di mesin mereka. Melanjutkan pekerjaan ini, saya ingin membuat model lebih interaktif, dan cara terbaik yang saya lihat untuk melakukannya adalah dengan membuka pemecah kendala...
Latar belakang : Dalam kertas UGC asli Subhash Khot ( PDF ), ia membuktikan kekerasan UG memutuskan apakah contoh CSP yang diberikan dengan kendala semua bentuk Tidak-semua-sama (a, b, c) pada alfabet ternary mengakui tugas yang memuaskan 1 - ϵϵ\epsilon dari kendala atau apakah tidak ada tugas...
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...
Formulasi setara PCP teorema adalah: Untuk Max 3-SAT itu adalah -Hard untuk membedakan antara formula satisfiable dan formula mana paling r -fraction klausul yang satisfiable (untuk beberapa r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Apakah ada teorema dikotomi diketahui yang mengklasifikasikan...
Pertanyaan berikut telah muncul beberapa kali saat menguji keamanan sistem atau model. Motivasi: Kelemahan keamanan perangkat lunak sering kali bukan berasal dari bug karena input yang valid, tetapi bug yang dihasilkan dari input tidak valid yang cukup dekat dengan input yang valid untuk melewati...
Biarkan menjadi rumus 2CNF dan k bilangan bulat tidak negatif. Hal ini terbukti dalam kertas bahwa masalah memutuskan apakah seseorang dapat menghapus paling k klausul untuk membuat φ satisfable, tetap-parameter penurut, di mana k adalah parameter. Pertanyaan saya adalah apakah ada beberapa...
Teorema dikotomi Schaefer menunjukkan bahwa setiap masalah CSP di atas dapat dipecahkan dalam waktu polinomial atau NP-complete. Ini hanya berlaku untuk masalah CSP lebar terikat, tidak termasuk SAT dan Horn-SAT, misalnya. Masalah umum CSP dengan lebar tidak terbatas mungkin sangat sulit (bahkan...
Masalah N-queen adalah ini: Input: N Keluaran: Penempatan N "ratu" pada papan catur NXN sehingga tidak ada dua ratu yang berada di baris, kolom, atau diagonal yang sama. Melakukan pencarian google pada ini, saya menemukan bahwa banyak slide oleh banyak profesor mengklaim ini adalah masalah...
a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Definisi, dll. Untuk survei hebat dekomposisi dan treewidth pohon standar, lihat di sini (Terima kasih sebelumnya, JeffE!). Biarkan HHH menjadi hypergraph. Kemudian untuk H hypergraph HHHdan pemetaan γ:E(H)→[0,∞)γ:E(H)→[0,∞)\gamma : E(H) \rightarrow...
Mengingat tetap diarahkan grafik (digraf) , yang -coloring masalah keputusan menanyakan apakah digraph masukan memiliki homomorfisma untuk . (A homomorfisme ke adalah pemetaan dari ke yang mempertahankan busur, yaitu, jika adalah busur , maka adalah busur dari )D G V ( G ) V ( D ) u v G f ( u ) f (...
(Ini adalah "upper end" dari pertanyaan saya dari lebih dari 10 bulan yang lalu di cs.stackexchange. Itu pertanyaan dan "ujung bawah" saya bertanya di sini selama 8 bulan yang lalu , yang saya juga memiliki karunia di, keduanya belum terjawab. Ini adalah tangkapan layar dari tampilan tulisan...