Adakah hasil pada biner boolean CSP di luar traktabilitas parameter tetap dari masalah hampir 2SAT?


12

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 biner lainnya? (Yaitu, untuk memutuskan apakah seseorang dapat menghapus paling banyak kendala k untuk membuat beberapa contoh CSP memuaskan, parameterkan oleh k ) Atau hasil negatif?φkkφkkk


Saya benar-benar ingin tahu apa yang saya lewatkan di sini - bukankah hampir 2SAT traktat parameter tetap sepele karena hanya ada banyak set secara polinomially set paling banyak klausa untuk k diperbaiki ? kk
Dave

@ Sudah ada sekitar set klausa, tetapi traktabilitas parameter tetap tidak memungkinkan k muncul di bagian eksponensial runtime. HAI(nk)k
Keteraturan

Jawaban:


8

Sepengetahuan saya mengklasifikasikan varian CSP ini terbuka lebar. Anda dapat mengungkapkan beberapa masalah yang dapat ditelusuri parameter-tetap dalam pengaturan (mis., D-Hitting Set kira-kira merupakan kasus di mana Anda memiliki klausa ukuran positif paling banyak di d penugasan negatif; kira-kira berarti bahwa masalah CSP sedikit lebih umum tetapi dengan mudah mengurangi kembali ke d-HS, atau setidaknya berbobot d-HS). Bahkan untuk kendala yang dapat Anda terapkan melalui rumus 2-CNF terukur yang ada, terbuka apa kompleksitasnya. Masalahnya adalah ketika menerapkan kendala dengan cara ini, sementara mereka 2-CNF, Anda hanya membayar satu untuk menghapus semuanya. Oleh karena itu bahkan kendala sederhana yang hanya merupakan gabungan dari dua lainnya dapat menjadi sulit (saya mungkin punya referensi + contoh nanti).

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.