Diferențe pentru problema/constrangere între reviziile #7 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ă:

* $1 ≤ N ≤ 10$
* $1 ≤ m ≤ M ≤ 10$
* Constrângerea va conține un singur semn de egalitate ([$=$]) sau un singur semn de mai mic ([$<$]).

* Constrângerea poate conține: paranteze, operatorii $+$, $-$ și $*$, nume de variabile, constante (numere întregi) și spații.

* Constrângerea poate conține: paranteze rotunde (eventual imbricate), operatorii $+$, $-$ și $*$, nume de variabile, constante (numere întregi) și spații.

* Operatorul unar (-) are precedența cea mai mare. Apoi urmează operatorul de înmulțire ([$*$]). La final au loc operațiile de adunare ([$+$]) și scădere (-) cu aceeași precedență.
* Asocierea termenilor și factorilor se face de la stânga la dreapta. (ex.: $2 - 2 - 2 = (2 - 2) - 2 = 0 - 2 = -2$)
* Fiecare variabilă va apărea o singură dată în constrângere.
* Numărul de constante nu depășește numărul de variabile + [$1$].
* Fiecare constantă $C$ respectă restricția $-100 ≤ C ≤ 100$.

* Lungimea unei secvențe nu depășește $100$ de caractere.

* Lungimea unei constrângeri nu depășește $100$ de caractere.

* Constrângerea este corectă sintactic.
* Oricum s-ar da valori variabilelor, cu respectarea domeniilor lor de definiție, orice rezultat intermediar folosit la evaluarea constrângerii se va afla în intervalul $[-2[^15^], 2[^15^] - 1]$.