Académique Documents
Professionnel Documents
Culture Documents
16-4-15 LP
16-4-15 LP
c19:
c20:
c21:
c22:
c23:
c24:
c25:
c26:
c27:
c28:
c29:
c30:
c31:
c32:
c33:
c34:
c35:
c36:
c37:
c38:
c39:
c40:
c41:
c42:
c43:
c44:
c45:
c46:
c47:
c48:
c49:
c50:
c51:
c52:
c53:
c54:
c55:
c56:
c57:
c58:
c59:
c60:
c61:
c62:
c63:
c64:
c65:
c97: wc(1)(2)(3) +
- cc(2)(1)(3)
c98: wc(1)(2)(4) +
- cc(2)(1)(4)
c99: wc(1)(3)(1) +
+ cc(2)(3)(1)
c100: wc(1)(3)(2) +
+ cc(2)(3)(2)
c101: wc(1)(3)(3) +
+ cc(2)(3)(3)
c102: wc(1)(3)(4) +
+ cc(2)(3)(4)
c103: cc(1)(2)(1) +
+ cw(1)(2)(1)
c104: cc(1)(2)(2) +
+ cw(1)(2)(2)
c105: cc(1)(2)(3) +
+ cw(1)(2)(3)
c106: cc(1)(2)(4) +
+ cw(1)(2)(4)
c107: - cc(1)(2)(1)
+ cw(2)(2)(1)
c108: - cc(1)(2)(2)
+ cw(2)(2)(2)
c109: - cc(1)(2)(3)
+ cw(2)(2)(3)
c110: - cc(1)(2)(4)
+ cw(2)(2)(4)
c111: - cc(1)(3)(1)
+ cw(3)(2)(1)
c112: - cc(1)(3)(2)
+ cw(3)(2)(2)
c113: - cc(1)(3)(3)
+ cw(3)(2)(3)
c114: - cc(1)(3)(4)
+ cw(3)(2)(4)
c115: wc(1)(1)(1) +
- cc(1)(3)(1)
- cw(1)(3)(1)
c116: wc(1)(2)(1) +
- cc(2)(1)(1)
- cw(2)(3)(1)
c117: wc(1)(3)(1) +
+ cc(2)(3)(1)
- cw(3)(3)(1)
c118: wc(1)(1)(2) +
- cc(1)(3)(2)
- cw(1)(3)(2)
c119: wc(1)(2)(2) +
- cc(2)(1)(2)
- cw(2)(3)(2)
c120: wc(1)(3)(2) +
+ cc(2)(3)(2)
- cw(3)(3)(2)
c121: wc(1)(1)(3) +
- cc(1)(3)(3)
- cw(1)(3)(3)
c122: wc(1)(2)(3) +
- cc(2)(1)(3)
- cw(2)(3)(3)
wc(2)(2)(3) +
- cc(2)(3)(3)
wc(2)(2)(4) +
- cc(2)(3)(4)
wc(2)(3)(1) +
- cc(3)(1)(1)
wc(2)(3)(2) +
- cc(3)(1)(2)
wc(2)(3)(3) +
- cc(3)(1)(3)
wc(2)(3)(4) +
- cc(3)(1)(4)
cc(1)(3)(1) + cw(1)(3)(1)
cc(1)(3)(2) + cw(1)(3)(2)
cc(1)(3)(3) + cw(1)(3)(3)
cc(1)(3)(4) + cw(1)(3)(4)
+ cc(2)(1)(1)
+ cw(2)(3)(1)
+ cc(2)(1)(2)
+ cw(2)(3)(2)
+ cc(2)(1)(3)
+ cw(2)(3)(3)
+ cc(2)(1)(4)
+ cw(2)(3)(4)
- cc(2)(3)(1)
+ cw(3)(3)(1)
- cc(2)(3)(2)
+ cw(3)(3)(2)
- cc(2)(3)(3)
+ cw(3)(3)(3)
- cc(2)(3)(4)
+ cw(3)(3)(4)
wc(2)(1)(1) +
+ cc(2)(1)(1)
- cw(1)(4)(1)
wc(2)(2)(1) +
- cc(2)(3)(1)
- cw(2)(4)(1)
wc(2)(3)(1) +
- cc(3)(1)(1)
- cw(3)(4)(1)
wc(2)(1)(2) +
+ cc(2)(1)(2)
- cw(1)(4)(2)
wc(2)(2)(2) +
- cc(2)(3)(2)
- cw(2)(4)(2)
wc(2)(3)(2) +
- cc(3)(1)(2)
- cw(3)(4)(2)
wc(2)(1)(3) +
+ cc(2)(1)(3)
- cw(1)(4)(3)
wc(2)(2)(3) +
- cc(2)(3)(3)
- cw(2)(4)(3)
wc(3)(2)(3) +
+ cc(3)(2)(3)
wc(3)(2)(4) +
+ cc(3)(2)(4)
wc(3)(3)(1) +
- cc(3)(2)(1)
wc(3)(3)(2) +
- cc(3)(2)(2)
wc(3)(3)(3) +
- cc(3)(2)(3)
wc(3)(3)(4) +
- cc(3)(2)(4)
cc(2)(1)(1) + cw(1)(4)(1)
cc(2)(1)(2) + cw(1)(4)(2)
cc(2)(1)(3) + cw(1)(4)(3)
cc(2)(1)(4) + cw(1)(4)(4)
+ cc(2)(3)(1)
+ cw(2)(4)(1)
+ cc(2)(3)(2)
+ cw(2)(4)(2)
+ cc(2)(3)(3)
+ cw(2)(4)(3)
+ cc(2)(3)(4)
+ cw(2)(4)(4)
+ cc(3)(1)(1)
+ cw(3)(4)(1)
+ cc(3)(1)(2)
+ cw(3)(4)(2)
+ cc(3)(1)(3)
+ cw(3)(4)(3)
+ cc(3)(1)(4)
+ cw(3)(4)(4)
wc(3)(1)(1) +
+ cc(3)(1)(1)
= 0
wc(3)(2)(1) +
+ cc(3)(2)(1)
= 0
wc(3)(3)(1) +
- cc(3)(2)(1)
= 0
wc(3)(1)(2) +
+ cc(3)(1)(2)
= 0
wc(3)(2)(2) +
+ cc(3)(2)(2)
= 0
wc(3)(3)(2) +
- cc(3)(2)(2)
= 0
wc(3)(1)(3) +
+ cc(3)(1)(3)
= 0
wc(3)(2)(3) +
+ cc(3)(2)(3)
= 0
wc(4)(2)(3) +
>= 0
wc(4)(2)(4) +
>= 0
wc(4)(3)(1) +
>= 0
wc(4)(3)(2) +
>= 0
wc(4)(3)(3) +
>= 0
wc(4)(3)(4) +
>= 0
cc(3)(1)(1) +
>= 0
cc(3)(1)(2) +
>= 0
cc(3)(1)(3) +
>= 0
cc(3)(1)(4) +
>= 0
- cc(3)(2)(1)
>= 0
- cc(3)(2)(2)
>= 0
- cc(3)(2)(3)
>= 0
- cc(3)(2)(4)
>= 0
+ cc(3)(2)(1)
>= 0
+ cc(3)(2)(2)
>= 0
+ cc(3)(2)(3)
>= 0
+ cc(3)(2)(4)
>= 0
wc(4)(1)(1) - cw(1)(1)(1)
cc(1)(2)(3)
cc(1)(2)(4)
cc(1)(3)(1)
cc(1)(3)(2)
cc(1)(3)(3)
cc(1)(3)(4)
cw(1)(1)(1)
cw(1)(1)(2)
cw(1)(1)(3)
cw(1)(1)(4)
+ cw(2)(1)(1)
+ cw(2)(1)(2)
+ cw(2)(1)(3)
+ cw(2)(1)(4)
+ cw(3)(1)(1)
+ cw(3)(1)(2)
+ cw(3)(1)(3)
+ cw(3)(1)(4)
cc(1)(2)(1)
- cw(1)(2)(1)
wc(4)(2)(1) + cc(1)(2)(1)
- cw(2)(1)(1) - cw(2)(2)(1)
wc(4)(3)(1) + cc(1)(3)(1)
- cw(3)(1)(1) - cw(3)(2)(1)
wc(4)(1)(2) - cc(1)(2)(2)
- cw(1)(1)(2) - cw(1)(2)(2)
wc(4)(2)(2) + cc(1)(2)(2)
- cw(2)(1)(2) - cw(2)(2)(2)
wc(4)(3)(2) + cc(1)(3)(2)
- cw(3)(1)(2) - cw(3)(2)(2)
wc(4)(1)(3) - cc(1)(2)(3)
- cw(1)(1)(3) - cw(1)(2)(3)
wc(4)(2)(3) + cc(1)(2)(3)
- cw(2)(1)(3) - cw(2)(2)(3)
c133: 30 wc(1)(1)(3) +
+ 19 wc(2)(2)(3)
+ 21 wc(3)(3)(3)
+ 30 cc(1)(1)(3)
+ 19 cc(2)(2)(3)
+ 21 cc(3)(3)(3)
c134: 30 wc(1)(1)(4) +
+ 19 wc(2)(2)(4)
+ 21 wc(3)(3)(4)
+ 30 cc(1)(1)(4)
+ 19 cc(2)(2)(4)
+ 21 cc(3)(3)(4)
c135: Y(3) = 1
c136: Y(4) = 1
c137: Z(3)(1) = 1
c138: Z(4)(2) = 1
c139: Z(4)(3) = 1
c140: wc(4)(2)(4) = 1
c141: wc(3)(1)(1) = 1
c142: cw(1)(3)(1) = 1
c143: cw(3)(4)(4) = 1
c144: cc(2)(3)(4) = 1
Bounds
0 <= Y(1) <= 1
0 <= Y(2) <= 1
0 <= Y(3) <= 1
0 <= Y(4) <= 1
0 <= wc(1)(1)(1) <= 1
0 <= wc(1)(1)(2) <= 1
0 <= wc(1)(1)(3) <= 1
0 <= wc(1)(1)(4) <= 1
0 <= wc(1)(2)(1) <= 1
0 <= wc(1)(2)(2) <= 1
0 <= wc(1)(2)(3) <= 1
0 <= wc(1)(2)(4) <= 1
0 <= wc(1)(3)(1) <= 1
0 <= wc(1)(3)(2) <= 1
0 <= wc(1)(3)(3) <= 1
0 <= wc(1)(3)(4) <= 1
0 <= wc(2)(1)(1) <= 1
0 <= wc(2)(1)(2) <= 1
0 <= wc(2)(1)(3) <= 1
0 <= wc(2)(1)(4) <= 1
0 <= wc(2)(2)(1) <= 1
0 <= wc(2)(2)(2) <= 1
0 <= wc(2)(2)(3) <= 1
0 <= wc(2)(2)(4) <= 1
0 <= wc(2)(3)(1) <= 1
0 <= wc(2)(3)(2) <= 1
0 <= wc(2)(3)(3) <= 1
0 <= wc(2)(3)(4) <= 1
0 <= wc(3)(1)(1) <= 1
0 <= wc(3)(1)(2) <= 1
0 <= wc(3)(1)(3) <= 1
0 <= wc(3)(1)(4) <= 1
0 <= wc(3)(2)(1) <= 1
0 <= wc(3)(2)(2) <= 1
0 <= wc(3)(2)(3) <= 1
0 <= wc(3)(2)(4) <= 1
0 <= wc(3)(3)(1) <= 1
19 wc(1)(2)(3) +
+ 21 wc(2)(3)(3)
+ 30 wc(4)(1)(3)
+ 19 cc(1)(2)(3)
+ 21 cc(2)(3)(3)
<= 40
19 wc(1)(2)(4) +
+ 21 wc(2)(3)(4)
+ 30 wc(4)(1)(4)
+ 19 cc(1)(2)(4)
+ 21 cc(2)(3)(4)
<= 40
21 wc(1)(3)(3) +
+ 30 wc(3)(1)(3)
+ 19 wc(4)(2)(3)
+ 21 cc(1)(3)(3)
+ 30 cc(3)(1)(3)
30 wc(2)(1)(3)
+ 19 wc(3)(2)(3)
+ 21 wc(4)(3)(3)
+ 30 cc(2)(1)(3)
+ 19 cc(3)(2)(3)
21 wc(1)(3)(4) +
+ 30 wc(3)(1)(4)
+ 19 wc(4)(2)(4)
+ 21 cc(1)(3)(4)
+ 30 cc(3)(1)(4)
30 wc(2)(1)(4)
+ 19 wc(3)(2)(4)
+ 21 wc(4)(3)(4)
+ 30 cc(2)(1)(4)
+ 19 cc(3)(2)(4)
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
wc(3)(3)(2)
wc(3)(3)(3)
wc(3)(3)(4)
wc(4)(1)(1)
wc(4)(1)(2)
wc(4)(1)(3)
wc(4)(1)(4)
wc(4)(2)(1)
wc(4)(2)(2)
wc(4)(2)(3)
wc(4)(2)(4)
wc(4)(3)(1)
wc(4)(3)(2)
wc(4)(3)(3)
wc(4)(3)(4)
cc(1)(1)(1)
cc(1)(1)(2)
cc(1)(1)(3)
cc(1)(1)(4)
cc(1)(2)(1)
cc(1)(2)(2)
cc(1)(2)(3)
cc(1)(2)(4)
cc(1)(3)(1)
cc(1)(3)(2)
cc(1)(3)(3)
cc(1)(3)(4)
cc(2)(1)(1)
cc(2)(1)(2)
cc(2)(1)(3)
cc(2)(1)(4)
cc(2)(2)(1)
cc(2)(2)(2)
cc(2)(2)(3)
cc(2)(2)(4)
cc(2)(3)(1)
cc(2)(3)(2)
cc(2)(3)(3)
cc(2)(3)(4)
cc(3)(1)(1)
cc(3)(1)(2)
cc(3)(1)(3)
cc(3)(1)(4)
cc(3)(2)(1)
cc(3)(2)(2)
cc(3)(2)(3)
cc(3)(2)(4)
cc(3)(3)(1)
cc(3)(3)(2)
cc(3)(3)(3)
cc(3)(3)(4)
cw(1)(1)(1)
cw(1)(1)(2)
cw(1)(1)(3)
cw(1)(1)(4)
cw(1)(2)(1)
cw(1)(2)(2)
cw(1)(2)(3)
cw(1)(2)(4)
cw(1)(3)(1)
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
<=
cw(1)(3)(2) <= 1
cw(1)(3)(3) <= 1
cw(1)(3)(4) <= 1
cw(1)(4)(1) <= 1
cw(1)(4)(2) <= 1
cw(1)(4)(3) <= 1
cw(1)(4)(4) <= 1
cw(2)(1)(1) <= 1
cw(2)(1)(2) <= 1
cw(2)(1)(3) <= 1
cw(2)(1)(4) <= 1
cw(2)(2)(1) <= 1
cw(2)(2)(2) <= 1
cw(2)(2)(3) <= 1
cw(2)(2)(4) <= 1
cw(2)(3)(1) <= 1
cw(2)(3)(2) <= 1
cw(2)(3)(3) <= 1
cw(2)(3)(4) <= 1
cw(2)(4)(1) <= 1
cw(2)(4)(2) <= 1
cw(2)(4)(3) <= 1
cw(2)(4)(4) <= 1
cw(3)(1)(1) <= 1
cw(3)(1)(2) <= 1
cw(3)(1)(3) <= 1
cw(3)(1)(4) <= 1
cw(3)(2)(1) <= 1
cw(3)(2)(2) <= 1
cw(3)(2)(3) <= 1
cw(3)(2)(4) <= 1
cw(3)(3)(1) <= 1
cw(3)(3)(2) <= 1
cw(3)(3)(3) <= 1
cw(3)(3)(4) <= 1
cw(3)(4)(1) <= 1
cw(3)(4)(2) <= 1
cw(3)(4)(3) <= 1
cw(3)(4)(4) <= 1
x149 = 643
0 <= Z(1)(1) <= 1
0 <= Z(2)(1) <= 1
0 <= Z(3)(1) <= 1
0 <= Z(4)(1) <= 1
0 <= Z(1)(2) <= 1
0 <= Z(2)(2) <= 1
0 <= Z(3)(2) <= 1
0 <= Z(4)(2) <= 1
0 <= Z(1)(3) <= 1
0 <= Z(2)(3) <= 1
0 <= Z(3)(3) <= 1
0 <= Z(4)(3) <= 1
Binaries
Y(1) Y(2) Y(3) Y(4) wc(1)(1)(1) wc(1)(1)(2) wc(1)(1)(3) wc(1)(1)(4)
wc(1)(2)(1) wc(1)(2)(2) wc(1)(2)(3) wc(1)(2)(4) wc(1)(3)(1) wc(1)(3)(2)
wc(1)(3)(3) wc(1)(3)(4) wc(2)(1)(1) wc(2)(1)(2) wc(2)(1)(3) wc(2)(1)(4)
wc(2)(2)(1) wc(2)(2)(2) wc(2)(2)(3) wc(2)(2)(4) wc(2)(3)(1) wc(2)(3)(2)
wc(2)(3)(3) wc(2)(3)(4) wc(3)(1)(1) wc(3)(1)(2) wc(3)(1)(3) wc(3)(1)(4)
wc(3)(2)(1) wc(3)(2)(2) wc(3)(2)(3) wc(3)(2)(4) wc(3)(3)(1) wc(3)(3)(2)
wc(3)(3)(3) wc(3)(3)(4) wc(4)(1)(1) wc(4)(1)(2) wc(4)(1)(3) wc(4)(1)(4)
wc(4)(2)(1) wc(4)(2)(2)
wc(4)(3)(3) wc(4)(3)(4)
cc(1)(2)(1) cc(1)(2)(2)
cc(1)(3)(3) cc(1)(3)(4)
cc(2)(2)(1) cc(2)(2)(2)
cc(2)(3)(3) cc(2)(3)(4)
cc(3)(2)(1) cc(3)(2)(2)
cc(3)(3)(3) cc(3)(3)(4)
cw(1)(2)(1) cw(1)(2)(2)
cw(1)(3)(3) cw(1)(3)(4)
cw(2)(1)(1) cw(2)(1)(2)
cw(2)(2)(3) cw(2)(2)(4)
cw(2)(4)(1) cw(2)(4)(2)
cw(3)(1)(3) cw(3)(1)(4)
cw(3)(3)(1) cw(3)(3)(2)
cw(3)(4)(3) cw(3)(4)(4)
Z(2)(2) Z(3)(2) Z(4)(2)
End