Log In Sign Up

Approximating CSPs with Outliers

by   Suprovat Ghoshal, et al.

Constraint satisfaction problems (CSPs) are ubiquitous in theoretical computer science. We study the problem of StrongCSPs, i.e. instances where a large induced sub-instance has a satisfying assignment. More formally, given a CSP instance Ψ(V, E, [k], {Π_ij}_(i,j) ∈ E) consisting of a set of vertices V, a set of edges E, alphabet [k], a constraint Π_ij⊂ [k] × [k] for each (i,j) ∈ E, the goal of this problem is to compute the largest subset S ⊆ V such that the instance induced on S has an assignment that satisfies all the constraints. In this paper, we study approximation algorithms for Unique Games and related problems under the StrongCSP framework when the underlying constraint graph satisfies mild expansion properties. In particular, we show that given a Strong Unique Games instance whose optimal solution S^* is supported on a regular low threshold rank graph, there exists an algorithm that runs in time exponential in the threshold rank, and recovers a large satisfiable sub-instance whose size is independent on the label set size and maximum degree of the graph. Our algorithm combines the techniques of Barak-Raghavendra-Steurer (FOCS'11), Guruswami-Sinop (FOCS'11) with several new ideas and runs in time exponential in the threshold rank of the optimal set. A key component of our algorithm is a new threshold rank based spectral decomposition, which is used to compute a "large" induced subgraph of "small" threshold rank; our techniques build on the work of Oveis Gharan and Rezaei (SODA'17) and could be of independent interest.


page 1

page 2

page 3

page 4


Approximation Algorithms and Hardness for Strong Unique Games

The UNIQUE GAMES problem is a central problem in algorithms and complexi...

Playing Unique Games on Certified Small-Set Expanders

We give an algorithm for solving unique games (UG) instances whose const...

Approximating Constraint Satisfaction Problems on High-Dimensional Expanders

We consider the problem of approximately solving constraint satisfaction...

Streaming approximation resistance of every ordering CSP

An ordering constraint satisfaction problem (OCSP) is given by a positiv...

Towards Efficient Data Valuation Based on the Shapley Value

"How much is my data worth?" is an increasingly common question posed by...

Combinatorial Optimization via the Sum of Squares Hierarchy

We study the Sum of Squares (SoS) Hierarchy with a view towards combinat...

On Backdoors To Tractable Constraint Languages

In the context of CSPs, a strong backdoor is a subset of variables such ...