Optimal Inapproximability with Universal Factor Graphs
Paper i proceeding, 2021

The factor graph of an instance of a constraint satisfaction problem (CSP) is the bipartite graph indicating which variables appear in each constraint. An instance of the CSP is given by the factor graph together with a list of which predicate is applied for each constraint. We establish that many Max-CSPs remains as hard to approximate as in the general case even when the factor graph is fixed (depending only on the size of the instance) and known in advance.

Examples of results obtained for this restricted setting are:

1. Optimal inapproximability for Max-3-Lin.
2. Approximation resistance for predicates supporting pairwise independent subgroups.
3. Hardness of the "(2+epsilon)-Sat" problem and other Promise CSPs.

The main technical tool used to establish these results is a new way of folding the long code which we call "functional folding".


Per Austrin

Kungliga Tekniska Högskolan (KTH)

Jonah Brown-Cohen

Data Science och AI 1

Johan Håstad

Kungliga Tekniska Högskolan (KTH)

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021

The 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021
Virtual Conference, ,


Datavetenskap (datalogi)

Diskret matematik



Mer information

Senast uppdaterat