Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

On the Solution-Space Geometry of Random Constraint Satisfaction Problems

Summary: On the Solution-Space Geometry of
Random Constraint Satisfaction Problems
Dimitris Achlioptas
Department of Computer Science, University of California Santa Cruz
Amin Coja-Oghlan
School of Informatics, University of Edinburgh
Federico Ricci-Tersenghi
Physics Department, University of Rome "La Sapienza"
For various random constraint satisfaction problems there is a significant gap between the largest constraint den-
sity for which solutions exist and the largest density for which any polynomial time algorithm is known to find
solutions. Examples of this phenomenon include random k-SAT, random graph coloring, and a number of other
random Constraint Satisfaction Problems. To understand this gap, we study the structure of the solution space of
random k-SAT (i.e., the set of all satisfying assignments viewed as a subgraph of the Hamming cube). We prove
that for densities well below the satisfiability threshold, the solution space decomposes into an exponential number
of connected components and give quantitative bounds for the diameter, volume and number.
1 Introduction


Source: Achlioptas, Dimitris - Department of Computer Engineering, University of California at Santa Cruz


Collections: Computer Technologies and Information Sciences