68,205 research outputs found
Scale-Free Random SAT Instances
We focus on the random generation of SAT instances that have properties
similar to real-world instances. It is known that many industrial instances,
even with a great number of variables, can be solved by a clever solver in a
reasonable amount of time. This is not possible, in general, with classical
randomly generated instances. We provide a different generation model of SAT
instances, called \emph{scale-free random SAT instances}. It is based on the
use of a non-uniform probability distribution to select
variable , where is a parameter of the model. This results into
formulas where the number of occurrences of variables follows a power-law
distribution where . This property
has been observed in most real-world SAT instances. For , our model
extends classical random SAT instances.
We prove the existence of a SAT-UNSAT phase transition phenomenon for
scale-free random 2-SAT instances with when the clause/variable
ratio is . We also prove that scale-free
random k-SAT instances are unsatisfiable with high probability when the number
of clauses exceeds . %This implies that the SAT/UNSAT
phase transition phenomena vanishes when , and formulas are
unsatisfiable due to a small core of clauses. The proof of this result suggests
that, when , the unsatisfiability of most formulas may be due to
small cores of clauses. Finally, we show how this model will allow us to
generate random instances similar to industrial instances, of interest for
testing purposes
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
Structural and topological phase transitions on the German Stock Exchange
We find numerical and empirical evidence for dynamical, structural and
topological phase transitions on the (German) Frankfurt Stock Exchange (FSE) in
the temporal vicinity of the worldwide financial crash. Using the Minimal
Spanning Tree (MST) technique, a particularly useful canonical tool of the
graph theory, two transitions of the topology of a complex network representing
FSE were found. First transition is from a hierarchical scale-free MST
representing the stock market before the recent worldwide financial crash, to a
superstar-like MST decorated by a scale-free hierarchy of trees representing
the market's state for the period containing the crash. Subsequently, a
transition is observed from this transient, (meta)stable state of the crash, to
a hierarchical scale-free MST decorated by several star-like trees after the
worldwide financial crash. The phase transitions observed are analogous to the
ones we obtained earlier for the Warsaw Stock Exchange and more pronounced than
those found by Onnela-Chakraborti-Kaski-Kert\'esz for S&P 500 index in the
vicinity of Black Monday (October 19, 1987) and also in the vicinity of January
1, 1998. Our results provide an empirical foundation for the future theory of
dynamical, structural and topological phase transitions on financial markets
Extremal Optimization at the Phase Transition of the 3-Coloring Problem
We investigate the phase transition of the 3-coloring problem on random
graphs, using the extremal optimization heuristic. 3-coloring is among the
hardest combinatorial optimization problems and is closely related to a 3-state
anti-ferromagnetic Potts model. Like many other such optimization problems, it
has been shown to exhibit a phase transition in its ground state behavior under
variation of a system parameter: the graph's mean vertex degree. This phase
transition is often associated with the instances of highest complexity. We use
extremal optimization to measure the ground state cost and the ``backbone'', an
order parameter related to ground state overlap, averaged over a large number
of instances near the transition for random graphs of size up to 512. For
graphs up to this size, benchmarks show that extremal optimization reaches
ground states and explores a sufficient number of them to give the correct
backbone value after about update steps. Finite size scaling gives
a critical mean degree value . Furthermore, the
exploration of the degenerate ground states indicates that the backbone order
parameter, measuring the constrainedness of the problem, exhibits a first-order
phase transition.Comment: RevTex4, 8 pages, 4 postscript figures, related information available
at http://www.physics.emory.edu/faculty/boettcher
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
Analysis of the computational complexity of solving random satisfiability problems using branch and bound search algorithms
The computational complexity of solving random 3-Satisfiability (3-SAT)
problems is investigated. 3-SAT is a representative example of hard
computational tasks; it consists in knowing whether a set of alpha N randomly
drawn logical constraints involving N Boolean variables can be satisfied
altogether or not. Widely used solving procedures, as the
Davis-Putnam-Loveland-Logeman (DPLL) algorithm, perform a systematic search for
a solution, through a sequence of trials and errors represented by a search
tree. In the present study, we identify, using theory and numerical
experiments, easy (size of the search tree scaling polynomially with N) and
hard (exponential scaling) regimes as a function of the ratio alpha of
constraints per variable. The typical complexity is explicitly calculated in
the different regimes, in very good agreement with numerical simulations. Our
theoretical approach is based on the analysis of the growth of the branches in
the search tree under the operation of DPLL. On each branch, the initial 3-SAT
problem is dynamically turned into a more generic 2+p-SAT problem, where p and
1-p are the fractions of constraints involving three and two variables
respectively. The growth of each branch is monitored by the dynamical evolution
of alpha and p and is represented by a trajectory in the static phase diagram
of the random 2+p-SAT problem. Depending on whether or not the trajectories
cross the boundary between phases, single branches or full trees are generated
by DPLL, resulting in easy or hard resolutions.Comment: 37 RevTeX pages, 15 figures; submitted to Phys.Rev.
On the Complexity of Reconstructing Chemical Reaction Networks
The analysis of the structure of chemical reaction networks is crucial for a
better understanding of chemical processes. Such networks are well described as
hypergraphs. However, due to the available methods, analyses regarding network
properties are typically made on standard graphs derived from the full
hypergraph description, e.g.\ on the so-called species and reaction graphs.
However, a reconstruction of the underlying hypergraph from these graphs is not
necessarily unique. In this paper, we address the problem of reconstructing a
hypergraph from its species and reaction graph and show NP-completeness of the
problem in its Boolean formulation. Furthermore we study the problem
empirically on random and real world instances in order to investigate its
computational limits in practice
Community Structure in Industrial SAT Instances
Modern SAT solvers have experienced a remarkable progress on solving
industrial instances. Most of the techniques have been developed after an
intensive experimental process. It is believed that these techniques exploit
the underlying structure of industrial instances. However, there are few works
trying to exactly characterize the main features of this structure.
The research community on complex networks has developed techniques of
analysis and algorithms to study real-world graphs that can be used by the SAT
community. Recently, there have been some attempts to analyze the structure of
industrial SAT instances in terms of complex networks, with the aim of
explaining the success of SAT solving techniques, and possibly improving them.
In this paper, inspired by the results on complex networks, we study the
community structure, or modularity, of industrial SAT instances. In a graph
with clear community structure, or high modularity, we can find a partition of
its nodes into communities such that most edges connect variables of the same
community. In our analysis, we represent SAT instances as graphs, and we show
that most application benchmarks are characterized by a high modularity. On the
contrary, random SAT instances are closer to the classical Erd\"os-R\'enyi
random graph model, where no structure can be observed. We also analyze how
this structure evolves by the effects of the execution of a CDCL SAT solver. In
particular, we use the community structure to detect that new clauses learned
by the solver during the search contribute to destroy the original structure of
the formula. This is, learned clauses tend to contain variables of distinct
communities
- …