• DOI:10.1109/SFCS.1992.267789
Corpus ID: 5575389

Mick gets some (the odds are on his side) (satisfiability)

@article{Chvtal1992MickGS,
  title={Mick gets some (the odds are on his side) (satisfiability)},
  author={V. Chv{\'a}tal and B. Reed},
  journal={Proceedings., 33rd Annual Symposium on Foundations of Computer Science},
  year={1992},
  pages={620-627}
}

V. Chvátal, B. Reed

Published 1992

Mathematics, Computer Science

Proceedings., 33rd Annual Symposium on Foundations of Computer Science

Consider a randomly generated boolean formula F (in the conjunctive normal form) with m clauses of size k over n variables; k is fixed at any value greater than 1, but n tends to infinity and m = (1 + o(1))cn for some c depending only on k. It is easy to see that F is unsatisfiable with probability 1-o(1) whenever c>(ln 2)2/sup k/; the authors complement this observation by proving that F is satisfiable with probability 1-o(1) whenever c<(0.25)2/sup k//k; in fact, they present a linear-time… CONTINUE READING

View on IEEE

computer.org

Save to Library

Create Alert

Cite

Launch Research Feed