Scribd
Importer
23 vues1 page

Problèmes de Satisfaction de Contraintes

Transféré par

Najib Azmi
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats DOCX, PDF, TXT ou lisez en ligne sur Scribd
23 vues1 page

Problèmes de Satisfaction de Contraintes

Transféré par

Najib Azmi
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats DOCX, PDF, TXT ou lisez en ligne sur Scribd

 1-Formulation du CSP : Formellement, un problème de satisfaction de contraintes (ou CSP

pour Constraint Satisfaction Problem) est défini par:

 Un ensemble fini de variables X1 , …, Xn.

 Chaque variable Xi a un domaine Di de valeurs possibles

 Un ensemble fini de contraintes C1 , …, Cm sur les variables.

 Une contrainte restreint les valeurs pour un sous-ensemble de


variables.

 Un état (nœud) d’un problème CSP est défini par une assignation de valeurs {Xi=vi ,X1=v1 ,
…} à certaines variables ou à toutes les variables:

 Une assignation qui ne viole aucune contrainte est dite consistante ou


légale.

 Une assignation est complète si elle concerne toutes les variables.

 Une solution à un problème CSP est une assignation complète et


consistante.

Vous aimerez peut-être aussi