Skip to Main content Skip to Navigation
Theses

Exploitation de structures de graphe en programmation par contraintes

Jean-Guillaume Fages 1, 2
2 TASC - Theory, Algorithms and Systems for Constraints
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Résumé : De nombreuses applications informatiques nécessitent de résoudre des problèmes de décision qui sont difficiles d’un point de vue mathématique. La programmation par contraintes permet de modéliser et résoudre certains de ces problèmes, parfois définis sur des graphes. Au delà des difficultés intrinsèques aux problèmes étudiés, la taille des instances à traiter contribue à la difficulté de la résolution. Cette thèse traite de l’utilisation des graphes en programmation par contraintes, dans le but d’en améliorer la capacité de passage à l’échelle. Une première partie porte sur l’utilisation de contraintes pour résoudre des problèmes de graphes impliquant la recherche d’arbres, de chemins et de cycles Hamiltoniens. Ce sont des problèmes importants que l’on retrouve dans de nombreuses applications industrielles. Nous étudions à la fois le filtrage et les stratégies d’exploration de l’espace de recherche. Nous chercherons ensuite à nous extraire progressivement des problèmes classiquement définis sur les graphes pour exploiter ce concept sur des problèmes définis sur les entiers, voire les réels. Une seconde partie porte ainsi sur l’utilisation des graphes pour le filtrage de contraintes globales très répandues. Nous proposerons entre autres d’utiliser des graphes comme support pour décomposer dynamiquement des algorithmes de filtrage, de manière générique. Le fil conducteur de ces travaux sera d’une part l’utilisation du concept de graphe à la base de chaque raisonnement et d’autre part, la volonté pratique d’augmenter la taille des problèmes pouvant être traités en programmation par contraintes.
Complete list of metadatas

Cited literature [90 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01085253
Contributor : Abes Star :  Contact
Submitted on : Friday, November 21, 2014 - 8:51:58 AM
Last modification on : Thursday, March 5, 2020 - 5:48:08 PM
Document(s) archivé(s) le : Monday, February 23, 2015 - 8:56:55 AM

File

Fages_Jg_10_2014.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01085253, version 1

Citation

Jean-Guillaume Fages. Exploitation de structures de graphe en programmation par contraintes. Algorithme et structure de données [cs.DS]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0190⟩. ⟨tel-01085253⟩

Share

Metrics

Record views

1248

Files downloads

6250