Inférence d'Inconsistances pour la Résolution de MAX-N CSP
Abstract
Le présent article porte sur la résolution exacte du problème de satisfaction maximale de contraintes (Max- CSP). La résolution du Max-CSP est généralement effectuée à l'aide d'algorithmes de type branch and bound. L'efficacité de ces algorithmes dépend étroitement de la borne inférieure de la valeur du Max-CSP qu'ils utilisent au cours de la recherche. Les bornes inférieures pour le Max-CSP se basent, en général, sur le concept d'arc consistance (AC). Nous présentons ici un mécanisme d'inférences d'inconsistance entre valeurs dans le but d'augmenter les valeurs des bornes inférieures basées sur l'AC. Ceci est eectué en détectant les inconsis- tances ignorées par les compteurs d'arc-inconsistance dirigée dac. L'inférence d'inconsistances pour une valeur a d'une variable non instanciée i, consiste à rajouter à la contribution de a le nombre de variables futures dont les valeurs participant au calcul de la borne inférieure sont incohérentes avec a. Une implémentation de cette technique est présentée et testée sur des Max-CSP aléa- toires.