Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold

Details Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold

2003-10-09

arxiv.org/abs/cond-mat/0310227v1

Physics

Condensed Matter

Statistical Mechanics

Scientific paper

Many NP-complete constraint satisfaction problems appear to undergo a "phase transition'' from solubility to insolubility when the constraint density passes through a critical threshold. In all such cases it is easy to derive upper bounds on the location of the threshold by showing that above a certain density the first moment (expectation) of the number of solutions tends to zero. We show that in the case of certain symmetric constraints, considering the second moment of the number of solutions yields nearly matching lower bounds for the location of the threshold. Specifically, we prove that the threshold for both random hypergraph 2-colorability (Property B) and random Not-All-Equal k-SAT is 2^{k-1} ln 2 -O(1). As a corollary, we establish that the threshold for random k-SAT is of order Theta(2^k), resolving a long-standing open problem.

Affiliated with

Also associated with

No associations

Rating

Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-216472