Qualche risultato sul CSP booleano binario oltre la tracciabilità dei parametri fissi del problema di quasi 2SAT?


12

Sia una formula 2CNF e k un numero intero non negativo. È dimostrato in questo documento che il problema di decidere se si possono eliminare al massimo k clausole per rendere φ soddisfacente, è trattabile a parametro fisso, dove k è il parametro. La mia domanda è se ci sono alcuni lavori che generalizzano questo risultato ad altri CSP binari booleani? (Cioè, per decidere se si possono eliminare al massimo k vincoli per rendere soddisfacente qualche istanza CSP, parametrizzata da k ) O qualche risultato negativo?φKKφKKK


Sono davvero curioso di sapere cosa mi manca qui - non è quasi 2SAT trattabile con parametri fissi banalmente perché ci sono solo polinomialmente molti insiemi al massimo di clausole per k fisso ? KK
Dave,

@Dave ci sono circa insiemi di clausole, ma la tracciabilità a parametri fissi non consente a k di apparire nella parte esponenziale del runtime. O(nK)K
Regolarità

Risposte:


8

Per quanto ne so, la classificazione di questa variante di CSP è molto aperta. È possibile esprimere alcuni problemi trattabili a parametri fissi nell'impostazione (ad es. D-Hitting Set è all'incirca il caso in cui si hanno clausole di dimensione positive al massimo d più assegnazioni negative; all'incirca significa che il problema CSP è leggermente più generale ma riduce facilmente ritorno a d-HS, o almeno d-HS ponderato). Anche per i vincoli che è possibile implementare tramite formule 2-CNF quantificate esistenzialmente, è aperta quale sia la complessità. Il problema è che quando si implementano i vincoli in questo modo, mentre sono 2-CNF, si paga solo uno per eliminare il tutto. Quindi anche semplici vincoli che sono solo la congiunzione di altri due può essere difficile (potrei avere esempio + riferimento in seguito).

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.