Abstract
ABSTRACTLet Z(F) be the number of solutions of a random k‐satisfiability formula F with n variables and clause density α. Assume that the probability that F is unsatisfiable is for some . We show that (possibly excluding a countable set of “exceptional” α's) the number of solutions concentrates, i.e., there exists a non‐random function such that, for any , we have with high probability. In particular, the assumption holds for all , which proves the above concentration claim in the whole satisfiability regime of random 2‐SAT. We also extend these results to a broad class of constraint satisfaction problems. © 2013 Wiley Periodicals, Inc. Random Struct. Alg., 45, 362–382, 2014
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.