An exactly solvable random satisfiability problem

Details An exactly solvable random satisfiability problem An exactly solvable random satisfiability problem

2002-06-18

arxiv.org/abs/cond-mat/0206352v1

J.Phys.A35:7661-7688,2002

Physics

Condensed Matter

Statistical Mechanics

31 pages, 1 figure

Scientific paper

10.1088/0305-4470/35/36/301

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.

Affiliated with

Also associated with

No associations

Rating

An exactly solvable random satisfiability problem does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An exactly solvable random satisfiability problem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An exactly solvable random satisfiability problem will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-366539