# A Characterization of Approximability for Biased CSPs

A μ-biased Max-CSP instance with predicate ψ:{0,1}^r →{0,1} is an instance of Constraint Satisfaction Problem (CSP) where the objective is to find a labeling of relative weight at most μ which satisfies the maximum fraction of constraints. Biased CSPs are versatile and express several well studied problems such as Densest-k-Sub(Hyper)graph and SmallSetExpansion. In this work, we explore the role played by the bias parameter μ on the approximability of biased CSPs. We show that the approximability of such CSPs can be characterized (up to loss of factors of arity r) using the bias-approximation curve of Densest-k-SubHypergraph (DkSH). In particular, this gives a tight characterization of predicates which admit approximation guarantees that are independent of the bias parameter μ. Motivated by the above, we give new approximation and hardness results for DkSH. In particular, assuming the Small Set Expansion Hypothesis (SSEH), we show that DkSH with arity r and k = μ n is NP-hard to approximate to a factor of Ω(r^3μ^r-1log(1/μ)) for every r ≥ 2 and μ < 2^-r. We also give a O(μ^r-1log(1/μ))-approximation algorithm for the same setting. Our upper and lower bounds are tight up to constant factors, when the arity r is a constant, and in particular, imply the first tight approximation bounds for the Densest-k-Subgraph problem in the linear bias regime. Furthermore, using the above characterization, our results also imply matching algorithms and hardness for every biased CSP of constant arity.

## Authors

• 10 publications
• 24 publications
01/25/2018

### Hardness of Approximation for Morse Matching

We consider the approximability of maximization and minimization variant...
08/25/2017

### The Price of Uncertainty in Present-Biased Planning

The tendency to overestimate immediate utility is a common cognitive bia...
12/03/2021

### Strong Hardness of Approximation for Tree Transversals

Let H be a fixed graph. The H-Transversal problem, given a graph G, asks...
10/25/2019

### Tight Running Time Lower Bounds for Strong Inapproximability of Maximum k-Coverage, Unique Set Cover and Related Problems (via t-Wise Agreement Testing Theorem)

We show, assuming the (randomized) Gap Exponential Time Hypothesis (Gap-...
05/04/2021

### Streaming approximation resistance of every ordering CSP

An ordering constraint satisfaction problem (OCSP) is given by a positiv...
09/06/2020

### Optimal Inapproximability of Satisfiable k-LIN over Non-Abelian Groups

A seminal result of Håstad [J. ACM, 48(4):798–859, 2001] shows that it i...
05/02/2019

### Tight Approximation Bounds for Maximum Multi-Coverage

In the classic maximum coverage problem, we are given subsets T_1, ..., ...
##### This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.