Punto de Transición de Fase

Un valor crítico de un parámetro de control (como densidad de cláusulas, probabilidad de arista o densidad de restricciones) en el que una familia de instancias lógicas o combinatorias aleatorias exhibe un cambio abrupto en el comportamiento típico —por ejemplo, un cambio brusco de satisfactible a insatisfactible con alta probabilidad cuando el tamaño del sistema tiende a infinito.