« Problème de satisfaction de contraintes » : différence entre les versions


m (Remplacement de texte — « <!-- Scotty2 --> » par «  »)
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
[[Catégorie:Termium]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Mathématiques]]
[[Category:GRAND LEXIQUE FRANÇAIS]]
==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  '''nom masc.  
'''problème de satisfaction de contraintes  ''' <small>nom masc. </small>
   
   
==Anglais==
==Anglais==
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:Termium]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Mathématiques]]
[[Category:GRAND LEXIQUE FRANÇAIS]]

Version du 8 mai 2020 à 08:18

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 nom masc.

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


Source : TERMIUM Plus

Contributeurs: Jacques Barolet, wiki