« Problème de satisfaction de contraintes » : différence entre les versions
m (Remplacement de texte — « <!-- Scotty2 --> » par « ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (5 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
Dans un problème de satisfaction de contraintes, on cherche à assigner aux variables des valeurs de telle sorte que toutes les contraintes fournies en entrée soient satisfaites. | Dans un problème de satisfaction de contraintes, on cherche à assigner aux variables des valeurs de telle sorte que toutes les contraintes fournies en entrée soient satisfaites. | ||
==Français== | ==Français== | ||
'''problème de satisfaction de contraintes ''' | '''problème de satisfaction de contraintes ''' | ||
==Anglais== | ==Anglais== | ||
| Ligne 15 : | Ligne 9 : | ||
==Sources== | |||
Kharrat, Ons. ''Étude d'un algorithme pour 2-SAT via les opérations de majorité-minorité généralisées'' [mémoire de maîtrise]. Université Laval, 2012, p. ii. Consulté : 2019-04-05. https://corpus.ulaval.ca/jspui/bitstream/20.500.11794/23332/1/28877.pdf | Kharrat, Ons. ''Étude d'un algorithme pour 2-SAT via les opérations de majorité-minorité généralisées'' [mémoire de maîtrise]. Université Laval, 2012, p. ii. Consulté : 2019-04-05. https://corpus.ulaval.ca/jspui/bitstream/20.500.11794/23332/1/28877.pdf | ||
| Ligne 21 : | Ligne 15 : | ||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=probl%C3%A8me+de+satisfaction+de+contraintes&index=frt&codom2nd_wet=1#resultrecs Source : TERMIUM Plus] | [https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=probl%C3%A8me+de+satisfaction+de+contraintes&index=frt&codom2nd_wet=1#resultrecs Source : TERMIUM Plus] | ||
[[Catégorie:Intelligence artificielle]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 11:53
Définition
Dans un problème de satisfaction de contraintes, on cherche à assigner aux variables des valeurs de telle sorte que toutes les contraintes fournies en entrée soient satisfaites.
Français
problème de satisfaction de contraintes
Anglais
constraint satisfaction problem
Sources
Kharrat, Ons. Étude d'un algorithme pour 2-SAT via les opérations de majorité-minorité généralisées [mémoire de maîtrise]. Université Laval, 2012, p. ii. Consulté : 2019-04-05. https://corpus.ulaval.ca/jspui/bitstream/20.500.11794/23332/1/28877.pdf
Contributeurs: Jacques Barolet, wiki
