Să verificăm dacă matricea generată respectă cele $3$ restricţii:
* *Restricţia 1* ($type=2, x{~1~}=1, y{~1~}=1, x{~2~}=1, y{~2~}=2, k=5$): Elementele de pe linia $1$, coloanele de la $1$ la $2$ trebuie să fie $== 5$. Elementele sunt $5$ şi $5$, deci condiţia este respectată.
* *Restricţia 2* ($type=0, x{~1~}=2, y{~1~}=1, x{~2~}=2, y{~2~}=1, k=6$): Elementul de pe linia $2$, coloana $1$ trebuie să fie $≥ 6$. Valoarea este $7$, iar $7 ≥ 6$, deci condiţia este respectată.
* *Restricţia 3* ($type=1, x{~1~}=2, y{~1~}=2, x{~2~}=2, y{~2~}=2, k=8$): Elementul de pe linia $2$, coloana $2$ trebuie să fie $≤ 8$. Valoarea este $7$, iar $7 ≤ 8$, deci condiţia este respectată.
* *Restricţia 1* $(type=2, x{~1~}=1, y{~1~}=1, x{~2~}=1, y{~2~}=2, k=5)$: Elementele de pe linia $1$, coloanele de la $1$ la $2$ trebuie să fie $== 5$. Elementele sunt $5$ şi $5$, deci condiţia este respectată.
* *Restricţia 2* $(type=0, x{~1~}=2, y{~1~}=1, x{~2~}=2, y{~2~}=1, k=6)$: Elementul de pe linia $2$, coloana $1$ trebuie să fie $≥ 6$. Valoarea este $7$, iar $7 ≥ 6$, deci condiţia este respectată.
* *Restricţia 3* $(type=1, x{~1~}=2, y{~1~}=2, x{~2~}=2, y{~2~}=2, k=8)$: Elementul de pe linia $2$, coloana $2$ trebuie să fie $≤ 8$. Valoarea este $7$, iar $7 ≤ 8$, deci condiţia este respectată.
Aceasta nu este singura soluţie validă. O altă soluţie acceptată ar putea fi, de exemplu, $A = [2, 4]$ şi $B = [3, 3]$.
h2. Exemplul 2
table(example). |_. dictator.in |_. dictator.out |
| 1 1 2
0 1 1 1 1 10
