149 lines
2.9 KiB
MiniZinc
149 lines
2.9 KiB
MiniZinc
n_tasks = 62;
|
|
n_res = 4;
|
|
d = [0, 5, 3, 6, 3, 7, 7, 3, 8, 2, 3, 2, 1, 5, 10, 9, 8, 6, 8, 10, 10, 1, 10, 1, 9, 9, 4, 8, 10, 10, 4, 2, 7, 6, 1, 9, 10, 6, 3, 5, 10, 2, 4, 7, 5, 1, 5, 7, 5, 10, 3, 3, 3, 3, 1, 10, 1, 7, 5, 7, 5, 0];
|
|
rr = array2d(
|
|
1..4,
|
|
1..62,
|
|
[
|
|
0, 0, 0, 0, 1, 4, 0, 0, 1, 0, 0, 0, 0, 0, 3, 0, 4, 8, 5, 0, 1, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 10, 0, 0, 3, 0, 6, 0, 9, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 6, 7, 0, 0, 0, 0, 0, 0, 0,
|
|
0, 0, 9, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 6, 0, 0, 7, 0, 0, 0, 5, 0, 0, 0, 3, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 8, 3, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 8, 2, 0,
|
|
0, 1, 0, 0, 0, 0, 7, 3, 0, 0, 5, 9, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 10, 6, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 1, 0, 0, 0, 0, 0, 6, 0, 0, 0, 7, 10, 6, 3, 0, 0, 0, 10, 3, 5, 0, 0, 0,
|
|
0, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 10, 0, 0, 0, 0, 0, 0, 0, 0, 6, 0, 0, 0, 3, 0, 0, 0, 4, 0, 0, 0, 9, 4, 0, 0, 3, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0
|
|
]
|
|
);
|
|
rc = [33, 16, 30, 22];
|
|
suc = [
|
|
{2, 3, 4},
|
|
{6, 16, 38},
|
|
{5, 20, 37},
|
|
{7, 8, 14},
|
|
{7, 10, 22},
|
|
{15, 18, 21},
|
|
{19, 34, 53},
|
|
{9, 11, 36},
|
|
{12, 13, 41},
|
|
{24, 33, 57},
|
|
{23, 38, 40},
|
|
{17, 27, 30},
|
|
{25, 27, 29},
|
|
{16, 28, 31},
|
|
{40, 44, 56},
|
|
{23, 24, 30},
|
|
{20, 26, 49},
|
|
{20, 36, 50},
|
|
{30, 44, 48},
|
|
{39, 40},
|
|
{22, 25, 54},
|
|
{27, 41},
|
|
{43},
|
|
{35},
|
|
{35, 43},
|
|
{32, 39, 52},
|
|
{55},
|
|
{36, 45, 58},
|
|
{31, 32, 57},
|
|
{39, 42, 45},
|
|
{35, 46, 50},
|
|
{37},
|
|
{38, 43, 47},
|
|
{41, 42, 55},
|
|
{44, 47, 58},
|
|
{37, 42, 51},
|
|
{46},
|
|
{50, 54, 61},
|
|
{46, 61},
|
|
{47, 53},
|
|
{52},
|
|
{57},
|
|
{45, 48, 49},
|
|
{49},
|
|
{60},
|
|
{54},
|
|
{48, 61},
|
|
{51},
|
|
{51},
|
|
{53, 56},
|
|
{52, 55},
|
|
{59},
|
|
{58},
|
|
{56},
|
|
{59},
|
|
{60},
|
|
{60},
|
|
{59},
|
|
{62},
|
|
{62},
|
|
{62},
|
|
{}
|
|
];
|
|
t_max = 83;
|
|
deadline = array2d(
|
|
1..62,
|
|
1..3,
|
|
[
|
|
2, 5, 4,
|
|
3, 2, 2,
|
|
9, 4, 0,
|
|
0, 5, 2,
|
|
14, 0, 2,
|
|
15, 1, 5,
|
|
19, 0, 0,
|
|
14, 5, 2,
|
|
12, 2, 0,
|
|
9, 2, 2,
|
|
12, 1, 1,
|
|
23, 1, 0,
|
|
29, 3, 3,
|
|
8, 5, 5,
|
|
13, 1, 4,
|
|
21, 5, 2,
|
|
31, 4, 1,
|
|
20, 5, 5,
|
|
20, 3, 0,
|
|
30, 4, 2,
|
|
14, 3, 4,
|
|
32, 2, 2,
|
|
27, 4, 3,
|
|
25, 2, 0,
|
|
22, 4, 5,
|
|
35, 2, 1,
|
|
30, 5, 4,
|
|
19, 5, 1,
|
|
25, 5, 3,
|
|
27, 1, 3,
|
|
42, 0, 4,
|
|
48, 5, 4,
|
|
20, 3, 3,
|
|
19, 0, 5,
|
|
40, 1, 3,
|
|
26, 2, 2,
|
|
46, 3, 3,
|
|
21, 0, 1,
|
|
39, 3, 5,
|
|
48, 4, 4,
|
|
26, 5, 4,
|
|
32, 0, 0,
|
|
42, 1, 0,
|
|
42, 2, 0,
|
|
37, 3, 1,
|
|
52, 4, 2,
|
|
46, 2, 0,
|
|
52, 2, 1,
|
|
41, 5, 3,
|
|
35, 3, 4,
|
|
54, 0, 0,
|
|
67, 0, 4,
|
|
52, 3, 1,
|
|
63, 4, 3,
|
|
60, 3, 2,
|
|
60, 1, 3,
|
|
33, 1, 5,
|
|
58, 1, 5,
|
|
64, 5, 4,
|
|
68, 1, 0,
|
|
60, 0, 4,
|
|
83, 3, 1
|
|
]
|
|
);
|
|
%s = [0, 0, 0, 0, 3, 5, 6, 6, 9, 6, 9, 17, 17, 6, 12, 11, 19, 12, 13, 27, 12, 22, 20, 20, 22, 27, 23, 11, 18, 21, 28, 36, 8, 13, 32, 19, 38, 15, 37, 37, 23, 31, 31, 33, 35, 48, 42, 47, 40, 32, 54, 57, 42, 49, 57, 52, 33, 45, 60, 62, 47, 69];
|