2,456 research outputs found
Clustering of solutions in the random satisfiability problem
Using elementary rigorous methods we prove the existence of a clustered phase
in the random -SAT problem, for . In this phase the solutions are
grouped into clusters which are far away from each other. The results are in
agreement with previous predictions of the cavity method and give a rigorous
confirmation to one of its main building blocks. It can be generalized to other
systems of both physical and computational interest.Comment: 4 pages, 1 figur
Reweighted belief propagation and quiet planting for random K-SAT
We study the random K-satisfiability problem using a partition function where
each solution is reweighted according to the number of variables that satisfy
every clause. We apply belief propagation and the related cavity method to the
reweighted partition function. This allows us to obtain several new results on
the properties of random K-satisfiability problem. In particular the
reweighting allows to introduce a planted ensemble that generates instances
that are, in some region of parameters, equivalent to random instances. We are
hence able to generate at the same time a typical random SAT instance and one
of its solutions. We study the relation between clustering and belief
propagation fixed points and we give a direct evidence for the existence of
purely entropic (rather than energetic) barriers between clusters in some
region of parameters in the random K-satisfiability problem. We exhibit, in
some large planted instances, solutions with a non-trivial whitening core; such
solutions were known to exist but were so far never found on very large
instances. Finally, we discuss algorithmic hardness of such planted instances
and we determine a region of parameters in which planting leads to satisfiable
benchmarks that, up to our knowledge, are the hardest known.Comment: 23 pages, 4 figures, revised for readability, stability expression
correcte
Solution space structure of random constraint satisfaction problems with growing domains
In this paper we study the solution space structure of model RB, a standard
prototype of Constraint Satisfaction Problem (CSPs) with growing domains. Using
rigorous the first and the second moment method, we show that in the solvable
phase close to the satisfiability transition, solutions are clustered into
exponential number of well-separated clusters, with each cluster contains
sub-exponential number of solutions. As a consequence, the system has a
clustering (dynamical) transition but no condensation transition. This picture
of phase diagram is different from other classic random CSPs with fixed domain
size, such as random K-Satisfiability (K-SAT) and graph coloring problems,
where condensation transition exists and is distinct from satisfiability
transition. Our result verifies the non-rigorous results obtained using cavity
method from spin glass theory, and sheds light on the structures of solution
spaces of problems with a large number of states.Comment: 8 pages, 1 figure
Biased landscapes for random Constraint Satisfaction Problems
The typical complexity of Constraint Satisfaction Problems (CSPs) can be
investigated by means of random ensembles of instances. The latter exhibit many
threshold phenomena besides their satisfiability phase transition, in
particular a clustering or dynamic phase transition (related to the tree
reconstruction problem) at which their typical solutions shatter into
disconnected components. In this paper we study the evolution of this
phenomenon under a bias that breaks the uniformity among solutions of one CSP
instance, concentrating on the bicoloring of k-uniform random hypergraphs. We
show that for small k the clustering transition can be delayed in this way to
higher density of constraints, and that this strategy has a positive impact on
the performances of Simulated Annealing algorithms. We characterize the modest
gain that can be expected in the large k limit from the simple implementation
of the biasing idea studied here. This paper contains also a contribution of a
more methodological nature, made of a review and extension of the methods to
determine numerically the discontinuous dynamic transition threshold.Comment: 32 pages, 16 figure
On the freezing of variables in random constraint satisfaction problems
The set of solutions of random constraint satisfaction problems (zero energy
groundstates of mean-field diluted spin glasses) undergoes several structural
phase transitions as the amount of constraints is increased. This set first
breaks down into a large number of well separated clusters. At the freezing
transition, which is in general distinct from the clustering one, some
variables (spins) take the same value in all solutions of a given cluster. In
this paper we study the critical behavior around the freezing transition, which
appears in the unfrozen phase as the divergence of the sizes of the
rearrangements induced in response to the modification of a variable. The
formalism is developed on generic constraint satisfaction problems and applied
in particular to the random satisfiability of boolean formulas and to the
coloring of random graphs. The computation is first performed in random tree
ensembles, for which we underline a connection with percolation models and with
the reconstruction problem of information theory. The validity of these results
for the original random ensembles is then discussed in the framework of the
cavity method.Comment: 32 pages, 7 figure
Clustering of solutions in hard satisfiability problems
We study the structure of the solution space and behavior of local search
methods on random 3-SAT problems close to the SAT/UNSAT transition. Using the
overlap measure of similarity between different solutions found on the same
problem instance we show that the solution space is shrinking as a function of
alpha. We consider chains of satisfiability problems, where clauses are added
sequentially. In each such chain, the overlap distribution is first smooth, and
then develops a tiered structure, indicating that the solutions are found in
well separated clusters. On chains of not too large instances, all solutions
are eventually observed to be in only one small cluster before vanishing. This
condensation transition point is estimated to be alpha_c = 4.26. The transition
approximately obeys finite-size scaling with an apparent critical exponent of
about 1.7. We compare the solutions found by a local heuristic, ASAT, and the
Survey Propagation algorithm up to alpha_c.Comment: 8 pages, 9 figure
Exhaustive enumeration unveils clustering and freezing in random 3-SAT
We study geometrical properties of the complete set of solutions of the
random 3-satisfiability problem. We show that even for moderate system sizes
the number of clusters corresponds surprisingly well with the theoretic
asymptotic prediction. We locate the freezing transition in the space of
solutions which has been conjectured to be relevant in explaining the onset of
computational hardness in random constraint satisfaction problems.Comment: 4 pages, 3 figure
Glassy Behavior and Jamming of a Random Walk Process for Sequentially Satisfying a Constraint Satisfaction Formula
Random -satisfiability (-SAT) is a model system for studying
typical-case complexity of combinatorial optimization. Recent theoretical and
simulation work revealed that the solution space of a random -SAT formula
has very rich structures, including the emergence of solution communities
within single solution clusters. In this paper we investigate the influence of
the solution space landscape to a simple stochastic local search process {\tt
SEQSAT}, which satisfies a -SAT formula in a sequential manner. Before
satisfying each newly added clause, {\tt SEQSAT} walk randomly by single-spin
flips in a solution cluster of the old subformula. This search process is
efficient when the constraint density of the satisfied subformula is
less than certain value ; however it slows down considerably as
and finally reaches a jammed state at . The glassy dynamical behavior of {\tt SEQSAT} for probably is due to the entropic trapping of various communities in
the solution cluster of the satisfied subformula. For random 3-SAT, the jamming
transition point is larger than the solution space clustering
transition point , and its value can be predicted by a long-range
frustration mean-field theory. For random -SAT with , however, our
simulation results indicate that . The relevance of this
work for understanding the dynamic properties of glassy systems is also
discussed.Comment: 10 pages, 6 figures, 1 table, a mistake of numerical simulation
corrected, and new results adde
- âŠ