Traitement des problèmes de satisfaction de contraintes distribués

• Auteur / Autrice : Youssef Hamadi
• Direction : Joël Quinqueton
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1999
• Etablissement(s) : Montpellier 2

Mots clés

Mots clés contrôlés

Heuristique

Architecture des réseaux d'ordinateurs

Contraintes (intelligence artificielle)

Résumé

Dans cette these, nous considerons la resolution efficace de problemes np-complets distribues. Nous presentons pour cela une extension au formalisme csp. Cette extension, dite des problemes distribues de satisfaction de contraintes en domaines finis (dcsp) permet d'etendre le paradigme au traitement des problemes distribues de satisfaction de contraintes. La distribution de l'information qui caracterise les systemes d'information va de pair avec la distribution des problemes, il est donc important d'apporter de nouveaux outils algorithmiques les traitant efficacement. Cette these constitue plus qu'une extension des methodes classiques de resolution csp au nouveau cadre. Nous nous reapproprions les conditions d'optimalite de la resolution en integrant les contraintes inherentes au cadre distribue et notamment les contraintes de localite des informations et de cout des echanges. Ces considerations nous permettent de presenter des methodes de traitement efficaces dans ce nouveau cadre. Nous presentons le premier algorithme distribue de filtrage d'un reseau de contrainte par arc-consistance qui soit a la fois optimal en nombre et en taille des messages echanges. Cette methode de filtrage est completee par la premiere methode de recherche distribuee complete de consommation spatiale non exponentielle. Nous etendons la recherche distribuee de solution pour la rendre entrelacee. Le filtrage distribue par arc-consistance, nous permet de presenter la premiere caracterisation du phenomene de transition de phase dans un cadre distribue. Finalement, nous etendons notre problematique au traitement du probleme sat sur architecture reconfigurable en presentant la premiere adaptation d'une meta-heuristique pour ces architectures.