Abstract
We consider the random 2-XOR satisfiability problem, in which each instance is a formula that is a conjunction of m Boolean equations of the form x ⊕ y = 0 or x ⊕ y = 1. Random formulas on n Boolean variables are chosen uniformly at random from among all \({n(n-1)\choose m}\) possible choices. This problem is known to have a coarse transition as n and m tends to infinity in the ratio m/n →c in particular the probability p(n,cn) that a random 2-XOR formula is satisfiable tends to zero when c reaches c = 1/2. We determine the rate n − 1/12 at which this probability approaches zero inside the scaling window \(m=\frac{n}{2}(1+\mu n^{-1/3})\). This main result is based on a first exact enumeration result about the number of connected components of some constrained family of random edge-weighted (0/1) graphs, namely those without cycles of odd weight. This study relies on the symbolic method and analytical tools coming from generating function theory which enable us to describe the evolution of \(n^{1/12} \ p(n,\frac{n}{2}(1+\mu n^{-1/3}))\) as a function of μ. Our results are in accordance with those obtained by statistical physics methods, their tightness points out the benefit one could get in developping generating function methods for the investigation of phase transition associated to Constrained Satisfaction Problems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Achlioptas, D., Moore, C.: Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold. SIAM Journal of Computing 36, 740–762 (2006)
Bollobás, B., Borgs, C., Chayes, J.T., Kim, J.H., Wilson, D.B.: The scaling window of the 2-SAT transition. Random Structures and Algorithms 18, 201–256 (2006)
Cayley, A.: A Theorem on Trees. Quart. J. Math. Oxford Ser. 23, 376–378 (1889)
Cocco, S., Dubois, O., Mandler, J., Monasson, R.: Rigorous decimation-based construction of ground pure states for spin glass models on random lattices. Phys. Rev. Lett. 90, 047205 (2004)
Creignou, N., Daudé, H.: Satisfiability threshold for random XOR-CNF formulas. Discrete Applied Mathematics 96-97, 41–53 (1999)
Creignou, N., Daudé, H.: Coarse and sharp thresholds for random k-XOR-CNF satisfiability. Informatique théorique et applications/Theoretical Informatics and Applications 37(2), 127–147 (2003)
Creignou, N., Daudé, H.: Coarse and sharp transitions for random generalized satisfiability problems. In: Proceedings of the third colloquium on mathematics and computer science, Vienna, Austria, pp. 507–516. Birkhäuser, Basel
Creignou, N., Daudé, H., Egly, U.: Phase Transition for Random Quantified XOR-Formulas. Journal of Artificial Intelligence Research 28, 1–17 (2007)
Chvátal, V., Reed, B.: Mick gets some (the odds are on his side). In: Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, pp. 620–627. IEEE, Los Alamitos (1992)
Dubois, O., Mandler, J.: The 3-XOR-SAT threshold. In: Proceedings of the 43th Annual IEEE Symposium on Foundations of Computer Science, pp. 769–778. IEEE, Los Alamitos (2002)
Dubois, O., Monasson, R., Selman, B., Zecchina, R.: Editorial. Theoretical Computer Science 265(1-2)
Friedgut, E., Bourgain, J.: Sharp thresholds of graph properties, and the k-sat problem. Journal of the A.M.S. 12(4), 1017–1054
Goerdt, A.: A threshold for unsatisfiability. Journal of of Computer and System Sciences 53(3), 469–486
Dembo, A., Montanari, A.: Finite size scaling for the core of large random hypergraphs. Ann. of App. Prob. (to appear, 2008)
Erdös, P., Rényi, A.: On random graphs. Publ. Math. Debrecen 6, 290–297 (1959)
Erdös, P., Rényi, A.: On the evolution of random graphs. Publ. Math. Inst. Hung. Acad. Sci. 5, 17–61 (1960)
Flajolet, P., Knuth, D.E., Pittel, B.: The first cycles in an evolving graph. Discrete Math. 75, 167–215 (1989)
Flajolet, P., Salvy, B., Schaeffer, G.: Airy phenomena and analytic combinatorics of connected graphs. The Electronic Journal of Combinatorics 11(1), R34 (2004)
Flajolet, P., Sedgewick, R.: Analytic Combinatorics. Forthcoming book (chapters are avalaible as INRIA research reports at Philippe Flajolet’s home page), http://algo.inria.fr/flajolet/Publications/books.html
Harary, F., Palmer, E.: Graphical Enumeration. Academic Press, New York and London (1973)
Janson, S., Knuth, D.E., Luczak, T., Pittel, B.: The birth of the giant component. Random Structures and Algorithms 4, 233–358 (1993)
Sloane, N.J.A., Plouffe, S.: Encyclopedia of Integer Sequences. Academic Press, London, http://www.research.att.com/~njas/sequences/
Mézard, M., Ricci-Tersenghi, F., Zecchina, R.: Alternative solutions to diluted p-spin models and XORSAT problems. J. Stat. Phys. 111, 505 (2003)
Ravelomanana, V.: The Average Size of Giant Components between the Double-Jump. Algorithmica 46(3-4), 529–555 (2006)
Ravelomanana, V.: Another Proof of Wright’s inequalities. Inf. Proc. Letters 104(1), 36–39 (2007)
Ravelomanana, V., Thimonier, L.: Forbidden subgraphs in connected graphs. Theor. Comput. Sci. 314(1-2), 121–171 (2004)
Rémi, M.: Introduction to phase transitons in random optimization problems. Personnal communication (2007)
Wright, E.M.: Asymptotic relations between enumerative functions in graph theory. Proc. London Math. Soc. 20, 558–572 (1970)
Wright, E.M.: The Number of Connected Sparsely Edged Graphs. Journal of Graph Theory 1, 317–330 (1977)
Wright, E.M.: The Number of Connected Sparsely Edged Graphs. III. Asymptotic results. Journal of Graph Theory 4, 393–407 (1980)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Daudé, H., Ravelomanana, V. (2008). Random 2-XORSAT at the Satisfiability Threshold. In: Laber, E.S., Bornstein, C., Nogueira, L.T., Faria, L. (eds) LATIN 2008: Theoretical Informatics. LATIN 2008. Lecture Notes in Computer Science, vol 4957. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78773-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-78773-0_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78772-3
Online ISBN: 978-3-540-78773-0
eBook Packages: Computer ScienceComputer Science (R0)