Point de Transition de Phase

Valeur critique d'un paramètre de contrôle (comme la densité de clauses, la probabilité d'arête ou la densité de contraintes) à laquelle une famille d'instances logiques ou combinatoires aléatoires présente un changement abrupt de comportement typique — par exemple un basculement net de satisfaisable à insatisfaisable avec probabilité élevée lorsque la taille du système tend vers l'infini.