5,492 research outputs found
Optimal Testing for Planted Satisfiability Problems
We study the problem of detecting planted solutions in a random
satisfiability formula. Adopting the formalism of hypothesis testing in
statistical analysis, we describe the minimax optimal rates of detection. Our
analysis relies on the study of the number of satisfying assignments, for which
we prove new results. We also address algorithmic issues, and give a
computationally efficient test with optimal statistical performance. This
result is compared to an average-case hypothesis on the hardness of refuting
satisfiability of random formulas
Simplest random K-satisfiability problem
We study a simple and exactly solvable model for the generation of random
satisfiability problems. These consist of random boolean constraints
which are to be satisfied simultaneously by logical variables. In
statistical-mechanics language, the considered model can be seen as a diluted
p-spin model at zero temperature. While such problems become extraordinarily
hard to solve by local search methods in a large region of the parameter space,
still at least one solution may be superimposed by construction. The
statistical properties of the model can be studied exactly by the replica
method and each single instance can be analyzed in polynomial time by a simple
global solution method. The geometrical/topological structures responsible for
dynamic and static phase transitions as well as for the onset of computational
complexity in local search method are thoroughly analyzed. Numerical analysis
on very large samples allows for a precise characterization of the critical
scaling behaviour.Comment: 14 pages, 5 figures, to appear in Phys. Rev. E (Feb 2001). v2: minor
errors and references correcte
An exactly solvable random satisfiability problem
We introduce a new model for the generation of random satisfiability
problems. It is an extension of the hyper-SAT model of Ricci-Tersenghi, Weigt
and Zecchina, which is a variant of the famous K-SAT model: it is extended to
q-state variables and relates to a different choice of the statistical
ensemble. The model has an exactly solvable statistic: the critical exponents
and scaling functions of the SAT/UNSAT transition are calculable at zero
temperature, with no need of replicas, also with exact finite-size corrections.
We also introduce an exact duality of the model, and show an analogy of
thermodynamic properties with the Random Energy Model of disordered spin
systems theory. Relations with Error-Correcting Codes are also discussed.Comment: 31 pages, 1 figur
- …