Résoudre les jeux de parité dans la pratique

Cette séance de cours couvre les aspects pratiques de la résolution des jeux de parité, où les joueurs déplacent des jetons le long des bords dans un graphique total dirigé. Les stratégies gagnantes sont discutées, ainsi que la détermination des jeux et la relation entre les jeux de parité et la vérification des modèles. Différents algorithmes, tels que l'algorithme récursif et l'algorithme des petites mesures de progrès, sont présentés, chacun avec son analyse et des exemples. La séance de cours explore également la complexité de la résolution des jeux de parité, le besoin de déterminisme et les approches heuristiques. Les optimisations universelles, les réductions de la structure graphique, la résolution de cas particuliers et les réductions de paramètres spécifiques aux problèmes sont mises en évidence comme des stratégies clés pour une résolution efficace. La séance de cours conclut en discutant de l'écart entre les résultats théoriques et pratiques dans la résolution des jeux de parité.