| blob | 4d5528d3b4d1c42b4451e9095ef5947950190254 |
1 (
2 ( Cree par l'interface Caml/PIP.
3 Résoudre MIN(x', y', z', i, j, k, i', j', k')
4 sous les contraintes :
5 { i >= 1,
6 i+j-k >= 0,
7 i-n <= 0,
8 2*i+4*j+4*k-x-y-z <= 0,
9 2*i-z >= 0,
10 i' >= 1,
11 i'+j'-k' >= 0,
12 i'-n <= 0,
13 2*i'+4*j'+4*k'-x'-y'-z' <= 0,
14 2*i'-z' >= 0,
15 j >= 1,
16 j-n <= 0,
17 4*j+3*k-y >= 0,
18 j' >= 1,
19 j'-n <= 0,
20 4*j'+3*k'-y' >= 0,
21 k >= 1,
22 k-x >= 0,
23 k' >= 1,
24 k'-x' >= 0,
25 n >= 1,
26 x-x' >= 0,
27 x-x'+y-y' <= 0,
28 y-y' >= 0,
29 z-z' <= -1
30 }
31 en nombres entiers -1 )(if #[ 0 0 1 -1 0 0 1]
32 (if #[ 0 1 0 -1 0 0 1]
33 (if #[ 0 -3 0 1 1 1 -10]
34 (if #[ 0 1 0 0 0 -1 2]
35 (if #[ 0 -9 4 3 -1 3 -6]
36 (if #[ 0 -2 0 1 0 1 -3]
37 (if #[ 0 -1 2 0 0 -1 -1]
38 (list #[ 1 -1 0 1 0 0 0]
39 #[ 1 -1 0 0 1 0 0]
40 #[ 1 -1 0 0 0 1 1]
41 #[ 1 0 0 0 0 0 1]
42 #[ 1 5/4 0 -3/4 1/4 -3/4 3/2]
43 #[ 1 -2 0 1 0 1 -2]
44 #[ 1 -1/2 0 0 0 1/2 1/2]
45 #[ 1 1/2 0 -3/4 1/4 0 0]
46 #[ 1 -1 0 1 0 0 0]
47 )
48 ()
49 )
50 ()
51 )
52 ()
53 )
54 (if #[ 0 -1 2 0 0 -1 0]
55 (if #[ 0 -1 2 0 0 -1 -1]
56 (if #[ 0 -2 0 1 1 0 -8]
57 (if #[ 0 -1 0 1 0 0 -1]
58 (if #[ 0 -6 4 3 -1 0 0]
59 (list #[ 1 0 0 0 0 0 1]
60 #[ 1 -2 0 1 1 0 -1]
61 #[ 1 -1 0 0 0 1 1]
62 #[ 1 -1/2 0 0 0 1/2 0]
63 #[ 1 1/2 0 -3/4 1/4 0 0]
64 #[ 1 -1 0 1 0 0 0]
65 #[ 1 -1/2 0 0 0 1/2 1/2]
66 #[ 1 -1/2 0 1/4 1/4 0 -1]
67 #[ 1 0 0 0 0 0 1]
68 )
69 ()
70 )
71 ()
72 )
73 ()
74 )
75 ()
76 )
77 ()
78 )
79 )
80 ()
81 )
82 (if #[ 0 1 0 0 0 -1 2]
83 (if #[ 0 1 0 0 0 -1 1]
84 (if #[ 0 -6 0 7 -1 0 -4]
85 ()
86 ()
87 )
88 (if #[ 0 -1 2 0 0 -1 -1]
89 (if #[ 0 -1 0 2 0 -1 -3]
90 (if #[ 0 -6 0 7 -1 0 -4]
91 (if #[ 0 3 2 -7 1 1 0]
92 (if #[ 0 3 0 -5 1 1 -2]
93 (if #[ 0 4 0 -7 1 2 0]
94 (list #[ 1 -1 0 1 0 0 0]
95 #[ 1 -1 0 0 1 0 0]
96 #[ 1 -1 0 0 0 1 1]
97 #[ 1 -5/2 0 7/2 -1/2 -1/2 0]
98 #[ 1 3/2 0 -5/2 1/2 1/2 0]
99 #[ 1 -1 0 1 0 0 0]
100 #[ 1 -1/2 0 0 0 1/2 1/2]
101 #[ 1 1/2 0 -3/4 1/4 0 0]
102 #[ 1 -1 0 1 0 0 0]
103 )
104 ()
105 )
106 ()
107 )
108 ()
109 )
110 (if #[ 0 -9 4 3 -1 3 -6]
111 (list #[ 1 -1 0 1 0 0 0]
112 #[ 1 -1 0 0 1 0 0]
113 #[ 1 -1 0 0 0 1 1]
114 #[ 1 0 0 0 0 0 1]
115 #[ 1 5/4 0 -3/4 1/4 -3/4 3/2]
116 #[ 1 -2 0 1 0 1 -2]
117 #[ 1 -1/2 0 0 0 1/2 1/2]
118 #[ 1 1/2 0 -3/4 1/4 0 0]
119 #[ 1 -1 0 1 0 0 0]
120 )
121 ()
122 )
123 )
124 (if #[ 0 2 0 -3 1 0 -4]
125 (if #[ 0 -9 4 3 -1 3 -6]
126 (list #[ 1 -1 0 1 0 0 0]
127 #[ 1 -1 0 0 1 0 0]
128 #[ 1 -1 0 0 0 1 1]
129 #[ 1 0 0 0 0 0 1]
130 #[ 1 5/4 0 -3/4 1/4 -3/4 3/2]
131 #[ 1 -2 0 1 0 1 -2]
132 #[ 1 -1/2 0 0 0 1/2 1/2]
133 #[ 1 1/2 0 -3/4 1/4 0 0]
134 #[ 1 -1 0 1 0 0 0]
135 )
136 ()
137 )
138 ()
139 )
140 )
141 ()
142 )
143 )
144 (if #[ 0 -1 2 0 0 -1 0]
145 (if #[ 0 -1 2 0 0 -1 -1]
146 (if #[ 0 -1 0 2 0 -1 -2]
147 (if #[ 0 -1 0 2 0 -1 -3]
148 (if #[ 0 -4 0 7 -1 -2 0]
149 (if #[ 0 3 2 -7 1 1 0]
150 (if #[ 0 3 0 -5 1 1 -2]
151 (if #[ 0 4 0 -7 1 2 0]
152 (list #[ 1 -1 0 1 0 0 0]
153 #[ 1 -1 0 0 1 0 0]
154 #[ 1 -1 0 0 0 1 1]
155 #[ 1 -5/2 0 7/2 -1/2 -1/2 0]
156 #[ 1 3/2 0 -5/2 1/2 1/2 0]
157 #[ 1 -1 0 1 0 0 0]
158 #[ 1 -1/2 0 0 0 1/2 1/2]
159 #[ 1 1/2 0 -3/4 1/4 0 0]
160 #[ 1 -1 0 1 0 0 0]
161 )
162 ()
163 )
164 ()
165 )
166 ()
167 )
168 (if #[ 0 -6 4 3 -1 0 0]
169 (list #[ 1 -1 0 1 0 0 0]
170 #[ 1 -1 0 0 1 0 0]
171 #[ 1 -1 0 0 0 1 1]
172 #[ 1 -1/2 0 0 0 1/2 0]
173 #[ 1 1/2 0 -3/4 1/4 0 0]
174 #[ 1 -1 0 1 0 0 0]
175 #[ 1 -1/2 0 0 0 1/2 1/2]
176 #[ 1 1/2 0 -3/4 1/4 0 0]
177 #[ 1 -1 0 1 0 0 0]
178 )
179 ()
180 )
181 )
182 (if #[ 0 2 0 -3 1 0 -4]
183 (if #[ 0 -6 4 3 -1 0 0]
184 (list #[ 1 -1 0 1 0 0 0]
185 #[ 1 -1 0 0 1 0 0]
186 #[ 1 -1 0 0 0 1 1]
187 #[ 1 -1/2 0 0 0 1/2 0]
188 #[ 1 1/2 0 -3/4 1/4 0 0]
189 #[ 1 -1 0 1 0 0 0]
190 #[ 1 -1/2 0 0 0 1/2 1/2]
191 #[ 1 1/2 0 -3/4 1/4 0 0]
192 #[ 1 -1 0 1 0 0 0]
193 )
194 ()
195 )
196 ()
197 )
198 )
199 (if #[ 0 2 0 -3 1 0 -4]
200 (if #[ 0 -6 4 3 -1 0 0]
201 (list #[ 1 -1 0 1 0 0 0]
202 #[ 1 -1 0 0 1 0 0]
203 #[ 1 -1 0 0 0 1 1]
204 #[ 1 -1/2 0 0 0 1/2 0]
205 #[ 1 1/2 0 -3/4 1/4 0 0]
206 #[ 1 -1 0 1 0 0 0]
207 #[ 1 -1/2 0 0 0 1/2 1/2]
208 #[ 1 1/2 0 -3/4 1/4 0 0]
209 #[ 1 -1 0 1 0 0 0]
210 )
211 ()
212 )
213 ()
214 )
215 )
216 ()
217 )
218 ()
219 )
220 )
221 )
222 (if #[ 0 -1 2 -1 0 0 0]
223 (if #[ 0 1 -2 2 0 -1 0]
224 (if #[ 0 1 -2 2 0 -1 -1]
225 (if #[ 0 -6 4 3 -1 0 0]
226 ()
227 ()
228 )
229 (if #[ 0 -1 2 0 0 -1 -1]
230 (if #[ 0 -6 4 3 -1 0 0]
231 (if #[ 0 3 2 -7 1 1 0]
232 (if #[ 0 4 0 -7 1 2 0]
233 (list #[ 1 -1 0 1 0 0 0]
234 #[ 1 -1 0 0 1 0 0]
235 #[ 1 -1 0 0 0 1 1]
236 #[ 1 -5/2 0 7/2 -1/2 -1/2 0]
237 #[ 1 3/2 0 -5/2 1/2 1/2 0]
238 #[ 1 -1 0 1 0 0 0]
239 #[ 1 -1/2 0 0 0 1/2 1/2]
240 #[ 1 1/2 0 -3/4 1/4 0 0]
241 #[ 1 -1 0 1 0 0 0]
242 )
243 ()
244 )
245 ()
246 )
247 ()
248 )
249 ()
250 )
251 )
252 (if #[ 0 -1 2 0 0 -1 0]
253 (if #[ 0 -1 2 0 0 -1 -1]
254 (if #[ 0 -4 0 7 -1 -2 0]
255 (if #[ 0 3 2 -7 1 1 0]
256 (if #[ 0 4 0 -7 1 2 0]
257 (list #[ 1 -1 0 1 0 0 0]
258 #[ 1 -1 0 0 1 0 0]
259 #[ 1 -1 0 0 0 1 1]
260 #[ 1 -5/2 0 7/2 -1/2 -1/2 0]
261 #[ 1 3/2 0 -5/2 1/2 1/2 0]
262 #[ 1 -1 0 1 0 0 0]
263 #[ 1 -1/2 0 0 0 1/2 1/2]
264 #[ 1 1/2 0 -3/4 1/4 0 0]
265 #[ 1 -1 0 1 0 0 0]
266 )
267 ()
268 )
269 ()
270 )
271 (if #[ 0 -6 4 3 -1 0 0]
272 (list #[ 1 -1 0 1 0 0 0]
273 #[ 1 -1 0 0 1 0 0]
274 #[ 1 -1 0 0 0 1 1]
275 #[ 1 -1/2 0 0 0 1/2 0]
276 #[ 1 1/2 0 -3/4 1/4 0 0]
277 #[ 1 -1 0 1 0 0 0]
278 #[ 1 -1/2 0 0 0 1/2 1/2]
279 #[ 1 1/2 0 -3/4 1/4 0 0]
280 #[ 1 -1 0 1 0 0 0]
281 )
282 ()
283 )
284 )
285 ()
286 )
287 ()
288 )
289 )
290 ()
291 )
292 )
293 )