« Solveurs de contraintes » : différence entre les versions
(Page créée avec « ==en construction== == Définition == Les solveurs de contraintes résolvent les problèmes de satisfaction de contraintes (CSP). Ils prennent en charge la programmation... ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (4 versions intermédiaires par 2 utilisateurs non affichées) | |||
| 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 | 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. | 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. | ||
| Ligne 8 : | Ligne 6 : | ||
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. | 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. | ||
voir [[Système de raisonnement]] | voir '''[[Système de raisonnement]]''' | ||
== Français == | == Français == | ||
| Ligne 16 : | Ligne 14 : | ||
''' Constraint solvers''' | ''' Constraint solvers''' | ||
==Sources== | |||
[https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia ] | [https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia ] | ||
[[Catégorie: | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 12:18
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
Sources
Contributeurs: Imane Meziani, wiki
