Contrainte table
Une contrainte table est une des contraintes utilisées dans les problèmes de satisfaction de contraintes (CSP). Ce type de contrainte est défini en extension en listant l’ensemble des tuples (n-uplets) autorisés (dans le cas d'une contrainte positive) ou interdits (contrainte négative).
Utilité
[modifier | modifier le wikicode]Les contraintes table semble être parfois le moyen unique pour un utilisateur non-expert d'exprimer les différentes valeurs prise par les variables de son problème. Ce type de contraintes est utilisé dans diverses problèmes du monde réel tel que les bases de données, la configuration, les designs, etc.
Définition formelle
[modifier | modifier le wikicode]Une contrainte table est, comme toute contrainte parmi celle utilisées dans la définition des problèmes de satisfactions de contraintes, définie sur un ensemble de variables X. Cet ensemble définit la portée de la contrainte et ainsi toutes les combinaisons de valeurs listées (tuples) dans la contrainte concernent ces variables.