Pertanyaan yang diberi tag «csp»

CSP adalah singkatan dari masalah kepuasan kendala.

2
Teorema Ladner vs. Teorema Schaefer
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 masalah dalam yang bukan -lengkap.P≠NPP≠NP{\bf P} \ne …
3
Sumber Pendidikan atau Survei tentang Analisis Program Semidefinite?
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 yang baik melampaui masalah Max-Cut untuk menjelaskan algoritma pembulatan yang lebih kompleks dan teknik yang …
5
Buka atau Kepuasan Kendala Interaktif
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 sehingga tidak lagi menjadi kotak hitam. Jadi, saya …
17 sat  lo.logic  csp 
1
Mempertahankan pesanan dalam daftar dalam dalam waktu
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: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …
1
Teorema Schaefer dan CSP dengan lebar tidak terbatas
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 tidak dapat dihitung), jadi mari kita batasi diri …
1
Adakah hasil pada biner boolean CSP di luar traktabilitas parameter tetap dari masalah hampir 2SAT?
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 pekerjaan yang menggeneralisasi hasil ini ke CSP boolean …
1
Menemukan penumbra dari Masalah Kepuasan Kendala
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 banyak pemeriksaan validitas langsung. Contoh klasiknya …
12 lo.logic  csp  security 
3
Kesenjangan sulit dalam masalah kepuasan kendala maksimal?
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 semua CSP Max berdasarkan apakah ada celah yang sulit atau tidak? …
2
Apakah masalah N Queens NP-hard?
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 NP-Hard. (Mis. Web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Namun saya …
1
CSP dengan lebar hypertree fraksional tak terbatas
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 [0,\infty) , B(γ)=B(γ)=B(\gamma) = { v∈V(H):∑e∈V(H),v∈eγ(e)≥1v∈V(H):∑e∈V(H),v∈eγ(e)≥1v \in V(H) : \sum_{e \in V(H), v \in e} \gamma(e) …
1
kompleksitas masalah janji kepuasan kendala
(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 ini, jika tidak …
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.