Random 3-SAT: Wie groß ist der experimentelle Konsensbereich der Schwelle?

Das kritische Verhältnis von Klauseln zu Variablen für zufälliges 3-SAT ist mehr als 3 und weniger als 6 und scheint allgemein als "um 4,2" oder "um 4,25" beschrieben zu werden. Mezard, Parisi und Zecchina beweisen (im physikalischen Sinne), dass das kritische Verhältnis 4,256 beträgt, während der erste und der dritte Autor beweisen, dass es 4,267 beträgt.

What is the range of values that the critical ratio could possibly take?

Die Motivation für mich, diese Frage zu stellen, ist, wenn das Verhältnis , danndie Standardreduktion von 3-SAT zu NAE-3-SAT (Umwandlung vonKlauseln undVariablen inKlauseln undVariablen) ein Verhältnis von, was unwahrscheinlich erscheint, aber hübsch wäre cool. $2+\sqrt{5} \approx 4.236$ $m$ $n$ $2m$ $m+n+1$ $\phi$

sat phase-transition random-k-sat Andrew D. King
quelle

Sie müssen definieren, was es bedeutet, dass ein Verhältnis kritisch ist.

Tyson Williams

Ich halte dies für eine Standardterminologie: Das kritische Verhältnis ist die reelle Zahl

, sodass zufällige 3-SAT-Formeln mit

-Klauseln fast sicher erfüllt werden können und zufällige 3-SAT-Formeln mit

-Klauseln fast sicher nicht erfüllt werden können. fast sicher bedeutet hier, dass die Wahrscheinlichkeit auf

als

α

$\alpha$

< α n

$< \alpha n$

> α n

$> \alpha n$

1

$1$

n \to \infty

$n \to \infty$

Sasho Nikolov

mögliches Duplikat von Was sind die derzeit bekanntesten Ober- und Untergrenzen der (Un) Erfüllbarkeitsschwelle für zufälliges k-sat und / oder 3-sat?

András Salamon

Ich behaupte, dass die Frage unterschiedlich ist. Ich suche eine Schätzung der Werte, die zum Beispiel keinen Experten in der Community schockieren würde. Ich glaube nicht, dass sich zum Beispiel etwas unter 4 qualifiziert. (Mir ist klar, dass dies bis zu einem gewissen Grad von der individuellen Laufleistung abhängt.)

Andrew D. King

Random 3-SAT: Wie groß ist der experimentelle Konsensbereich der Schwelle?

Antworten: