Constraint Games : Modeling and Solving Games with Constraint

Constraint Games : Modélisation et Résolution des Jeux avec Contraintes

• Auteur / Autrice : Thi Van Anh Nguyen
• Direction : Arnaud Lallouet
• Type : Thèse de doctorat
• Discipline(s) : Informatique et applications
• Date : Soutenance en 2014
• Etablissement(s) : Caen
• Ecole(s) doctorale(s) : École doctorale structures, informations, matière et matériaux (Caen ; 1992-2016)
• Partenaire(s) de recherche : Laboratoire : Groupe de recherche en informatique, image, automatique et instrumentation de Caen (1995-....)
• Jury : Président / Présidente : Philippe Jégou
• Jury : Examinateurs / Examinatrices : Arnaud Lallouet, Philippe Jégou, Francesca Rossi, Lakhdar Saïs, Patrice Boizumault, Lucas Bordeaux, Bruno Zanuttini
• Jury : Rapporteur / Rapporteuse : Francesca Rossi, Lakhdar Saïs

Mots clés

Mots clés contrôlés

Programmation par contraintes

Théorie des jeux

Résumé

Cette thèse présente un sujet dans le cadre de la théorie des jeux et de la programmation par contraintes. Plus précisément, nous nous concentrons sur modéliser les jeux de manière succincte et puis calculer leurs solutions sur ces représentations compactes grâce à la programmation par contraintes. Depuis longtemps, la théorie des jeux a subi une difficulté de la modélisation en raison de l'absence des représentations compactes pour modéliser les jeux. La représentation basique est encore une matrice appelée forme normale qui stocke les utilités des joueurs avec tous profils de stratégie. Pourtant, cette matrice agrandit exponentiellement avec le nombre de joueurs. Cela cause également une difficulté de la résolution des jeux. Dans cette thèse, nous introduisons un nouveau framework de Constraint Games afin de modéliser l'interaction stratégique entre les joueurs. Un constraint game est composé d'un ensemble de variables partagées par tous les joueurs. Parmi ces variables, chaque joueur possède un ensemble de variables décisionnelles qu'il peut contrôler et les contraintes représentant sa fonction d'utilité. Constraint games est un outil générique pour modéliser les jeux généraux et peut être exponentiellement plus succinct que leur forme normale. Nous montrons également l'utilité du framework par modéliser quelques jeux classiques et problèmes réels. Le concept de solution principal défini pour constraint games est l'Equilibre Nash en Stratégies Pure. C'est une situation dans laquelle aucun joueur n'a un intérêt de dévier unilatéralement. Il est bien connu que c'est complexe de calculer les équilibres Nash en stratégies pures dans les jeux. Pourtant, nous réussissons à construire un solver appelé ConGa qui se compose de plusieurs façons pour résoudre constraint games efficacement.

This thesis presents a topic at the interface of game theory and constraint programming. More precisely, we focus on modeling games in a succinct way and then computing their solutions on these compactly encoded games thanks to constraint programming. For a long period of time, game theory has suffered a modeling difficulty due to the lack of compact representations for encoding arbitrary games. The basic game representation is still an n-dimensional matrix called normal form which stores utilities of all players with all joint strategy profiles. The matrix however exponentially grows with the number of players. This also causes a solving difficulty for computing solutions in games. In the thesis, we introduce a novel framework of Constraint Games to model strategic interaction between players. A constraint game is composed of a set of variables shared by all the players. Among these variables, each player owns a set of decision variables he can control and constraints expressing his utility function. Constraint games is a generic tool to model general games and can be exponentially more succinct than their normal form. We also show the usefulness of the framework by modeling a few classical games as well as realistic problems. The main solution concept defined for constraint games is Pure Nash Equilibrium. It is a situation in which no player has an incentive to deviate unilaterally. It has been well-known that finding pure Nash equilibrium is computationally complex. Nevertheless, we have achieved to build an efficient solver called ConGa which includes various ways for solving constraint games.