Mécanismes de conception de modèles discrets fondés sur la théorie des jeux pour l'étude des réseaux d'interactions biologiques : application à la migration métastasique.

We applied game theory to study biological interactions. The object is to compute equilibria corresponding to cellular phenotypes. The model allows us validate the coherence of biological networks and to propose predictions about their structure. We applied it on two biological networks implicated in metastasis migration. To accelerate equilibrium computation we established methods for prediction that led to the formulation of a k-SAT problem which is frequently reduced to a 2-SAT problem solvable in polynomial time.La théorie des jeux permet de décrire des systèmes d'interactions complexes entre agents. Dans le cadre de la modélisation des interactions moléculaires, nous avons appliqué cette théorie afin d'étudier la dynamique des réseaux d'interactions à partir d'observations. L'objet est de calculer les équilibres correspondant à des phénotypes cellulaires. Le modèle permet de valider la cohérence des réseaux étudiés impliqués dans la migration métastasique via une molécule PAI-1 et permet également de proposer des prédictions sur la structure de ces réseaux. Afin d'accélérer le calcul des équilibres, nous avons établi des méthodes de prédiction à partir de la simple donnée de la structure du réseau. Elle conduit à la formulation d'un problème k-SAT qui se réduit fréquemment à un problème 2-SAT résolvable en un temps polynomial