Skip to Main content Skip to Navigation
Conference papers

Inférence d'Inconsistances pour la Résolution de MAX-N CSP

Résumé : 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.
Complete list of metadata

https://hal.inria.fr/inria-00085789
Contributor : Laurent Henocque <>
Submitted on : Friday, July 14, 2006 - 10:50:12 AM
Last modification on : Saturday, February 15, 2020 - 1:58:04 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:08:49 AM

File

Identifiers

  • HAL Id : inria-00085789, version 1

Collections

Citation

Fayçal Djerourou, Hachemi Bennaceur. Inférence d'Inconsistances pour la Résolution de MAX-N CSP. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France. ⟨inria-00085789⟩

Share

Metrics

Record views

205

Files downloads

152