Mai intai trebuie sa te autentifici.
Diferente pentru 2-sat intre reviziile #60 si #59
Nu exista diferente intre titluri.
Diferente intre continut:
Transformăm relaţiile astfel ca să nu apară nici o constantă negativă:
<tex> 0 \le x_{1}\le 1, 0 \le x_{2} \le 1, 0 \le x_{3} \le 1, </tex>
<tex> 0 \le x_{1} âle 1, 0 \le x_{2} \le 1, 0 \le x_{3} \le 1, </tex>
<tex> 0 \le y_{1} \le 1, 1 \le x_{1} + y_{1} \le 2, 0 \le -x_{2} + y_{1} \le 1, 2 \le x_{3} + y_{1} \le 3, </tex> <tex> 0 \le y_{2} \le 1, 0 \le x_{1} - y_{2} \le 1, 0 \le -x_{2} - y_{2} \le 1, 1 \le x_{3} - y_{2} \le 2, </tex> <tex> 0 \le y_{3} \le 1, 0 \le x_{1} + y_{3} \le 1, 0 \le -x_{2} + y_{3} \le 1, 0 \le x_{3} + y_{3} \le 1 </tex>