Matches in SemOpenAlex for { <https://semopenalex.org/work/W2985510938> ?p ?o ?g. }
- W2985510938 abstract "Random constraint satisfaction problems (CSPs) such as random $3$-SAT are conjectured to be computationally intractable. The average case hardness of random $3$-SAT and other CSPs has broad and far-reaching implications on problems in approximation, learning theory and cryptography. In this work, we show subexponential lower bounds on the size of linear programming relaxations for refuting random instances of constraint satisfaction problems. Formally, suppose $P : {0,1}^k to {0,1}$ is a predicate that supports a $t-1$-wise uniform distribution on its satisfying assignments. Consider the distribution of random instances of CSP $P$ with $m = Delta n$ constraints. We show that any linear programming extended formulation that can refute instances from this distribution with constant probability must have size at least $Omegaleft(expleft(left(frac{n^{t-2}}{Delta^2}right)^{frac{1-nu}{k}}right)right)$ for all $nu > 0$. For example, this yields a lower bound of size $exp(n^{1/3})$ for random $3$-SAT with a linear number of clauses. We use the technique of pseudocalibration to directly obtain extended formulation lower bounds from the planted distribution. This approach bypasses the need to construct Sherali-Adams integrality gaps in proving general LP lower bounds. As a corollary, one obtains a self-contained proof of subexponential Sherali-Adams LP lower bounds for these problems. We believe the result sheds light on the technique of pseudocalibration, a promising but conjectural approach to LP/SDP lower bounds." @default.
- W2985510938 created "2019-11-22" @default.
- W2985510938 creator A5044412015 @default.
- W2985510938 creator A5050009197 @default.
- W2985510938 date "2019-11-07" @default.
- W2985510938 modified "2023-10-01" @default.
- W2985510938 title "Extended Formulation Lower Bounds for Refuting Random CSPs" @default.
- W2985510938 cites W1507263262 @default.
- W2985510938 cites W1891181203 @default.
- W2985510938 cites W1972913305 @default.
- W2985510938 cites W2010440649 @default.
- W2985510938 cites W2022749269 @default.
- W2985510938 cites W2031923588 @default.
- W2985510938 cites W2033871299 @default.
- W2985510938 cites W2049204972 @default.
- W2985510938 cites W2072802070 @default.
- W2985510938 cites W2107052785 @default.
- W2985510938 cites W2138341424 @default.
- W2985510938 cites W2140125566 @default.
- W2985510938 cites W2171194443 @default.
- W2985510938 cites W2185716868 @default.
- W2985510938 cites W2345432430 @default.
- W2985510938 cites W2529974411 @default.
- W2985510938 cites W2534717833 @default.
- W2985510938 cites W2536688806 @default.
- W2985510938 cites W2574497079 @default.
- W2985510938 cites W87237596 @default.
- W2985510938 hasPublicationYear "2019" @default.
- W2985510938 type Work @default.
- W2985510938 sameAs 2985510938 @default.
- W2985510938 citedByCount "0" @default.
- W2985510938 crossrefType "posted-content" @default.
- W2985510938 hasAuthorship W2985510938A5044412015 @default.
- W2985510938 hasAuthorship W2985510938A5050009197 @default.
- W2985510938 hasConcept C105795698 @default.
- W2985510938 hasConcept C110121322 @default.
- W2985510938 hasConcept C114614502 @default.
- W2985510938 hasConcept C114928208 @default.
- W2985510938 hasConcept C118615104 @default.
- W2985510938 hasConcept C121332964 @default.
- W2985510938 hasConcept C122123141 @default.
- W2985510938 hasConcept C126255220 @default.
- W2985510938 hasConcept C134306372 @default.
- W2985510938 hasConcept C138405894 @default.
- W2985510938 hasConcept C182514268 @default.
- W2985510938 hasConcept C199622910 @default.
- W2985510938 hasConcept C2779557605 @default.
- W2985510938 hasConcept C2780012671 @default.
- W2985510938 hasConcept C2781221856 @default.
- W2985510938 hasConcept C33923547 @default.
- W2985510938 hasConcept C41045048 @default.
- W2985510938 hasConcept C49937458 @default.
- W2985510938 hasConcept C62520636 @default.
- W2985510938 hasConcept C77553402 @default.
- W2985510938 hasConceptScore W2985510938C105795698 @default.
- W2985510938 hasConceptScore W2985510938C110121322 @default.
- W2985510938 hasConceptScore W2985510938C114614502 @default.
- W2985510938 hasConceptScore W2985510938C114928208 @default.
- W2985510938 hasConceptScore W2985510938C118615104 @default.
- W2985510938 hasConceptScore W2985510938C121332964 @default.
- W2985510938 hasConceptScore W2985510938C122123141 @default.
- W2985510938 hasConceptScore W2985510938C126255220 @default.
- W2985510938 hasConceptScore W2985510938C134306372 @default.
- W2985510938 hasConceptScore W2985510938C138405894 @default.
- W2985510938 hasConceptScore W2985510938C182514268 @default.
- W2985510938 hasConceptScore W2985510938C199622910 @default.
- W2985510938 hasConceptScore W2985510938C2779557605 @default.
- W2985510938 hasConceptScore W2985510938C2780012671 @default.
- W2985510938 hasConceptScore W2985510938C2781221856 @default.
- W2985510938 hasConceptScore W2985510938C33923547 @default.
- W2985510938 hasConceptScore W2985510938C41045048 @default.
- W2985510938 hasConceptScore W2985510938C49937458 @default.
- W2985510938 hasConceptScore W2985510938C62520636 @default.
- W2985510938 hasConceptScore W2985510938C77553402 @default.
- W2985510938 hasLocation W29855109381 @default.
- W2985510938 hasOpenAccess W2985510938 @default.
- W2985510938 hasPrimaryLocation W29855109381 @default.
- W2985510938 hasRelatedWork W1549252969 @default.
- W2985510938 hasRelatedWork W1973046087 @default.
- W2985510938 hasRelatedWork W1981949200 @default.
- W2985510938 hasRelatedWork W1983992721 @default.
- W2985510938 hasRelatedWork W2007239493 @default.
- W2985510938 hasRelatedWork W2007385254 @default.
- W2985510938 hasRelatedWork W2036139215 @default.
- W2985510938 hasRelatedWork W2098180694 @default.
- W2985510938 hasRelatedWork W2154297841 @default.
- W2985510938 hasRelatedWork W2185716868 @default.
- W2985510938 hasRelatedWork W2345432430 @default.
- W2985510938 hasRelatedWork W2404305720 @default.
- W2985510938 hasRelatedWork W2418282370 @default.
- W2985510938 hasRelatedWork W2530117330 @default.
- W2985510938 hasRelatedWork W2574497079 @default.
- W2985510938 hasRelatedWork W2951692244 @default.
- W2985510938 hasRelatedWork W2963901621 @default.
- W2985510938 hasRelatedWork W3002090153 @default.
- W2985510938 hasRelatedWork W3173219382 @default.
- W2985510938 hasRelatedWork W3196550748 @default.
- W2985510938 isParatext "false" @default.
- W2985510938 isRetracted "false" @default.
- W2985510938 magId "2985510938" @default.