La satisfaction et les clusters

Cette séance de cours traite du concept de seuil de satisfaisabilité, des grappes de solutions aux problèmes de satisfaction et du rôle du paramètre alpha dans le contrôle de la difficulté du problème. Il couvre également le calcul du nombre moyen de clusters auxquels une configuration appartient et la définition d'alpha d. L'instructeur explique comment trouver alpha d à partir d'une expression impliquant le nombre de clusters et comment cela se rapporte à la valeur attendue des configurations appartenant aux clusters.