55 lines
1.0 KiB
Plaintext
55 lines
1.0 KiB
Plaintext
Maximize
|
|
|
|
x_0_0 + x_0_1 + x_1_0 + x_1_1 + x_2_0 + x_2_1 + x_3_0 + x_3_1 + x_4_0 + x_4_1
|
|
|
|
|
|
Subject To
|
|
|
|
a0: x_0_0 + x_0_1 <= 1
|
|
a1: x_1_0 + x_1_1 <= 1
|
|
a2: x_2_0 + x_2_1 <= 1
|
|
a3: x_3_0 + x_3_1 <= 1
|
|
a4: x_4_0 + x_4_1 <= 1
|
|
b0: 2 x_0_0 + 4 x_1_0 + 3 x_2_0 + 1 x_3_0 + 6 x_4_0 <= 4
|
|
b1: 2 x_0_1 + 4 x_1_1 + 3 x_2_1 + 1 x_3_1 + 6 x_4_1 <= 6
|
|
c0: x_0_0 + x_2_0 <= 1
|
|
c1: x_0_1 + x_2_1 <= 1
|
|
c2: x_0_0 + x_3_0 <= 1
|
|
c3: x_0_1 + x_3_1 <= 1
|
|
c4: x_0_0 + x_4_0 <= 1
|
|
c5: x_0_1 + x_4_1 <= 1
|
|
c6: x_1_0 + x_2_0 <= 1
|
|
c7: x_1_1 + x_2_1 <= 1
|
|
c8: x_1_0 + x_4_0 <= 1
|
|
c9: x_1_1 + x_4_1 <= 1
|
|
c10: x_2_0 + x_0_0 <= 1
|
|
c11: x_2_1 + x_0_1 <= 1
|
|
c12: x_2_0 + x_1_0 <= 1
|
|
c13: x_2_1 + x_1_1 <= 1
|
|
c14: x_2_0 + x_4_0 <= 1
|
|
c15: x_2_1 + x_4_1 <= 1
|
|
c16: x_3_0 + x_0_0 <= 1
|
|
c17: x_3_1 + x_0_1 <= 1
|
|
c18: x_3_0 + x_4_0 <= 1
|
|
c19: x_3_1 + x_4_1 <= 1
|
|
c20: x_4_0 + x_0_0 <= 1
|
|
c21: x_4_1 + x_0_1 <= 1
|
|
c22: x_4_0 + x_1_0 <= 1
|
|
c23: x_4_1 + x_1_1 <= 1
|
|
c24: x_4_0 + x_2_0 <= 1
|
|
c25: x_4_1 + x_2_1 <= 1
|
|
c26: x_4_0 + x_3_0 <= 1
|
|
c27: x_4_1 + x_3_1 <= 1
|
|
|
|
|
|
|
|
|
|
Binary
|
|
|
|
x_0_0 x_0_1 x_1_0 x_1_1 x_2_0 x_2_1 x_3_0 x_3_1 x_4_0 x_4_1
|
|
|
|
|
|
|
|
|
|
End
|