Local Geometry of NAE-SAT Solutions in the Condensation Regime
Abstract
References
Index Terms
- Local Geometry of NAE-SAT Solutions in the Condensation Regime
Recommendations
Satisfiability threshold for random regular NAE-SAT
STOC '14: Proceedings of the forty-sixth annual ACM symposium on Theory of computingWe consider the random regular k-nae-sat problem with n variables each appearing in exactly d clauses. For all k exceeding an absolute constant k0, we establish explicitly the satisfiability threshold d* ∈ d*(k). We prove that for d < d* the problem is ...
Proof of the Satisfiability Conjecture for Large k
STOC '15: Proceedings of the forty-seventh annual ACM symposium on Theory of ComputingWe establish the satisfiability threshold for random k-SAT for all k ≥ k0. That is, there exists a limiting density αs(k) such that a random k-SAT formula of clause density α is with high probability satisfiable for α < αs, and unsatisfiable for α > αs. ...
Sampling constraint satisfaction solutions in the local lemma regime
STOC 2021: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of ComputingWe give a Markov chain based algorithm for sampling almost uniform solutions of constraint satisfaction problems (CSPs). Assuming a canonical setting for the Lovász local lemma, where each constraint is violated by a small number of forbidden local ...
Comments
Information & Contributors
Information
Published In
- General Chairs:
- Bojan Mohar,
- Igor Shinkar,
- Program Chair:
- Ryan O'Donnell
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- Division of Mathematical Sciences
- Office of Naval Research
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 51Total Downloads
- Downloads (Last 12 months)51
- Downloads (Last 6 weeks)22
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in