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...

• Type: Conference
• Year: 2010
• Where: ICALP
• Authors: Stefan Kratsch, Magnus Wahlström
• Keywords: ICALP 2010, Min Ones, Ones Constraint Satisfaction, Polynomial Kernelization, Programming Languages