« Satisfaction de contraintes » : différence entre les versions
m (Remplacement de texte — « Catégorie:Mathématiques » par « ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| Ligne 10 : | Ligne 10 : | ||
'''constraint satisfaction''' | '''constraint satisfaction''' | ||
==Sources== | |||
[https://www.gerad.ca/~alainh/memoireCD.psd Source: Desrosiers, Christian. ''Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables''. École polytechnique de Montréal, avril 2014, p. v. Consulté : 2019-04-05. ] | [https://www.gerad.ca/~alainh/memoireCD.psd Source: Desrosiers, Christian. ''Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables''. École polytechnique de Montréal, avril 2014, p. v. Consulté : 2019-04-05. ] | ||
Dernière version du 28 janvier 2024 à 13:24
Définition
La satisfaction de contraintes permet de modéliser et résoudre une variété de problèmes d'optimisation combinatoire réels provenant de multiples disciplines. Les problèmes de satisfaction de contraintes - PSC (Constraint Satisfaction Problem - CSP) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères.
Note: les PSC font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux PSC nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Français
satisfaction de contraintes
Anglais
constraint satisfaction
Sources
Contributeurs: Jacques Barolet, wiki
