-
Notifications
You must be signed in to change notification settings - Fork 0
/
value_2141.lp
96 lines (96 loc) · 1.44 KB
/
value_2141.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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
maximize cost: 195 x2 + 163 x3 + 128 xb + 209 xc
+ 169 xe + 241 xf + 138 x17 + 138 x18 + 20 x1f
+ 20 x20 + 138 x21 + 138 x22 + 252 x29 + 39 x3a
+ 52 x3b + 31 x3d + 31 x3e + 8 x3f + 8 x40
+ 50 x49 + 191 x4f + 191 x50 + 54 x5c + 54 x5d
+ 119 x69 + 119 x6a + 209 x73
subject to
z = 0
o = 1
+1 x1 = +1
+1 x42 +1 x47 +1 x50 +1 x57 +1 x5d +1 x64 +1 x6a +1 x71
+1 x7f = +1
+1 x1 -1 x2 -1 x3 = +0
+1 x2 -1 xb -1 xc = +0
+1 xb -1 xe -1 xf = +0
-1 x17 -1 x18 +1 xf = +0
+1 x17 +1 x18 -1 x1d = +0
+1 x1d -1 x1e +1 x27 = +0
+1 x1e -1 x1f -1 x20 = +0
+1 x1f -1 x21 -1 x22 = +0
+1 x20 -1 x29 +0 x2a = +0
+1 x21 +1 x22 -1 x27 = +0
+1 x29 -1 x38 +1 xc +1 xe = +0
+1 x38 -1 x3a -1 x3b = +0
+1 x3a -1 x3d -1 x3e = +0
+1 x3b -1 x3f -1 x40 = +0
+1 x3d +1 x3f -1 x41 = +0
+1 x3e +1 x40 -1 x42 = +0
+1 x41 -1 x47 -1 x49 = +0
+1 x49 -1 x4f -1 x50 = +0
+1 x4f -1 x57 -1 x59 = +0
+1 x59 -1 x5c -1 x5d = +0
+1 x5c -1 x64 -1 x66 = +0
+1 x66 -1 x69 -1 x6a = +0
+1 x69 -1 x71 -1 x73 = +0
+1 x3 +1 x73 -1 x7f = +0
+1 x29 -1 xf = +0
-1 x4f -1 x50 +1 x59 <= +0
-1 x5c -1 x5d +1 x66 <= +0
-1 x69 -1 x6a +1 x73 <= +0
+1 x29 -1 xf = +0
-1 x2 +1 x38 = +0
-1 x41 -1 x42 +1 x49 <= +0
-1 x49 +1 x73 <= +0
-1 x2 +1 x73 <= +0
-1 x1d +1 x29 = +0
-1 x27 +1 x2a = +0
+1 x1d +1 x27 -4 xf <= +0
-3 x1d +1 x27 <= +0
+1 x27 -3 xf <= +0
general
z
o
x1
x2
x3
xb
xc
xe
xf
x17
x18
x1d
x1e
x1f
x20
x21
x22
x29
x2a
x27
x38
x3a
x3b
x3d
x3e
x3f
x40
x41
x42
x49
x47
x4f
x50
x59
x57
x5c
x5d
x66
x64
x69
x6a
x73
x71
x7f
end