Diferențe pentru problema/constrangere între reviziile #3 si #4

O constrângere este o egalitate sau o inegalitate între una sau mai multe numere întregi. Fiecare variabilă se află într-un domeniu de definiție (mulțimea valorilor posibile) finit. Spunem că o constrângere este satisfăcută dacă și numai dacă fiecărei variabile i se poate atribui o valoare din propriul ei domeniu de definiție astfel încât egalitatea sau inegalitatea este satisfăcută.
De exemplu, constrângerea $X+Y=5$ cu domeniile de definiție $X ∈ {1, 2, 3, 4}$ și $Y ∈ {1, 2, 3, 4}$ se poate satisface dacă:

* $X = 1$ și $Y = 4$
* $X = 2$ și $Y = 3$
* $X = 3$ și $Y = 2$