The joy of scheduling chores Dr. C

advertisement
The joy of
scheduling chores
Dr. C
Introducing: The MathPath chores!
Introducing: The MathPath chores!
Seven students do chores for the week
Three chores per day
Seven days per week
Introducing: The MathPath chores!
Seven students do chores for the week
Three chores per day
Seven days per week
Everyone must work the same number of days
Every pair of students must work together
Tuesday:
Wednesday:
Thursday:
Friday:
Saturday:
Sunday:
Monday:
Who needs to work with
Tuesday:
Wednesday:
Thursday:
Friday:
Saturday:
Sunday:
Monday:
?
F
G
E
D
A
B
C
Geometry?!
F
G
E
D
A
B
Point ←→ Student
Line ←→ Day of chores
C
F
G
E
D
A
B
C
Chores: Every day, three students do chores.
F
G
E
D
A
B
C
Chores: Every day, three students do chores.
Geometry: Every line has three points.
F
G
E
D
A
B
C
Chores: Every 2 students work together one day.
F
G
E
D
A
B
C
Chores: Every 2 students work together one day.
Geometry: Every 2 points are together on one line.
F
G
E
D
A
B
C
Geometry: Every point has 3 lines through it.
F
G
E
D
A
B
C
Chores: Every student works on 3 days.
Geometry: Every point has 3 lines through it.
F
G
E
D
A
B
C
Geometry: Any 2 lines intersect in one point.
F
G
E
D
A
B
C
Chores: On any 2 days one student works on both.
Geometry: Any 2 lines intersect in one point.
F
G
E
D
A
B
A finite geometry
C
F
G
E
D
A
B
A projective geometry
C
F
G
E
D
A
B
The Fano Plane
C
F
G
E
D
A
B
(7,3,1)
C
This kind of geometry is called a Steiner system.
Ingredients:
Points
Lines
Rules the lines must follow:
Each line has the same size
Every 2 points appear in exactly one line
balance & fairness
Pop (or soda) quiz: Is this a Steiner system?
Points: {A, B, C, D, E, F , G, H, I}
Lines:
A−B−C
D−E −F
G−H −I
Pop quiz: Is this a Steiner system?
Points: {A, B, C, D}
Lines: All 3-point subsets:
A−B−C
A−B−D
A−C−D
B−C−D
Wait a minute. . .
When we built this schedule, we did not
force everyone to work the same number of days
F
Seven students
Three chores per day
Seven days per week
G
Everyone must work the same
number of days
Every pair of students must work
together
E
D
A
B
C
Wait a minute. . .
When we built this schedule, we did not
force everyone to work the same number of days
F
G
E
D
A
B
C
In a Steiner system with
v points and k points per line:
r lines containing P
v − 1 other points
P
This replication number is automatic in every
Steiner system!
r =
v −1
(students) − 1
=
(students per day) − 1
k −1
Puzzle! What if we had 8 students working?
Careful! r =
v −1
is not enough.
k −1
v = 5, k = 3:
Were we lucky to end up with exactly 7 days?
Were we lucky to end up with exactly 7 days?
There are
pairs of students.
And
pairs work together each day.
So we need
days.
In general, there are
(this number is also free!)
lines.
A short history of Steiner systems
Steiner systems encode balance and fairness:
1782: Leonhard Euler’s
“36 officers” problem:
Is it possible to arrange six
regiments consisting of six
officers each of different
ranks in a 6 × 6 square so
that no rank or regiment will
be repeated in any row or
column?
A short history of awesome middle names
Steiner systems encode balance and fairness:
1847: Rev. Thomas Penyngton
Kirkman’s “15 schoolgirls”
problem:
“Fifteen young ladies in a
school walk out in rows of
three for seven days in
succession; it is required
to arrange them daily so
that no two shall walk twice
in the same row.”
A short history of awesome middle names
Steiner systems encode balance and fairness:
1920s: Sir Ronald Aylmer Fisher
links Steiner systems to
statistical experiments:
Design an experiment in
which we test 7 fertilizers at
a set of farms (each with 3
plots) such that every pair
of fertilizers are tested
together at some farm.
A short history of awesome middle names
Steiner systems encode balance and fairness:
1940s: Claude Elwood Shannon
founds coding theory;
Richard Wesley
Hamming creates the
first practical codes:
Steiner systems
underlie them!
A short history of awesome middle names
Steiner systems encode balance and fairness:
1940s: Claude Elwood Shannon
founds coding theory;
Richard Wesley
Hamming creates the
first practical codes:
Steiner systems
underlie them!
A short history of Steiner systems
Steiner systems encode balance and fairness:
Now: Steiner systems solve
problems in statistics,
scheduling,
communications, and
anywhere else where
fairness and balance are
important. Even quantum
computers!
New rules: Class groups
9 students
3 groups of 3 students each
Everyone must work with everyone else
Switch groups each day.
New rules: Class groups
9 points
3 groups of 3 students each
Everyone must work with everyone else
Switch groups each day.
New rules: Class groups
9 points
3 parallel lines with 3 points each.
Everyone must work with everyone else
Switch groups each day.
New rules: Class groups
9 points
3 parallel lines with 3 points each.
Every 2 points have one line through them.
Switch groups each day.
New rules: Class groups
9 points
3 parallel lines with 3 points each.
Every 2 points have one line through them.
Switch groups each day.
How many groups will each student be in?
G
H
I
D
E
F
A
B
C
G
H
I
D
E
F
A
B
C
A finite geometry
G
H
I
D
E
F
A
B
C
An affine geometry
G
H
I
D
E
F
A
B
C
An affine plane
G
H
I
D
E
F
A
B
C
A Steiner system
Done!
The many names of (7,3,1) by Ezra Brown,
Mathematics Magazine April 2002
Many more names of (7,3,1) by Ezra Brown,
Mathematics Magazine April 2015
Download