English

Tricritical Points in Random Combinatorics: the (2+p)-SAT case

Disordered Systems and Neural Networks 2009-10-31 v1

Abstract

The (2+p)-Satisfiability (SAT) problem interpolates between different classes of complexity theory and is believed to be of basic interest in understanding the onset of typical case complexity in random combinatorics. In this paper, a tricritical point in the phase diagram of the random 2+p2+p-SAT problem is analytically computed using the replica approach and found to lie in the range 2/5p00.4162/5 \le p_0 \le 0.416. These bounds on p0p_0 are in agreement with previous numerical simulations and rigorous results.

Cite

@article{arxiv.cond-mat/9810008,
  title  = {Tricritical Points in Random Combinatorics: the (2+p)-SAT case},
  author = {Remi Monasson and Riccardo Zecchina},
  journal= {arXiv preprint arXiv:cond-mat/9810008},
  year   = {2009}
}

Comments

7 pages, 1 figure, RevTeX, to appear in J.Phys.A

R2 v1 2026-07-22T12:06:54.107Z