The 3-XORSAT Threshold

Abstract : We prove the existence of a threshold phenomenon regarding the random 3-XORSAT problem (or more generally k-XORSAT). We provide the value of the threshold as the solution of two transcendental equations. These results confirm rigorously those obtained by physicists using the one-step replica symmetry breaking method and thus give for the first time the proof of the validity of this method for a problem of the class of satisfiability problems.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01185801
Contributor : Lip6 Publications <>
Submitted on : Friday, August 21, 2015 - 3:22:27 PM
Last modification on : Tuesday, May 14, 2019 - 10:08:34 AM

Identifiers

Citation

Olivier Dubois, Jacques Mandler. The 3-XORSAT Threshold. Comptes Rendus Mathématique, Elsevier Masson, 2002, 335 (11), pp.963-966. ⟨10.1016/S1631-073X(02)02563-3⟩. ⟨hal-01185801⟩

Share

Metrics

Record views

207