« Problème de satisfaction de contraintes » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
[[Catégorie:Termium]] | [[Catégorie:Termium]] | ||
[[Catégorie:Intelligence artificielle]]Intelligence artificielle<br> | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:Mathématiques]]Mathématiques<br> | Intelligence artificielle<br> | ||
[[Catégorie:Mathématiques]] | |||
Mathématiques<br> | |||
[[Catégorie:scotty]] | [[Catégorie:scotty]] | ||
== 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 '''n.m. | ||
== Anglais == | ==Anglais== | ||
'''constraint satisfaction problem''' | '''constraint satisfaction problem''' | ||
| Ligne 21 : | Ligne 23 : | ||
[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 | [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] | ||
Version du 19 juin 2019 à 19:01
Intelligence artificielle
Mathématiques
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 n.m.
Anglais
constraint satisfaction problem
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
