2,565 research outputs found
A Landscape Analysis of Constraint Satisfaction Problems
We discuss an analysis of Constraint Satisfaction problems, such as Sphere
Packing, K-SAT and Graph Coloring, in terms of an effective energy landscape.
Several intriguing geometrical properties of the solution space become in this
light familiar in terms of the well-studied ones of rugged (glassy) energy
landscapes. A `benchmark' algorithm naturally suggested by this construction
finds solutions in polynomial time up to a point beyond the `clustering' and in
some cases even the `thermodynamic' transitions. This point has a simple
geometric meaning and can be in principle determined with standard Statistical
Mechanical methods, thus pushing the analytic bound up to which problems are
guaranteed to be easy. We illustrate this for the graph three and four-coloring
problem. For Packing problems the present discussion allows to better
characterize the `J-point', proposed as a systematic definition of Random Close
Packing, and to place it in the context of other theories of glasses.Comment: 17 pages, 69 citations, 12 figure
Comment on "Control landscapes are almost always trap free: a geometric assessment"
We analyze a recent claim that almost all closed, finite dimensional quantum
systems have trap-free (i.e., free from local optima) landscapes (B. Russell
et.al. J. Phys. A: Math. Theor. 50, 205302 (2017)). We point out several errors
in the proof which compromise the authors' conclusion.
Interested readers are highly encouraged to take a look at the "rebuttal"
(see Ref. [1]) of this comment published by the authors of the criticized work.
This "rebuttal" is a showcase of the way the erroneous and misleading
statements under discussion will be wrapped up and injected in their future
works, such as R. L. Kosut et.al, arXiv:1810.04362 [quant-ph] (2018).Comment: 6 pages, 1 figur
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
Monte Carlo algorithms are very effective in finding the largest independent set in sparse random graphs
The effectiveness of stochastic algorithms based on Monte Carlo dynamics in
solving hard optimization problems is mostly unknown. Beyond the basic
statement that at a dynamical phase transition the ergodicity breaks and a
Monte Carlo dynamics cannot sample correctly the probability distribution in
times linear in the system size, there are almost no predictions nor intuitions
on the behavior of this class of stochastic dynamics. The situation is
particularly intricate because, when using a Monte Carlo based algorithm as an
optimization algorithm, one is usually interested in the out of equilibrium
behavior which is very hard to analyse. Here we focus on the use of Parallel
Tempering in the search for the largest independent set in a sparse random
graph, showing that it can find solutions well beyond the dynamical threshold.
Comparison with state-of-the-art message passing algorithms reveals that
parallel tempering is definitely the algorithm performing best, although a
theory explaining its behavior is still lacking.Comment: 14 pages, 12 figure
Region graph partition function expansion and approximate free energy landscapes: Theory and some numerical results
Graphical models for finite-dimensional spin glasses and real-world
combinatorial optimization and satisfaction problems usually have an abundant
number of short loops. The cluster variation method and its extension, the
region graph method, are theoretical approaches for treating the complicated
short-loop-induced local correlations. For graphical models represented by
non-redundant or redundant region graphs, approximate free energy landscapes
are constructed in this paper through the mathematical framework of region
graph partition function expansion. Several free energy functionals are
obtained, each of which use a set of probability distribution functions or
functionals as order parameters. These probability distribution
function/functionals are required to satisfy the region graph
belief-propagation equation or the region graph survey-propagation equation to
ensure vanishing correction contributions of region subgraphs with dangling
edges. As a simple application of the general theory, we perform region graph
belief-propagation simulations on the square-lattice ferromagnetic Ising model
and the Edwards-Anderson model. Considerable improvements over the conventional
Bethe-Peierls approximation are achieved. Collective domains of different sizes
in the disordered and frustrated square lattice are identified by the
message-passing procedure. Such collective domains and the frustrations among
them are responsible for the low-temperature glass-like dynamical behaviors of
the system.Comment: 30 pages, 11 figures. More discussion on redundant region graphs. To
be published by Journal of Statistical Physic
Escaping local optima: constraint weights vs value penalties.
Constraint Satisfaction Problems can be solved using either iterative improvement or constructive search approaches. Iterative improvement techniques converge quicker than the constructive search techniques on large problems, but they have a propensity to converge to local optima. Therefore, a key research topic on iterative improvement search is the development of effective techniques for escaping local optima, most of which are based on increasing the weights attached to violated constraints. An alternative approach is to attach penalties to the individual variable values participating in a constraint violation. We compare both approaches and show that the penalty-based technique has a more dramatic effect on the cost landscape, leading to a higher ability to escape local optima. We present an improved version of an existing penalty-based algorithm where penalty resets are driven by the amount of distortion to the cost landscape caused by penalties. We compare this algorithm with an algorithm based on constraint weights and justify the difference in their performance
- …