Journal
SIAM JOURNAL ON COMPUTING
Volume 51, Issue 2, Pages -Publisher
SIAM PUBLICATIONS
DOI: 10.1137/17M1152966
Keywords
extended formulations; nonnegative rank; communication complexity; rectangles; juntas; lifting theorems
Funding
- NSF [CCF-1408643, CCF-1343104, CCF-1553605]
- Sloan Fellowship
Ask authors/readers for more resources
This study shows that weakly exponential size linear programming relaxations for constraint satisfaction problems (CSPs) are as powerful as the explicit linear program of the Sherali-Adams linear programming hierarchy. By combining with known lower bounds, subexponential size lower bounds for linear programming relaxations are obtained, which surpass random guessing for many CSPs.
We show that for constraint satisfaction problems (CSPs), weakly exponential size linear programming relaxations are as powerful as the explicit linear program described by n(Omega(1))-rounds of the Sherali-Adams linear programming hierarchy. Combining with the known lower bounds on the Sherali-Adams hierarchy, we obtain subexponential size lower bounds for linear programming relaxations that beat random guessing for many CSPs such as MAX-CUT and MAX-3SAT. This is a nearly exponential improvement over previous results; previously, it was only known that linear programs of size n(o(log n)) cannot beat random guessing for such CSP Chan et al. [FOCS 2013, IEEE, Piscataway, NJ, 2013, pp. 350-359]. Our bounds are obtained by exploiting and extending the recent progress in communication complexity for lifting query lower bounds to communication problems. The main ingredient in our results is a new structural result on high-entropy rectangles that may be of independent interest in communication complexity.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available