Phasenübergangspunkt

Ein kritischer Wert eines Steuerparameters (wie Klauseldichte, Kantenwahrscheinlichkeit oder Zwangsdichte), bei dem eine Familie zufälliger logischer oder kombinatorischer Instanzen ein abruptes Umschlagen im typischen Verhalten zeigt — etwa einen scharfen Wechsel von erfüllbar zu unerfüllbar mit hoher Wahrscheinlichkeit, wenn die Systemgröße gegen unendlich geht.