Problème d'optimisation avec Cplex

[CliffeCSTL]

Bonjour,

Cplex n'arrive pas à me résoudre mon PL. Il bloque sur une variable binaire apparament, voici mon PL simplifier :

Code :

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Maximize
    obj: 15 x_1_A + 15 x_1_B - 10 w_1_1_A - 10 w_1_1_B - 11 y_1_A - 11 y_1_B - 11 y_2_A - 11 y_2_B + 4350000
Subject To
    c_s_1_A: y_1_A + x_1_A - y_2_A = 50000
    c_s_1_B: y_1_B + x_1_B - y_2_B = 50000

    c_cp_1: x_1_A + x_1_B <= 10000

    c_l1_1: w_1_1_A <= 10000
    c_l1_2: w_1_1_B <= 10000

    c_l2_1: w_1_1_A - x_1_A <= 0
    c_l2_2: w_1_1_B - x_1_B <= 0

    c_l3_1: w_1_1_A => 0
    c_l3_2: w_1_1_B => 0

    c_l4_1: w_1_1_A - x_1_A - 10000 z_1 => - 10000
    c_l4_2: w_1_1_B - x_1_B => 0
		
    ci: z_1 = 1
Bounds
   0 <= x_1_A <= +infinity
   0 <= x_1_B <= +infinity
   0 <= y_1_A <= +infinity
   0 <= y_2_A <= +infinity
   0 <= y_1_B <= +infinity
   0 <= y_2_B <= +infinity
Binary
   z_1
End

Lorsque je remplace z_1 par sa valeur, il arrive à me le résoudre. Je comprend pas pourquoi.




Autre exemple : il n'arrive pas à me résoudre ceci :

Code :

1
2
3
4
5
6
7
8
Minimize
   z: 10 z1 + 2 z2
Subject To
   c: z1 + z2 = 1
Binary
   z1
   z2
End

Pourquoi ?

Merci.