On the approximation resistance of balanced linear threshold functions
@article{Potechin2019OnTA, title={On the approximation resistance of balanced linear threshold functions}, author={Aaron Potechin}, journal={Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing}, year={2019} }
In this paper, we show that there exists a balanced linear threshold function (LTF) which is unique games hard to approximate, refuting a conjecture of Austrin, Benabbas, and Magen. We also show that the almost monarchy predicate P(x) = sign((k−4)x1 + ∑i=2kxi) is approximable for sufficiently large k.
Figures from this paper
7 Citations
Sketching Approximability of (Weak) Monarchy Predicates
- Computer Science, MathematicsArXiv
- 2022
This work explores the approximability of monarchy-like functions where the value of the function is determined by a weighted combination of the vote of the first variable and the sum of the votes of all remaining variables.
J ul 2 01 9 On the Approximability of Presidential Type Predicates
- Mathematics
- 2019
Given a predicate P : {−1, 1} → {−1, 1}, let CSP(P ) be the set of constraint satisfaction problems whose constraints are of the form P . We say that P is approximable if given a nearly satisfiable…
On the Mysteries of MAX NAE-SAT
- MathematicsSODA
- 2021
There is no $\frac{7}{8}$-approximation algorithm for MAX NAE-SAT, assuming the unique games conjecture (UGC), and an approximation algorithm for almost satisfiable instances of MAX NAe-S AT is described with a conjectured approximation ratio of 0.8728.
On the Approximability of Presidential Type Predicates
- Mathematics, Computer ScienceAPPROX-RANDOM
- 2020
This paper analyzes presidential type predicates, which are balanced linear threshold functions where all of the variables except the first variable (the president) have the same weight, and shows that almost all presidential-type predicates $P$ are approximable.
Classification of the streaming approximability of Boolean CSPs
- Computer ScienceElectron. Colloquium Comput. Complex.
- 2021
This work completely characterize the approximability of all Boolean CSPs in the streaming model and shows wider applicability of bias-based algorithms used previously by [GVV17], [CGV20] by giving a systematic way to explore biases.
Approximability of all Boolean CSPs with linear sketches
- Computer Science
- 2021
The positive results show wider applicability of bias-based algorithms used previously by [GVV17] and [CGV20] by giving a systematic way to discover biases, and the negative results combine the Fourier analytic methods of [KKS15], which extend to a wider class of CSPs.
Approximability of all Boolean CSPs in the dynamic streaming setting∗
- Computer Science
- 2021
The positive results show wider applicability of bias-based algorithms used previously by [GVV17] and [CGV20] by giving a systematic way to discover biases and the negative results combine the Fourier analytic methods of [KKS15], which are extended to a wider class of CSPs.
References
SHOWING 1-10 OF 28 REFERENCES
A characterization of approximation resistance for even k-partite CSPs
- Mathematics, Computer ScienceITCS '13
- 2013
This work gives a characterization of approximation resistance for k-partite CSPs defined by an even predicate and assumes the Unique Games Conjecture.
Some optimal inapproximability results
- Computer Science, MathematicsJACM
- 2001
We prove optimal, up to an arbitrary ε > 0, inapproximability results for Max-E k-Sat for k ≥ 3, maximizing the number of satisfied linear equations in an over-determined system of linear equations…
Approximation Resistant Predicates from Pairwise Independence
- Mathematics, Computer Science2008 23rd Annual IEEE Conference on Computational Complexity
- 2008
It is shown that a predicate P is approximation resistant if there exists a balanced pairwise independent distribution over [q]k whose support is contained in the set of satisfying assignments to P.
A Characterization of Approximation Resistance
- Mathematics, Computer ScienceElectron. Colloquium Comput. Complex.
- 2013
A complete characterization of approximation resistant predicates under the Unique Games Conjecture is presented and characterizations in the {\it mixed} linear and semi-definite programming hierarchy and the Sherali-Adams linear programming hierarchy are presented.
Proving Weak Approximability Without Algorithms
- Mathematics, Computer ScienceAPPROX-RANDOM
- 2016
This work uses the recent characterization of strong approximation resistance by Khot et al. to prove that for a given predicate, certain necessary conditions for strong resistance derived from their characterization, are violated, which implies the existence of a good rounding algorithm, proving weak approximability.
A characterization of strong approximation resistance
- Mathematics, Computer ScienceElectron. Colloquium Comput. Complex.
- 2013
This work presents a characterization of strongly approximation resistant predicates under the Unique Games Conjecture, and presents characterizations in the mixed linear and semi-definite programming hierarchy and the Sherali-Adams linear programming hierarchy.
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
- MathematicsSIAM J. Comput.
- 1998
This paper isolates a class (of problems specified by) "monotone monadic SNP without inequality" which may exhibit a dichotomy, and explains the placing of all these restrictions by showing, essentially using Ladner's theorem, that classes obtained by using only two of the above three restrictions do not show this dichotomy.
Optimal algorithms and inapproximability results for every CSP?
- Computer Science, MathematicsSTOC
- 2008
A generic conversion from SDP integrality gaps to UGC hardness results for every CSP is shown, which achieves at least as good an approximation ratio as the best known algorithms for several problems like MaxCut, Max2Sat, MaxDiCut and Unique Games.
A Proof of CSP Dichotomy Conjecture
- Mathematics, Computer Science2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)
- 2017
An algorithm is presented that solves Constraint Satisfaction Problem in polynomial time for constraint languages having a weak near unanimity polymorphism, which proves the remaining part of the conjecture.
A Dichotomy Theorem for Nonuniform CSPs
- Mathematics2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)
- 2017
The Dichotomy Conjecture for the non-uniform CSP states that for every constraint language \Gm the problem CSP is either solvable in polynomial time or is NP-complete.