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 | % % Data for bus driver scheduling (CSPLib problem 22). % % This is the problem t1 from % http://www.cs.st-andrews.ac.uk/~ianm/CSPLib/prob/prob022/index.htm % % It is used in the the MiniZinc model % num_work = 24; num_shifts = 77; min_num_shifts = 7; shifts = [ {11,18}, {11,3,4}, {11,18,19}, {11,12,14,15}, {11,18,19,20}, {11,12,19,20}, {1,18}, {1,3,4}, {1,18,19}, {1,2,14,15}, {1,18,19,20}, {1,2,19,20}, {1,2,3,10}, {7,18}, {7,3,4}, {7,18,19}, {7,14,15}, {7,18,19,20}, {7,8,9,10}, {7,14,15,16}, {7,8,9,5,6}, {7,3,4,5,6}, {12,13,14,10}, {12,13,15,16}, {12,13,5,6}, {12,13,20,21}, {12,13,14,21}, {2,3,10}, {2,3,15,16}, {2,3,5,6}, {2,3,20,21}, {2,3,4,21}, {8,9,10}, {8,9,5,6}, {8,9,20,21}, {8,9,16,17}, {13,14,10}, {13,14,21}, {13,14,16,17}, {13,14,15,17}, {13,14,15,16,22}, {13,14,21,22}, {3,4,21}, {3,4,16,17}, {3,4,21,22}, {18,10}, {18,15,16}, {18,5,6}, {18,20,21}, {18,19,21}, {18,15,16,17}, {18,19,16,17}, {18,19,20,17}, {18,20,21,22}, {18,19,21,22}, {18,19,20,22}, {14,15,17}, {14,15,16,22}, {4,5,6,23}, {19,20,17}, {19,20,22}, {19,20,21,23}, {19,20,22,23}, {19,20,21,0}, {15,16,22}, {15,16,17,23}, {15,16,22,23}, {15,16,17,0}, {5,6,23}, {20,21,23}, {20,21,0}, {10,22}, {10,22,23}, {16,17,23}, {16,17,0}, {21,23}, {21,0} ]; |