-
Notifications
You must be signed in to change notification settings - Fork 1
/
MSTP - Miller, Tucker Zemlin.lp
68 lines (68 loc) · 2.55 KB
/
MSTP - Miller, Tucker Zemlin.lp
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
\ LP format - for model browsing. Use MPS format to capture full model detail.
Minimize
12 X_0_1 + 10 X_0_7 + 15 X_0_8 + 12 X_1_0 + 13 X_1_2 + 20 X_1_3 + 16 X_1_6
+ 18 X_1_7 + 13 X_2_1 + 10 X_2_3 + 5 X_2_6 + 20 X_3_1 + 10 X_3_2
+ 14 X_3_4 + 11 X_3_5 + 8 X_3_6 + 14 X_4_3 + 23 X_4_5 + 11 X_5_3
+ 23 X_5_4 + 6 X_5_6 + 18 X_5_8 + 16 X_6_1 + 5 X_6_2 + 8 X_6_3 + 6 X_6_5
+ 7 X_6_7 + 10 X_7_0 + 18 X_7_1 + 7 X_7_6 + 22 X_7_8 + 15 X_8_0
+ 18 X_8_5 + 22 X_8_7
Subject To
A_1: X_0_1 + X_2_1 + X_3_1 + X_6_1 + X_7_1 = 1
A_2: X_1_2 + X_3_2 + X_6_2 = 1
A_3: X_1_3 + X_2_3 + X_4_3 + X_5_3 + X_6_3 = 1
A_4: X_3_4 + X_5_4 = 1
A_5: X_3_5 + X_4_5 + X_6_5 + X_8_5 = 1
A_6: X_1_6 + X_2_6 + X_3_6 + X_5_6 + X_7_6 = 1
A_7: X_0_7 + X_1_7 + X_6_7 + X_8_7 = 1
A_8: X_0_8 + X_5_8 + X_7_8 = 1
TOT: X_0_1 + X_0_7 + X_0_8 + X_1_0 + X_1_2 + X_1_3 + X_1_6 + X_1_7 + X_2_1
+ X_2_3 + X_2_6 + X_3_1 + X_3_2 + X_3_4 + X_3_5 + X_3_6 + X_4_3 + X_4_5
+ X_5_3 + X_5_4 + X_5_6 + X_5_8 + X_6_1 + X_6_2 + X_6_3 + X_6_5 + X_6_7
+ X_7_0 + X_7_1 + X_7_6 + X_7_8 + X_8_0 + X_8_5 + X_8_7 = 8
root: U_0 = 0
mtz_1_2: U_1 - U_2 + 9 X_1_2 <= 8
mtz_1_3: U_1 - U_3 + 9 X_1_3 <= 8
mtz_1_6: U_1 - U_6 + 9 X_1_6 <= 8
mtz_1_7: U_1 - U_7 + 9 X_1_7 <= 8
mtz_2_1: - U_1 + U_2 + 9 X_2_1 <= 8
mtz_2_3: U_2 - U_3 + 9 X_2_3 <= 8
mtz_2_6: U_2 - U_6 + 9 X_2_6 <= 8
mtz_3_1: - U_1 + U_3 + 9 X_3_1 <= 8
mtz_3_2: - U_2 + U_3 + 9 X_3_2 <= 8
mtz_3_4: U_3 - U_4 + 9 X_3_4 <= 8
mtz_3_5: U_3 - U_5 + 9 X_3_5 <= 8
mtz_3_6: U_3 - U_6 + 9 X_3_6 <= 8
mtz_4_3: - U_3 + U_4 + 9 X_4_3 <= 8
mtz_4_5: U_4 - U_5 + 9 X_4_5 <= 8
mtz_5_3: - U_3 + U_5 + 9 X_5_3 <= 8
mtz_5_4: - U_4 + U_5 + 9 X_5_4 <= 8
mtz_5_6: U_5 - U_6 + 9 X_5_6 <= 8
mtz_5_8: U_5 - U_8 + 9 X_5_8 <= 8
mtz_6_1: - U_1 + U_6 + 9 X_6_1 <= 8
mtz_6_2: - U_2 + U_6 + 9 X_6_2 <= 8
mtz_6_3: - U_3 + U_6 + 9 X_6_3 <= 8
mtz_6_5: - U_5 + U_6 + 9 X_6_5 <= 8
mtz_6_7: U_6 - U_7 + 9 X_6_7 <= 8
mtz_7_1: - U_1 + U_7 + 9 X_7_1 <= 8
mtz_7_6: - U_6 + U_7 + 9 X_7_6 <= 8
mtz_7_8: U_7 - U_8 + 9 X_7_8 <= 8
mtz_8_5: - U_5 + U_8 + 9 X_8_5 <= 8
mtz_8_7: - U_7 + U_8 + 9 X_8_7 <= 8
CFLC_0_9: X_0_1 + X_0_8 = 1
CFLC_1_9: X_3_4 + X_5_6 = 1
CFLC_2_9: X_2_3 + X_6_7 = 1
Bounds
U_0 <= 8
1 <= U_1 <= 8
1 <= U_2 <= 8
1 <= U_3 <= 8
1 <= U_4 <= 8
1 <= U_5 <= 8
1 <= U_6 <= 8
1 <= U_7 <= 8
1 <= U_8 <= 8
Binaries
X_0_1 X_0_7 X_0_8 X_1_0 X_1_2 X_1_3 X_1_6 X_1_7 X_2_1 X_2_3 X_2_6 X_3_1
X_3_2 X_3_4 X_3_5 X_3_6 X_4_3 X_4_5 X_5_3 X_5_4 X_5_6 X_5_8 X_6_1 X_6_2
X_6_3 X_6_5 X_6_7 X_7_0 X_7_1 X_7_6 X_7_8 X_8_0 X_8_5 X_8_7
End