Revue de l'Information Scientifique et Technique
Volume 14, Numéro 1, Pages 54-76
2004-04-06

Le Backtracking Intelligent Distribué Optimal

Auteurs : Belaïssaoui Mustapha . Bouyakhf El Houssine .

Résumé

La recherche dans les Problèmes de Satisfaction de Contraintes Distribués (DCSP) est historiquement partagée en deux classes distinctes de méthodes. La première consiste à la recherche d’une solution en utilisant la méthode de Backtrack. La deuxième est la consistance locale, en particulier la consistance d’arc [8]. Dans ce cadre et à partir de l’algorithme Intelligent BackTracking Distribué (DIBT) [7], nous avons proposé une Généralisation Optimale en envoi de messages (OGDIBT) [1], [4]. Malheureusement, DIBT n’est pas complet [5]. Ce papier tente d’étudier la complétude de OGDIBT en proposant une version complète.

Mots clés

Problèmes de satisfaction de contraintes distribués (dcsp)/ ia distribué