| blob | 5d9449317289b3d449daca828c4dd8a749116923 |
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 (newparm 6 (div #[ 0 3 0 3 3 3 2]
39 4)
40 )
41 (if #[ 0 -9 0 0 -3 0 4 -11]
42 (newparm 7 (div #[ 0 0 0 0 0 0 2 2]
43 3)
44 )
45 (newparm 8 (div #[ 0 0 0 0 0 0 0 1 0]
46 2)
47 )
48 (newparm 9 (div #[ 0 1 0 0 0 1 0 0 0 1]
49 2)
50 )
51 (newparm 10 (div #[ 0 1 0 0 3 0 0 0 0 0 3]
52 4)
53 )
54 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0]
55 #[ 1 -1 0 0 1 0 0 0 0 0 0 0]
56 #[ 1 2 0 -1 3 2 0 0 0 -2 -4 6]
57 #[ 1 0 0 0 0 0 0 0 0 0 0 1]
58 #[ 1 2 0 0 1 0 0 0 -3 0 0 3]
59 #[ 1 -3 0 0 -1 0 0 0 4 0 0 -4]
60 #[ 1 0 0 0 0 1 0 0 0 -1 0 1]
61 #[ 1 -1 0 0 -2 0 0 0 0 0 3 -3]
62 #[ 1 1 0 0 3 0 0 0 0 0 -4 4]
63 )
64 ()
65 )
66 ()
67 )
68 ()
69 )
70 ()
71 )
72 (if #[ 0 -1 2 0 0 -1 0]
73 (if #[ 0 -1 2 0 0 -1 -1]
74 (if #[ 0 -2 0 1 1 0 -8]
75 (if #[ 0 -1 0 1 0 0 -1]
76 (if #[ 0 -6 4 3 -1 0 0]
77 (newparm 6 (div #[ 0 1 0 0 0 1 0]
78 2)
79 )
80 (if #[ 0 -1 0 0 0 -1 2 0]
81 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
82 4)
83 )
84 (if #[ 0 -9 0 0 -3 -4 4 4 -3]
85 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
86 3)
87 )
88 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
89 2)
90 )
91 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
92 2)
93 )
94 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
95 4)
96 )
97 (list #[ 1 0 0 0 0 0 0 0 0 0 0 0 1]
98 #[ 1 0 0 4 4 0 0 0 0 0 0 -4 -1]
99 #[ 1 0 0 0 0 2 0 0 0 0 -2 0 2]
100 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
101 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
102 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
103 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
104 #[ 1 0 0 1 1 0 0 0 0 0 0 -1 -1]
105 #[ 1 0 0 0 0 0 0 0 0 0 0 0 1]
106 )
107 ()
108 )
109 ()
110 )
111 ()
112 )
113 ()
114 )
115 ()
116 )
117 ()
118 )
119 ()
120 )
121 )
122 ()
123 )
124 (if #[ 0 1 0 0 0 -1 2]
125 (if #[ 0 1 0 0 0 -1 1]
126 (if #[ 0 -6 0 7 -1 0 -4]
127 ()
128 ()
129 )
130 (if #[ 0 -1 2 0 0 -1 -1]
131 (if #[ 0 -1 0 2 0 -1 -3]
132 (if #[ 0 -6 0 7 -1 0 -4]
133 (if #[ 0 3 2 -7 1 1 0]
134 (if #[ 0 3 0 -5 1 1 -2]
135 (if #[ 0 4 0 -7 1 2 0]
136 (newparm 6 (div #[ 0 1 0 1 1 1 0]
137 2)
138 )
139 (newparm 7 (div #[ 0 1 0 0 0 1 0 1]
140 2)
141 )
142 (newparm 8 (div #[ 0 2 0 3 3 0 0 0 0]
143 4)
144 )
145 (list #[ 1 -1 0 1 0 0 0 0 0 0]
146 #[ 1 -1 0 0 1 0 0 0 0 0]
147 #[ 1 2 0 3 3 2 0 -2 -4 2]
148 #[ 1 -2 0 4 0 0 -1 0 0 0]
149 #[ 1 1 0 -3 0 0 1 0 0 0]
150 #[ 1 -1 0 1 0 0 0 0 0 0]
151 #[ 1 0 0 0 0 1 0 -1 0 1]
152 #[ 1 -1 0 -3 -2 0 0 0 3 0]
153 #[ 1 1 0 4 3 0 0 0 -4 0]
154 )
155 ()
156 )
157 ()
158 )
159 ()
160 )
161 (if #[ 0 -9 4 3 -1 3 -6]
162 (newparm 6 (div #[ 0 3 0 3 3 3 2]
163 4)
164 )
165 (if #[ 0 -6 0 -3 -3 0 4 -8]
166 (newparm 7 (div #[ 0 0 0 0 0 0 2 2]
167 3)
168 )
169 (newparm 8 (div #[ 0 0 0 0 0 0 0 1 0]
170 2)
171 )
172 (newparm 9 (div #[ 0 1 0 0 0 1 0 0 0 1]
173 2)
174 )
175 (newparm 10 (div #[ 0 2 0 3 3 0 0 0 0 0 0]
176 4)
177 )
178 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0]
179 #[ 1 -1 0 0 1 0 0 0 0 0 0 0]
180 #[ 1 2 0 3 3 2 0 0 0 -2 -4 2]
181 #[ 1 0 0 0 0 0 0 0 0 0 0 1]
182 #[ 1 2 0 0 1 0 0 0 -3 0 0 3]
183 #[ 1 -3 0 0 -1 0 0 0 4 0 0 -4]
184 #[ 1 0 0 0 0 1 0 0 0 -1 0 1]
185 #[ 1 -1 0 -3 -2 0 0 0 0 0 3 0]
186 #[ 1 1 0 4 3 0 0 0 0 0 -4 0]
187 )
188 ()
189 )
190 ()
191 )
192 )
193 (if #[ 0 2 0 -3 1 0 -4]
194 (if #[ 0 -9 4 3 -1 3 -6]
195 (newparm 6 (div #[ 0 3 0 3 3 3 2]
196 4)
197 )
198 (if #[ 0 -6 0 -3 -3 0 4 -8]
199 (newparm 7 (div #[ 0 0 0 0 0 0 2 2]
200 3)
201 )
202 (newparm 8 (div #[ 0 0 0 0 0 0 0 1 0]
203 2)
204 )
205 (newparm 9 (div #[ 0 1 0 0 0 1 0 0 0 1]
206 2)
207 )
208 (newparm 10 (div #[ 0 2 0 3 3 0 0 0 0 0 0]
209 4)
210 )
211 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0]
212 #[ 1 -1 0 0 1 0 0 0 0 0 0 0]
213 #[ 1 2 0 3 3 2 0 0 0 -2 -4 2]
214 #[ 1 0 0 0 0 0 0 0 0 0 0 1]
215 #[ 1 2 0 0 1 0 0 0 -3 0 0 3]
216 #[ 1 -3 0 0 -1 0 0 0 4 0 0 -4]
217 #[ 1 0 0 0 0 1 0 0 0 -1 0 1]
218 #[ 1 -1 0 -3 -2 0 0 0 0 0 3 0]
219 #[ 1 1 0 4 3 0 0 0 0 0 -4 0]
220 )
221 ()
222 )
223 ()
224 )
225 ()
226 )
227 )
228 ()
229 )
230 )
231 (if #[ 0 -1 2 0 0 -1 0]
232 (if #[ 0 -1 2 0 0 -1 -1]
233 (if #[ 0 -1 0 2 0 -1 -2]
234 (if #[ 0 -1 0 2 0 -1 -3]
235 (if #[ 0 -4 0 7 -1 -2 0]
236 (if #[ 0 3 2 -7 1 1 0]
237 (if #[ 0 3 0 -5 1 1 -2]
238 (if #[ 0 4 0 -7 1 2 0]
239 (newparm 6 (div #[ 0 1 0 1 1 1 0]
240 2)
241 )
242 (if #[ 0 2 0 -9 -1 0 4 0]
243 (newparm 7 (div #[ 0 1 0 0 0 1 0 1]
244 2)
245 )
246 (newparm 8 (div #[ 0 2 0 3 3 0 0 0 0]
247 4)
248 )
249 (list #[ 1 -1 0 1 0 0 0 0 0 0]
250 #[ 1 -1 0 0 1 0 0 0 0 0]
251 #[ 1 2 0 3 3 2 0 -2 -4 2]
252 #[ 1 -2 0 4 0 0 -1 0 0 0]
253 #[ 1 1 0 -3 0 0 1 0 0 0]
254 #[ 1 -1 0 1 0 0 0 0 0 0]
255 #[ 1 0 0 0 0 1 0 -1 0 1]
256 #[ 1 -1 0 -3 -2 0 0 0 3 0]
257 #[ 1 1 0 4 3 0 0 0 -4 0]
258 )
259 ()
260 )
261 ()
262 )
263 ()
264 )
265 ()
266 )
267 (if #[ 0 -6 4 3 -1 0 0]
268 (newparm 6 (div #[ 0 1 0 0 0 1 0]
269 2)
270 )
271 (if #[ 0 -1 0 0 0 -1 2 0]
272 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
273 4)
274 )
275 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
276 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
277 3)
278 )
279 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
280 2)
281 )
282 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
283 2)
284 )
285 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
286 4)
287 )
288 (if #[ 0 -2 0 -3 -3 0 0 0 0 0 0 4 0]
289 (if #[ 0 1 0 0 0 1 0 0 0 0 -2 0 1]
290 (list #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
291 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0]
292 #[ 1 0 0 0 0 2 0 0 0 0 -2 0 2]
293 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
294 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
295 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
296 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
297 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0]
298 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
299 )
300 (newparm 12 (div #[ 0 1 0 0 0 1 0 0 0 0 0 0 1]
301 2)
302 )
303 (list #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0 0]
304 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0 0]
305 #[ 1 0 0 0 0 2 0 0 0 0 0 0 -2 2]
306 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0 0]
307 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0 0]
308 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0 0]
309 #[ 1 0 0 0 0 1 0 0 0 0 0 0 -1 1]
310 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0 0]
311 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0 0]
312 )
313 )
314 ()
315 )
316 ()
317 )
318 ()
319 )
320 ()
321 )
322 )
323 (if #[ 0 2 0 -3 1 0 -4]
324 (if #[ 0 -6 4 3 -1 0 0]
325 (newparm 6 (div #[ 0 1 0 0 0 1 0]
326 2)
327 )
328 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
329 4)
330 )
331 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
332 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
333 3)
334 )
335 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
336 2)
337 )
338 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
339 2)
340 )
341 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
342 4)
343 )
344 (list #[ 1 -1 0 1 0 0 0 0 0 0 0 0 0]
345 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0]
346 #[ 1 2 0 3 3 2 0 0 0 0 -2 -4 2]
347 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
348 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
349 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
350 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
351 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0]
352 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
353 )
354 ()
355 )
356 ()
357 )
358 ()
359 )
360 )
361 (if #[ 0 2 0 -3 1 0 -4]
362 (if #[ 0 -6 4 3 -1 0 0]
363 (newparm 6 (div #[ 0 1 0 0 0 1 0]
364 2)
365 )
366 (if #[ 0 -1 0 0 0 -1 2 0]
367 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
368 4)
369 )
370 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
371 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
372 3)
373 )
374 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
375 2)
376 )
377 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
378 2)
379 )
380 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
381 4)
382 )
383 (if #[ 0 -2 0 -3 -3 0 0 0 0 0 0 4 0]
384 (if #[ 0 -1 0 -3 -2 0 0 0 0 0 0 3 -1]
385 (if #[ 0 1 0 0 0 1 0 0 0 0 -2 0 1]
386 (list #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
387 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0]
388 #[ 1 0 0 0 0 2 0 0 0 0 -2 0 2]
389 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
390 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
391 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
392 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
393 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0]
394 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
395 )
396 (newparm 12 (div #[ 0 1 0 0 0 1 0 0 0 0 0 0 1]
397 2)
398 )
399 (list #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0 0]
400 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0 0]
401 #[ 1 0 0 0 0 2 0 0 0 0 0 0 -2 2]
402 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0 0]
403 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0 0]
404 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0 0]
405 #[ 1 0 0 0 0 1 0 0 0 0 0 0 -1 1]
406 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0 0]
407 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0 0]
408 )
409 )
410 ()
411 )
412 ()
413 )
414 ()
415 )
416 ()
417 )
418 ()
419 )
420 ()
421 )
422 )
423 ()
424 )
425 ()
426 )
427 )
428 )
429 (if #[ 0 -1 2 -1 0 0 0]
430 (if #[ 0 1 -2 2 0 -1 0]
431 (if #[ 0 1 -2 2 0 -1 -1]
432 (if #[ 0 -6 4 3 -1 0 0]
433 ()
434 ()
435 )
436 (if #[ 0 -1 2 0 0 -1 -1]
437 (if #[ 0 -6 4 3 -1 0 0]
438 (if #[ 0 3 2 -7 1 1 0]
439 (if #[ 0 4 0 -7 1 2 0]
440 (newparm 6 (div #[ 0 1 0 1 1 1 0]
441 2)
442 )
443 (newparm 7 (div #[ 0 1 0 0 0 1 0 1]
444 2)
445 )
446 (newparm 8 (div #[ 0 0 1 0 2 0 0 0 0]
447 3)
448 )
449 (list #[ 1 -1 0 1 0 0 0 0 0 0]
450 #[ 1 -1 0 0 1 0 0 0 0 0]
451 #[ 1 2 0 -1 3 2 0 -2 -4 2]
452 #[ 1 -2 0 4 0 0 -1 0 0 0]
453 #[ 1 1 0 -3 0 0 1 0 0 0]
454 #[ 1 -1 0 1 0 0 0 0 0 0]
455 #[ 1 0 0 0 0 1 0 -1 0 1]
456 #[ 1 -1 0 0 -2 0 0 0 3 0]
457 #[ 1 1 0 0 3 0 0 0 -4 0]
458 )
459 ()
460 )
461 ()
462 )
463 ()
464 )
465 ()
466 )
467 )
468 (if #[ 0 -1 2 0 0 -1 0]
469 (if #[ 0 -1 2 0 0 -1 -1]
470 (if #[ 0 -4 0 7 -1 -2 0]
471 (if #[ 0 3 2 -7 1 1 0]
472 (if #[ 0 4 0 -7 1 2 0]
473 (newparm 6 (div #[ 0 1 0 1 1 1 0]
474 2)
475 )
476 (if #[ 0 2 0 -9 -1 0 4 0]
477 (newparm 7 (div #[ 0 1 0 0 0 1 0 1]
478 2)
479 )
480 (newparm 8 (div #[ 0 2 0 3 3 0 0 0 0]
481 4)
482 )
483 (list #[ 1 -1 0 1 0 0 0 0 0 0]
484 #[ 1 -1 0 0 1 0 0 0 0 0]
485 #[ 1 2 0 3 3 2 0 -2 -4 2]
486 #[ 1 -2 0 4 0 0 -1 0 0 0]
487 #[ 1 1 0 -3 0 0 1 0 0 0]
488 #[ 1 -1 0 1 0 0 0 0 0 0]
489 #[ 1 0 0 0 0 1 0 -1 0 1]
490 #[ 1 -1 0 -3 -2 0 0 0 3 0]
491 #[ 1 1 0 4 3 0 0 0 -4 0]
492 )
493 ()
494 )
495 ()
496 )
497 ()
498 )
499 (if #[ 0 -6 4 3 -1 0 0]
500 (newparm 6 (div #[ 0 1 0 0 0 1 0]
501 2)
502 )
503 (if #[ 0 -1 0 0 0 -1 2 0]
504 (newparm 7 (div #[ 0 3 0 3 3 1 2 0]
505 4)
506 )
507 (if #[ 0 -6 0 -3 -3 -4 4 4 0]
508 (newparm 8 (div #[ 0 0 0 0 0 1 2 2 0]
509 3)
510 )
511 (newparm 9 (div #[ 0 0 0 0 0 1 0 0 1 0]
512 2)
513 )
514 (newparm 10 (div #[ 0 1 0 0 0 1 0 0 0 0 1]
515 2)
516 )
517 (newparm 11 (div #[ 0 2 0 3 3 0 0 0 0 0 0 0]
518 4)
519 )
520 (if #[ 0 -2 0 -3 -3 0 0 0 0 0 0 4 0]
521 (if #[ 0 1 0 0 0 1 0 0 0 0 -2 0 1]
522 (list #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
523 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0]
524 #[ 1 0 0 0 0 2 0 0 0 0 -2 0 2]
525 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0]
526 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0]
527 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0]
528 #[ 1 0 0 0 0 1 0 0 0 0 -1 0 1]
529 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0]
530 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0]
531 )
532 (newparm 12 (div #[ 0 1 0 0 0 1 0 0 0 0 0 0 1]
533 2)
534 )
535 (list #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0 0]
536 #[ 1 -1 0 0 1 0 0 0 0 0 0 0 0 0]
537 #[ 1 0 0 0 0 2 0 0 0 0 0 0 -2 2]
538 #[ 1 0 0 0 0 1 -1 0 0 0 0 0 0 0]
539 #[ 1 2 0 0 1 3 0 0 0 -3 0 0 0 0]
540 #[ 1 -3 0 0 -1 -4 0 0 0 4 0 0 0 0]
541 #[ 1 0 0 0 0 1 0 0 0 0 0 0 -1 1]
542 #[ 1 -1 0 -3 -2 0 0 0 0 0 0 3 0 0]
543 #[ 1 1 0 4 3 0 0 0 0 0 0 -4 0 0]
544 )
545 )
546 ()
547 )
548 ()
549 )
550 ()
551 )
552 ()
553 )
554 )
555 ()
556 )
557 ()
558 )
559 )
560 ()
561 )
562 )
563 )