Diferențe pentru problema/constrangere între reviziile #10 si #12

== include(page="template/taskheader" task_id="constrangere") ==

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ă.

O constrângere este o egalitate sau o inegalitate În care apar variable și constante. Fiecare variabilă se află într-un domeniu de definiție (mulțimea valorilor posibile) finit și discret (inclus în mulțimea numerelor naturale). 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ă: