In this work we compute the thermodynamic properties of the 3-satisfiability problem in the infinite connectivity limit. In this limit the computation can be strongly simplified and the thermodynamic properties can be obtained with a high accuracy. We find evidence for a continuous replica symmetry breaking in the region of high number of clauses, ?>?c.
The K-SAT problem in a simple limit
2001
Abstract
In this work we compute the thermodynamic properties of the 3-satisfiability problem in the infinite connectivity limit. In this limit the computation can be strongly simplified and the thermodynamic properties can be obtained with a high accuracy. We find evidence for a continuous replica symmetry breaking in the region of high number of clauses, ?>?c.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_235497-doc_59752.pdf
solo utenti autorizzati
Descrizione: Articolo pubblicato
Dimensione
197.88 kB
Formato
Adobe PDF
|
197.88 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
