Tricritical points in random combinatorics: the -SAT case

Rémi Monasson, Riccardo Zecchina
1998 Journal of Physics A: Mathematical and General  
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+p-SAT problem is analytically computed using the replica approach and found to lie in the range 2/5 < p_0 < 0.416. These bounds on p_0 are in agreement with previous numerical simulations and rigorous results.
doi:10.1088/0305-4470/31/46/011 fatcat:n7lb7kld7vghrfmjbqzwpogrja