Explore la propagation des croyances, les clusters gelés et les seuils de colorabilité dans les modèles graphiques, ce qui explique l'importance de la propagation des enquêtes dans la résolution des problèmes de satisfaction liés aux contraintes.
Explore l'équivalence entre les différentes propriétés des transformations linéaires représentées par des matrices et diverses opérations matricielles.
Couvre les points fixes, les orbites et les stabilisateurs dans les variétés G, y compris les propriétés des sous-groupes fermés et des actions fidèles.