1,179 research outputs found
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
Random subcubes as a toy model for constraint satisfaction problems
We present an exactly solvable random-subcube model inspired by the structure
of hard constraint satisfaction and optimization problems. Our model reproduces
the structure of the solution space of the random k-satisfiability and
k-coloring problems, and undergoes the same phase transitions as these
problems. The comparison becomes quantitative in the large-k limit. Distance
properties, as well the x-satisfiability threshold, are studied. The model is
also generalized to define a continuous energy landscape useful for studying
several aspects of glassy dynamics.Comment: 21 pages, 4 figure
Geometrical organization of solutions to random linear Boolean equations
The random XORSAT problem deals with large random linear systems of Boolean
variables. The difficulty of such problems is controlled by the ratio of number
of equations to number of variables. It is known that in some range of values
of this parameter, the space of solutions breaks into many disconnected
clusters. Here we study precisely the corresponding geometrical organization.
In particular, the distribution of distances between these clusters is computed
by the cavity method. This allows to study the `x-satisfiability' threshold,
the critical density of equations where there exist two solutions at a given
distance.Comment: 20 page
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
We explore the use of the Cell Broadband Engine (Cell/BE for short) for
combinatorial optimization applications: we present a parallel version of a
constraint-based local search algorithm that has been implemented on a
multiprocessor BladeCenter machine with twin Cell/BE processors (total of 16
SPUs per blade). This algorithm was chosen because it fits very well the
Cell/BE architecture and requires neither shared memory nor communication
between processors, while retaining a compact memory footprint. We study the
performance on several large optimization benchmarks and show that this
achieves mostly linear time speedups, even sometimes super-linear. This is
possible because the parallel implementation might explore simultaneously
different parts of the search space and therefore converge faster towards the
best sub-space and thus towards a solution. Besides getting speedups, the
resulting times exhibit a much smaller variance, which benefits applications
where a timely reply is critical
The backtracking survey propagation algorithm for solving random K-SAT problems
Discrete combinatorial optimization has a central role in many scientific
disciplines, however, for hard problems we lack linear time algorithms that
would allow us to solve very large instances. Moreover, it is still unclear
what are the key features that make a discrete combinatorial optimization
problem hard to solve. Here we study random K-satisfiability problems with
, which are known to be very hard close to the SAT-UNSAT threshold,
where problems stop having solutions. We show that the backtracking survey
propagation algorithm, in a time practically linear in the problem size, is
able to find solutions very close to the threshold, in a region unreachable by
any other algorithm. All solutions found have no frozen variables, thus
supporting the conjecture that only unfrozen solutions can be found in linear
time, and that a problem becomes impossible to solve in linear time when all
solutions contain frozen variables.Comment: 11 pages, 10 figures. v2: data largely improved and manuscript
rewritte
Determining the Solution Space of Vertex-Cover by Interactions and Backbones
To solve the combinatorial optimization problems especially the minimal
Vertex-cover problem with high efficiency, is a significant task in theoretical
computer science and many other subjects. Aiming at detecting the solution
space of Vertex-cover, a new structure named interaction between nodes is
defined and discovered for random graph, which results in the emergence of the
frustration and long-range correlation phenomenon. Based on the backbones and
interactions with a node adding process, we propose an Interaction and Backbone
Evolution Algorithm to achieve the reduced solution graph, which has a direct
correspondence to the solution space of Vertex-cover. By this algorithm, the
whole solution space can be obtained strictly when there is no leaf-removal
core on the graph and the odd cycles of unfrozen nodes bring great obstacles to
its efficiency. Besides, this algorithm possesses favorable exactness and has
good performance on random instances even with high average degrees. The
interaction with the algorithm provides a new viewpoint to solve Vertex-cover,
which will have a wide range of applications to different types of graphs,
better usage of which can lower the computational complexity for solving
Vertex-cover
- …