Sciweavers

ICALP
2010
Springer

Preprocessing of Min Ones Problems: A Dichotomy

14 years 2 months ago
Preprocessing of Min Ones Problems: A Dichotomy
Min Ones Constraint Satisfaction Problems, i.e., the task of finding a satisfying assignment with at most k true variables (Min Ones SAT(Γ)), can express a number of interesting and natural problems. We study the preprocessing properties of this class of problems with respect to k, using the notion of kernelization to capture the viability of preprocessing. We give a dichotomy of Min Ones SAT(Γ) problems into admitting or not admitting a kernelization with size guarantee polynomial in k, based on the constraint language Γ. We introduce a property of boolean relations called mergeability that can be easily checked for any Γ. When all relations in Γ are mergeable, then we show a polynomial kernelization for Min Ones SAT(Γ). Otherwise, any Γ containing a non-mergeable relation and such that Min Ones SAT(Γ) is NP-complete permits us to prove that Min Ones SAT(Γ) does not admit a polynomial kernelization unless NP ⊆ co-NP/poly, by a reduction from a particular parameterization o...
Stefan Kratsch, Magnus Wahlström
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where ICALP
Authors Stefan Kratsch, Magnus Wahlström
Comments (0)