Computer Science > Computational Complexity
[Submitted on 19 Jan 2016 (this version), latest version 8 May 2018 (v2)]
Title:Fixed-parameter Approximability of Boolean MinCSPs
View PDFAbstract:The minimum unsatisfiability version of a constraint satisfaction problem asks for an assignment where the number of unsatisfied constraints is minimum possible, or equivalently, asks for a minimum-size set of constraints whose deletion makes the instance satisfiable. For a finite set $\Gamma$ of constraints, we denote by MinCSP($\Gamma$) the restriction of the problem where each constraint is from $\Gamma$. The polynomial-time solvability and the polynomial-time approximability of MinCSP($\Gamma$) were fully characterized by Khanna et al. Here we study the fixed-parameter approximability of the problem: given an instance and an integer $k$, one has to find a solution of size at most $g(k)$ in time $f(k)\cdot n^{O(1)}$ if a solution of size at most $k$ exists. We especially focus on the case of constant-factor FP-approximability. Our main result classifies each finite constraint language $\Gamma$ into one of three classes: MinCSP($\Gamma$) has a constant-factor FP-approximation. MinCSP($\Gamma$) has a (constant-factor) FP-approximation if and only if Nearest Codeword has a (constant-factor) FP-approximation. MinCSP($\Gamma$) has no FP-approximation, unless $FPT=W[P]$. We give some evidence that problems in the second class do not have constant-factor FP-approximations: we show that there is no such approximation if both the Exponential-Time Hypothesis (ETH) and the Linear PCP Conjecture (LPC) are true, and we also show that such an approximation would imply the existence of an FP-approximation for the $k$-Densest Subgraph problem with ratio $1-\epsilon$ for any $\epsilon>0$.
Submission history
From: Édouard Bonnet [view email][v1] Tue, 19 Jan 2016 14:28:37 UTC (786 KB)
[v2] Tue, 8 May 2018 12:31:19 UTC (874 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.