Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing...
-
Upload
winfred-campbell -
Category
Documents
-
view
214 -
download
0
Transcript of Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing...
![Page 1: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/1.jpg)
Scene from an imaginary dinghy race
![Page 2: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/2.jpg)
Constructing Sailing Match Race SchedulesRound-Robin Pairing Lists
Craig Macdonald, Ciaran McCreesh, Alice Miller, Patrick Prosser
All @ Computing Science Glasgow
![Page 3: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/3.jpg)
CraigCiaran
AlicePatrick
![Page 4: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/4.jpg)
![Page 5: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/5.jpg)
![Page 6: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/6.jpg)
![Page 7: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/7.jpg)
![Page 8: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/8.jpg)
Tanjung Rhu Resort Langkawi
This
Not this
Rhu
![Page 9: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/9.jpg)
![Page 10: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/10.jpg)
![Page 11: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/11.jpg)
What’s the problem Craig?
![Page 12: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/12.jpg)
• We have n skippers and m boats (m ≤ n)• Each skipper has to compete against every other skipper once and once
only.• We can send m skippers out together, in pairs (m/2 pairs)• We call this a flight• There are some restrictions to take into consideration
![Page 13: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/13.jpg)
Not a problem.
![Page 14: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/14.jpg)
Leave it with us.
![Page 15: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/15.jpg)
It’s a round robin.
![Page 16: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/16.jpg)
![Page 17: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/17.jpg)
1st Stab
Consider 7 skippers and 6 boats
![Page 18: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/18.jpg)
1st Stab
Consider 7 skippers and 6 boats
• We have 7.6/2 = 21 matches
![Page 19: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/19.jpg)
1st Stab
Consider 7 skippers and 6 boats
• We have 7.6/2 = 21 matches• Given 6 boats we have 3 matches in each flight
![Page 20: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/20.jpg)
1st Stab
Consider 7 skippers and 6 boats
• We have 7.6/2 = 21 matches• Given 6 boats we have 3 matches in each flight• We have 7 flights
![Page 21: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/21.jpg)
1st Stab
Consider 7 skippers and 6 boats
• We have 7.6/2 = 21 matches• Given 6 boats we have 3 matches in each flight• We have 7 flights
![Page 22: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/22.jpg)
1st Stab
Consider 7 skippers and 6 boats
• We have 7.6/2 = 21 matches• Given 6 boats we have 3 matches in each flight• We have 7 flights
Skipper 0 is in a match with skipper 1 in flight 0
![Page 23: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/23.jpg)
1st Stab
Consider 7 skippers and 6 boats
• We have 7.6/2 = 21 matches• Given 6 boats we have 3 matches in each flight• We have 7 flights
Skipper 1 is in a match with skipper 6 in flight 4
![Page 24: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/24.jpg)
1st Stab
0 1 2 3 4 5 6
0
1
2
3
4
5
6
![Page 25: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/25.jpg)
1st Stab
0 1 2 3 4 5 6
0
1
2
3
4
5
6
M[i][j] = flight that match (i,j) takes place
![Page 26: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/26.jpg)
1st Stab
0 1 2 3 4 5 6
0
1
2
3
4
5
6
M[i][j] = flight that match (i,j) takes placeM[i][j] ≡ M[j][i]
![Page 27: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/27.jpg)
1st Stab
0 1 2 3 4 5 6
0
1
2
3
4
5
6
M[i][j] = flight that match (i,j) takes placeM[i][j] ≡ M[j][i]allDifferent(M[i])
![Page 28: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/28.jpg)
1st Stab
0 1 2 3 4 5 6
0 0 1 3 5 2 6
1 6 2 3 1 4
2 0 4 5 2
3 6 4 5
4 0 1
5 3
6
M[i][j] = flight that match (i,j) takes placeM[i][j] ≡ M[j][i]allDifferent(M[i])
![Page 29: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/29.jpg)
1st Stab
0 2
1
3
Another view: vertices are skippers coloured edge is time of match 4 skippers & 4 boats & 6 matches
![Page 30: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/30.jpg)
1st Stab
0 2
1
3
Another view: vertices are skippers coloured edge is time of match 4 skippers & 4 boats
![Page 31: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/31.jpg)
1st Stab
0 2
1
3
Another view: vertices are skippers coloured edge is time of match 4 skippers & 4 boats
![Page 32: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/32.jpg)
1st Stab
0 2
1
3
Another view: vertices are skippers coloured edge is time of match 4 skippers & 4 boats
![Page 33: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/33.jpg)
1st Stab
0 2
1
3
Another view: vertices are skippers coloured edge is time of match 4 skippers & 4 boats
1-factorisation
![Page 34: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/34.jpg)
1st Stab
(0,1)
(0,3)
(1,3)
(0,2)
(2,3)
(1,2)
Another view: vertices are matches edge if matches at same time 4 skippers & 4 boats
![Page 35: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/35.jpg)
1st Stab
(0,1)
(0,3)
(1,3)
(0,2)
(2,3)
(1,2)
Another view: vertices are matches edge if matches at same time 4 skippers & 4 boats
Flight 0
![Page 36: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/36.jpg)
1st Stab
(0,1)
(0,3)
(1,3)
(0,2)
(2,3)
(1,2)
Another view: vertices are matches edge if matches at same time 4 skippers & 4 boats
Flight 0 Flight 1
![Page 37: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/37.jpg)
1st Stab
(0,1)
(0,3)
(1,3)
(0,2)
(2,3)
(1,2)
Another view: vertices are matches edge if matches at same time 4 skippers & 4 boats
Flight 0 Flight 1 Flight 2
![Page 38: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/38.jpg)
1st Stab
(0,1)
(0,3)
(1,3)
(0,2)
(2,3)
(1,2)
Another view: vertices are matches edge if matches at same time 4 skippers & 4 boats
Flight 0 Flight 1 Flight 2
Colouring of the line graph
![Page 39: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/39.jpg)
There are some restrictions to take into consideration
![Page 40: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/40.jpg)
![Page 41: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/41.jpg)
![Page 42: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/42.jpg)
For a
n exp
lanat
ion a
t this
level
of d
etail
, rea
d the
paper
![Page 43: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/43.jpg)
For a
n exp
lanat
ion a
t this
level
of d
etail
, rea
d the
paper
Taking Mark Drummond’s point of view (IJCAI93) this presentation is an advertisement for the paper
What follows is a sketch
![Page 44: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/44.jpg)
Phase 1
![Page 45: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/45.jpg)
Stage 1
What is a “boat change”?
![Page 46: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/46.jpg)
Phase 1
What is a “boat change”?
There are fewer boats than skippers andA skipper gets into a boat for the 1st time ever (and is in a “new” boat) or …A skipper has had a “bye” and then goes out into a flight (and is in a “new” boat)
![Page 47: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/47.jpg)
Modelling a Skipper
A skipper has • a temporal view of his schedule (who do I race at time t?) and• a state view (where am I racing in flight f?)
![Page 48: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/48.jpg)
Modelling a Skipper
![Page 49: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/49.jpg)
Modelling a Skipper
Schedule for skipper 5
![Page 50: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/50.jpg)
Modelling a Skipper
Schedule for skipper 5
![Page 51: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/51.jpg)
Modelling a Skipper
In flight 0 Competes against skipper 4 in last position
![Page 52: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/52.jpg)
Modelling a Skipper
In flight 1 Competes against skipper 1 in last position
![Page 53: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/53.jpg)
Modelling a Skipper
In flight 2 Competes against skipper 0 in middle position
![Page 54: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/54.jpg)
Modelling a Skipper
In flight 3 Competes against skipper 6 in first position
![Page 55: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/55.jpg)
Modelling a Skipper
In flight 4Competes against skipper 3 in first position
![Page 56: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/56.jpg)
Modelling a Skipper
In flight 5Competes against skipper 2 in last position
![Page 57: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/57.jpg)
Modelling a Skipper
Not in flight 6This is the end
![Page 58: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/58.jpg)
Modelling a Skipper
And yes … (x,y) is different from (y,x)!
(x,y) x is port (x,y) y is starboard
![Page 59: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/59.jpg)
Modelling a Skipper
And yes … (x,y) is different from (y,x)!
(x,y) x is port (x,y) y is starboard
There’s no red Port left in the bottle
![Page 60: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/60.jpg)
Modelling a Skipper
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
Time slots, in this case divide by 3 to find out flight
![Page 61: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/61.jpg)
Modelling a Skipper
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
Value in timeslot is the skipper we compete against
![Page 62: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/62.jpg)
Modelling a Skipper
Skipper 5 is in Last place in flight 0 and competes with skipper 4
![Page 63: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/63.jpg)
Modelling a Skipper
Skipper 5 is in Middle place in flight 2 and competes with skipper 0
![Page 64: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/64.jpg)
Modelling a Skipper
Skipper 5 is in the End state in flight 6
![Page 65: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/65.jpg)
Modelling a Skipper
Channel between timeslots and state!
![Page 66: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/66.jpg)
Modelling a Skipper
Channel between timeslots and state!
state is Last, First, Mid, Bye or End, i.e. position in flight
![Page 67: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/67.jpg)
Modelling a Skipper
Finite Automata to describe criteria 4, 11 and 12Regular constraint acts on skipper’s state
![Page 68: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/68.jpg)
Modelling a Skipper
Skipper is last in flight 0 (green) and can move in next flight to states Last, Mid or Endi.e. cannot go into a Bye or go First
![Page 69: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/69.jpg)
We also have
• array match[i][j] = timeslot for match (i,j)
• time[t] is a pair (i,j), where match (i,j) is in timeslot t
These are channelled into skippersTime is decision variable (what do we do now?)
![Page 70: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/70.jpg)
7 Skippers and 6 Boats: phase 1
![Page 71: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/71.jpg)
7 Skippers and 6 Boats: phase 1
modMatch converts timeslots in match into flights, forces skipper’s matches into different flights
![Page 72: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/72.jpg)
Symmetry break at top of search … first flight contains matches (0,1), (2,3), (4,5)
Phase 1, minimise boat changes (total or worst case skipper)
Output the integer … number of boat changes, as input to Phase 2
7 Skippers and 6 Boats: phase 1
![Page 73: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/73.jpg)
Phase 2
Minimise imbalance
![Page 74: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/74.jpg)
Phase 2
Given the number of boat changes, produce a schedule that is “balanced” and has at most the given number of boat changes.
Balance of a skipper is balance between … number of times first, number of times middle, number of times last
Balance for schedule, is balance of worst skipper
![Page 75: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/75.jpg)
Phase 2
Given the number of boat changes, produce a schedule that is “balanced” and has at most the given number of boat changes.
Balance of a skipper is balance between … number of times first, number of times middle, number of times last
Balance for schedule, is balance of worst skipper
Read the paper for details (I’m running out of time)
![Page 76: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/76.jpg)
Phase 3
Renumbering
![Page 77: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/77.jpg)
Phase 3
![Page 78: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/78.jpg)
Phase 3
Skippers 0 and 1 are in a match in the last flight
In the above, swap all 0’s with 0’s and swap all 6’s with 1’s so last match is (0,1)
NOT A CP STEP
![Page 79: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/79.jpg)
Phase 4
Orientation(port/starboard)
![Page 80: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/80.jpg)
Ortientation Phase 4
![Page 81: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/81.jpg)
Phase 4
Reads in the renumbered schedule and …
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
![Page 82: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/82.jpg)
Phase 4
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
![Page 83: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/83.jpg)
Phase 4
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
![Page 84: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/84.jpg)
Phase 4
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
![Page 85: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/85.jpg)
Phase 4
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
![Page 86: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/86.jpg)
Phase 4
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
![Page 87: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/87.jpg)
Phase 4
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
![Page 88: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/88.jpg)
Phase 4
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
![Page 89: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/89.jpg)
Phase 4
Reads in the renumbered schedule
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
Therefore orient[2][0] = 1 and orient[3][0] = 0 (starboard when meeting nearest lowest ranked skipper)orient[2][4] ≠ orient[5][5] (match between 2 and 5)orient[3][3] ≠ orient[5][4] (match between 3 and 5)
![Page 90: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/90.jpg)
Phase 4
Reads in the renumbered schedule
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
Therefore orient[2][0] = 1 and orient[3][0] = 0 (starboard when meeting nearest lowest ranked skipper)orient[2][4] ≠ orient[5][5] (match between 2 and 5)orient[3][3] ≠ orient[5][4] (match between 3 and 5)
![Page 91: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/91.jpg)
Phase 4
Reads in the renumbered schedule
orient[i][j] = 0 iff skipper i is on port side in his jth matchorient[i][j] = 1 iff skipper i is on starboard side in his jth match
Skipper 2 meets skippers in the order 3,0,1,4,5,6Skipper 3 meets skippers in the order 2,6,0,5,1,4Skipper 5 meets skippers in the order 4,6,0,1,3,2
Therefore orient[2][0] = 1 and orient[3][0] = 0 (starboard when meeting nearest lowest ranked skipper)orient[2][4] ≠ orient[5][5] (match between 2 and 5)orient[3][3] ≠ orient[5][4] (match between 3 and 5)
![Page 92: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/92.jpg)
Phase 4
Regular constraint for a skipper (row of array orient)
![Page 93: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/93.jpg)
Phase 4
(x,y) x is port (x,y) y is starboard
![Page 94: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/94.jpg)
So?
![Page 95: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/95.jpg)
Many schedules violate the published criteria. Many schedules are missing.Many schedules are very poor (wrt boat changes)
Published Schedules So?
![Page 96: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/96.jpg)
So?
Our schedules are • Good (generally better than published)• Legal!• Take a long time to produce (allow days for optimisation, why not)
![Page 97: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/97.jpg)
So?
Our schedules are • Good (generally better than published)• Legal!• Take a long time to produce (allow days for optimisation, why not)
Technical Issues• Modelling was not easy, we had communications problems, diagrams and DFA helped greatly• CP allowed nice incremental development• Phase 4 (orientation) is always easy and we don’t know why• Implemented a separate system to validate schedules, recognising criteria violations• Implemented non-CP for phase 1 to validate CP and test out heuristics and symmetry breaking
![Page 98: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/98.jpg)
So?
Our schedules are • Good (generally better than published)• Legal!• Take a long time to produce (allow days for optimisation, why not)
Technical Issues• Modelling was not easy, we had communications problems, diagrams and DFA helped greatly• CP allowed nice incremental development• Phase 4 (orientation) is always easy and we don’t know why• Implemented a separate system to validate schedules, recognising criteria violations• Implemented non-CP for phase 1 to validate CP and test out heuristics and symmetry breaking
Practical Application• Schedules will be used in West of Scotland• Liaising with international umpires, accept schedules nationally and internationally• May be able to investigate interaction between criteria
![Page 99: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/99.jpg)
![Page 100: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/100.jpg)
![Page 101: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/101.jpg)
![Page 102: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/102.jpg)
A1
D
C
B
3
2
4
A matching problem
![Page 103: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/103.jpg)
A1
D
C
B
3
2
4
A matching problem
(A,4) (B,3) (C,2) (D,1)
![Page 104: Scene from an imaginary dinghy race. Constructing Sailing Match Race Schedules Round-Robin Pairing Lists Craig Macdonald, Ciaran McCreesh, Alice Miller,](https://reader035.fdocuments.us/reader035/viewer/2022062518/56649ea25503460f94ba65c6/html5/thumbnails/104.jpg)
Scene from an imaginary dinghy race