« Solveurs de contraintes » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Les solveurs de contraintes résolvent les problèmes de satisfaction de contraintes (CSP). Ils prennent en charge la programmation par contraintes. Une contrainte est une condition qui doit être satisfaite par toute solution valide à un problème. | Les solveurs de contraintes résolvent les problèmes de satisfaction de contraintes (CSP). Ils prennent en charge la programmation par contraintes. Une contrainte est une condition qui doit être satisfaite par toute solution valide à un problème. | ||
| Ligne 20 : | Ligne 18 : | ||
[https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia ] | [https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia ] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
[[Catégorie: | |||
Version du 25 février 2023 à 11:21
Définition
Les solveurs de contraintes résolvent les problèmes de satisfaction de contraintes (CSP). Ils prennent en charge la programmation par contraintes. Une contrainte est une condition qui doit être satisfaite par toute solution valide à un problème.
Les contraintes sont définies de manière déclarative et appliquées à des variables dans des domaines donnés. Les résolveurs de contraintes utilisent des techniques de recherche, de retour arrière et de propagation de contraintes pour trouver des solutions et déterminer les solutions optimales.
Ils peuvent employer des formes de programmation linéaire et non linéaire. Ils sont souvent utilisés pour effectuer une optimisation dans des espaces de problèmes hautement combinatoires. Par exemple, ils peuvent être utilisés pour calculer une planification optimale, concevoir des circuits intégrés efficaces ou maximiser la productivité dans un processus de fabrication.
Français
Solveurs de contraintes
Anglais
Constraint solvers
Contributeurs: Imane Meziani, wiki
