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

par Youssef Hamadi

Thèse de doctorat en Informatique

Sous la direction de Joël Quinqueton.

Soutenue en 1999

à Montpellier 2 .


  • 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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 276 f
  • Annexes : Bibliogr.: f. 265-276

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : TS 99.MON-97
  • Bibliothèque :
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.