Exploitation de structures de graphe en programmation par contraintes

Jean-Guillaume Fages 1, 2
2 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne 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.
Type de document :
Thèse
Algorithme et structure de données [cs.DS]. Ecole des Mines de Nantes, 2014. Français. <NNT : 2014EMNA0190>
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01085253
Contributeur : Abes Star <>
Soumis le : vendredi 21 novembre 2014 - 08:51:58
Dernière modification le : mercredi 20 janvier 2016 - 01:06:56
Document(s) archivé(s) le : lundi 23 février 2015 - 08:56:55

Fichier

Fages_Jg_10_2014.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01085253, version 1

Collections

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>

Partager

Métriques

Consultations de
la notice

812

Téléchargements du document

978