 |
HAL-LIRMM - Open Archive |  |
Conference papers
Maintien asynchrone de la consistance d'arc dans la recherche distribuée synchrone
Résumé : Nous avons proposé récemment Nogood-Based Asynchronous Forward Checking (AFC-ng), un algo-rithme efficace et robuste pour résoudre des Problèmes de Satisfaction de Contraintes Distribués (DisCSPs). AFC-ng exécute de manière asynchrone une phase de vérification en avant pendant la recherche synchrone. Dans ce papier, nous proposons deux nouveaux algorithmes basés sur le même mécanisme qu'AFC-ng. Cependant, au lieu d'utiliser le forward checking comme propriété de filtrage, nous proposons de maintenir d'une manière asynchrone la consistance d'arc (MACA). Le premier algorithme que nous proposons, MACA-del, maintient la consistance d'arc grâce à un type de messages supplé-mentaire, des messages de suppression. Le deuxième algorithme, MACA-not, réalise la consistance d'arc sans aucun nouveau type de message. Nous fournissons une analyse théorique et uneévaluation expérimentale de l'approche proposée. Nos expérimentations montrent la bonne performance des algorithmes MACA et plus particulièrement ceux de MACA-not.
Cited literature [26 references]
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830408
Contributor : Joël Quinqueton <>
Submitted on : Thursday, October 10, 2019 - 2:17:11 PM
Last modification on : Monday, February 15, 2021 - 10:00:49 AM
Contributor : Joël Quinqueton <>
Submitted on : Thursday, October 10, 2019 - 2:17:11 PM
Last modification on : Monday, February 15, 2021 - 10:00:49 AM
File
papier_18.pdf
Files produced by the author(s)