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 system theory. Relations with error correcting codes are also discussed.
|Titolo:||An exactly solvable random satisfiability problem|
|Autori interni:||CARACCIOLO, SERGIO|
|Parole Chiave:||Combinatorial mathematics ; computability ; computational complexity ; optimisation|
|Settore Scientifico Disciplinare:||Settore FIS/02 - Fisica Teorica, Modelli e Metodi Matematici|
|Data di pubblicazione:||2002|
|Digital Object Identifier (DOI):||10.1088/0305-4470/35/36/301|
|Appare nelle tipologie:||01 - Articolo su periodico|