[Combprob] This Wednesday at 10:30: Nike Sun (MIT) "The exact k-SAT threshold for large k"
Daniel Spielman
spielman at cs.yale.edu
Sun Oct 25 13:13:37 EDT 2015
This talk is taking place at an unusual time and place.
It will be Oct 28 at 10:30 in DL 431.
*Oct 28: Nike Sun (MIT) 10:30 in DL 431:* "The exact k-SAT threshold for
large k"
We establish the random k-SAT threshold conjecture for all k exceeding an
absolute constant k(0). That is, there is a single critical value c_*(k)
such that a random k-SAT formula at clause-to-variable ratio c is with high
probability satisfiable for c < c_*(k), and unsatisfiable for c > c_*(k).
The threshold c_*(k) matches the explicit prediction derived by statistical
physicists on the basis of the one-step replica symmetry breaking (1RSB)
heuristic. In the talk I will describe the main obstacles in computing the
threshold, and explain how they are overcome in our proof.
Joint work with Jian Ding and Allan Sly.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.yale.edu/pipermail/combprob/attachments/20151025/ae54da54/attachment.html
More information about the Combprob
mailing list