Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-25T02:10:34.604Z Has data issue: false hasContentIssue false

Approximating the Satisfiability Threshold for Random k-XOR-formulas

Published online by Cambridge University Press:  17 March 2003

NADIA CREIGNOU
Affiliation:
Laboratoire d'Informatique Fondamentale de Marseille, LIF, UMR CNRS 6166, Université de la Méditerranée, Marseille, France (e-mail: [email protected])
HERVÉ DAUDÉ
Affiliation:
Centre de Mathématiques et d'Informatique, LATP, UMR CNRS 6632, Université de Provence, Marseille, France (e-mail: [email protected])
OLIVIER DUBOIS
Affiliation:
CNRS-Université de Paris 6, LIP6, Paris, France (e-mail: [email protected])

Abstract

In this paper we study random linear systems with $k > 3$ variables per equation over the finite field GF(2), or equivalently k-XOR-CNF formulas. In a previous paper Creignou and Daudé proved that there exists a phase transition exhibiting a sharp threshold, for the consistency (satisfiability) of such systems (formulas). The control parameter for this transition is the ratio of the number of equations to the number of variables, and the scale for which the transition occurs remains somewhat elusive. In this paper we establish, for any $k > 3$, non-trivial lower and upper estimates of the value of the control ratio for which the phase transition occurs. For $k=3$ we get 0.89 and 0.93, respectively. Moreover, we give experimental results for $k=3$ suggesting that the critical ratio is about 0.92. Our estimates are clearly close to the critical ratio.

Type
Research Article
Copyright
2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)