The Problem Statement: What is the minimum number of meals so that each of the n
conference participants can share at least one meal with every other participant when eating at tables of at most k
persons? We call this number T(n,k)
.
In particular, we have an unlimited number of tables, and we do not require that any two participants have a meal together exactly once, or that every table is fully occupied.
n \ k | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
3 | 3 | 1 | 1 | 1 | 1 | 1 | 1 |
4 | 3 | 3 cd | 1 | 1 | 1 | 1 | 1 |
5 | 5 | 3 ↖ |
3 di | 1 | 1 | 1 | 1 |
6 | 5 | 4 fg | 3 | 3 di | 1 | 1 | 1 |
7 | 7 | 4 | 3 | 3 | 3 d | 1 | 1 |
8 | 7 | 4 | 3 B | 3 | 3 | 3 d | 1 |
9 | 9 | 4 AH | 4 c↘ |
3 ↖ |
3 | 3 | 3 d |
10 | 9 | 6 c | 4 ↖ |
4 fg | 3 | 3 | 3 |
11 | 11 | 6 | 5 g | 4 | 3 | 3 | 3 |
12 | 11 | 6 E | 5 | 4 E | 3 B | 3 | 3 |
13 | 13 | 7 a | 5 | 5 e | 4 ↘ |
3 ↖ |
3 |
14 | 13 | 7 | 5 | 5 | 4 | 4 f | 3 |
15 | 15 | 7 F | 5 | 5 | 4 | 4 | 3 |
16 | 15 | 9 c | 5 H | 5 | 4 | 4 | 3 B |
17 | 17 | 9 | 7 i E | 5 ↖ |
4 | 4 | 4 f |
18 | 17 | 9 G | 7-8 | 5-6 | 4 B | 4 | 4 |
19 | 19 | 10 a | 7-8 | 6 g | 5 gi↘ |
4 ↖ |
4 |
20 | 19 | 10 | 7-8 | 6 | 5 | 5 g | 4 |
21 | 21 | 10 F | 8 c | 6 | 5 | 5 | 4 |
22 | 21 | 12 c | 8 | 6 | 5 E | 5 | 4 E |
23 | 23 | 12 | 8 | 6 | 6 g | 5 | 5 g |
24 | 23 | 12 J | 8 J | 6 | 6 | 5 | 5 |
25 | 25 | 13 a | 9 a | 6 AH | 6 | 5 E | 5 |
26 | 25 | 13 | 9 | 7-9 a | 6 ↖ |
5-6 | 5 |
27 | 27 | 13 AH | 9 | 8-9 i | 6-7 | 6 g | 5 |
28 | 27 | 15 c | 9 F | 8-9 | 7 g | 6 | 5 |
29 | 29 | 15 | 11 i | 8-9 ↖ |
7 | 6 | 5 |
30 | 29 | 15 J | 11 G | 8-10 A | 7 B | 6 K | 5 B |
Legend:
- We use lower-case letters
a
-z
(or↘
) to justify lower bounds and upper-case lettersA
-Z
(or↖
) to justify upper bounds. These bounds are explained under Lower Bounds and Upper Bounds. - No explanation is given when
n ≤ k
ork = 2
or the value can be derived from the inequalityT(n,k) ≤ T(n 1,k)
. - We have the relation
T(n 1,k 1) ≤ T(n,k)
(see Relations). If we use this as an upper bound we write↖
(the value in this cell is at most the value to the top-left of this cell) and as a lower bound we write↘
(this value is at least the value to the bottom-right). - The bolded values indicate perfect solutions (see Terminology).
- The upper bound
J
has not been verified by the authors of this table.
T \ k | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
---|---|---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
2 | 2 | 3 cd | 4 di | 5 di | 6 d | 7 d | 8 d | 9 |
3 | 4 | 5 ← fg |
8 B c→ |
9 ← fg |
12 B → |
13 ← f |
16 B→ |
17 ← f |
4 | 4 | 9 AH | 10 ← g |
12 E e | 18 B gi→ |
19 ← g |
22 E g | 27 B i |
5 | 6 | 9 c | 16 H | 17-18 ← g |
22 E g | 25-26 E g | 32 B gi | 33-34 ← g |
6 | 6 | 12 E a | 16 i | 25 AH a | 26-27 ← g |
30-32 K g | 32-37 g | 36-42 B g |
7 | 8 | 15 F | 17-20 E c | 25-26 i | 30-34 B h | 31-39 ← g |
32-45 g | 45-51 B g |
8 | 8 | 15 c | 24 J a | 25-30 i | 30-38 i | 49 AH a | 50-53 ← g |
54-59 K g |
9 | 10 | 18 G a | 28 F | 29-35 ← c |
36-42 B i | 49-51 i | 64 H a | 65-69 ← g |
10 | 10 | 21 F | 28 i | 35-40 A a | 42-48 AB i | 49-57 i | 64-67 i | 81 H a |
11 | 12 | 21 c | 32 G a | 35-45 a | 42-54 c | 49-63 i | 64-73 i | 81-85 i |
12 | 12 | 24 J a | 36 J a | 37-46 ← i |
48-60 B a | 49-70 i | 64-80 i | 81-92 i |
13 | 14 | 27 AH | 40 F | 41-50 ← i |
72-88 B i | 81-100 i | ||
14 | 14 | 27 c | 40 i | 66-68 A i | 77-84 A a | 88-96 A i | 99-108 A i | |
15 | 16 | 30 J a | 55-60 A a | 66-72 i | 99-117 i | |||
16 | 16 | 33 J | 48 J a | 65 F a | 66-78 i | 91-93 A i | 104-112 A a | 117-126 A i |
17 | 18 | 33 c | 52 F | 65-66 i | 78-84 A c | 91-99 i | ||
18 | 18 | 36 J a | 52 i | 65-70 i | 91-105 i | 104-123 i | ||
19 | 20 | 39 J | 91-112 i | 104-129 i | ||||
20 | 20 | 39 c | 60 J a | 78-98 i | 104-136 i | 153-157 A i | ||
21 | 22 | 42 J a | 64 H | 85 J a | 102 A i | 119-126 A a | 136-144 A i | 153-164 i |
22 | 22 | 45 A | 64 i | 85-86 i | 102-108 i | 136-152 i | 153-172 i | |
23 | 24 | 45 c | 85-90 i | 133-135 A i | 152-160 A c | 171-180 A i | ||
24 | 24 | 48 J a | 72 J a | 133-141 i | 171-189 i | |||
25 | 26 | 51 J | 76 J | 95-100 A a | 114-126 A a | 133-147 i | 171-198 i | |
26 | 26 | 51 c | 76 i | 105 J a | 114-128 i | 133-154 i | 152-179 i | |
27 | 28 | 54 J a | 105-106 i | 114-132 i | 152-185 i | 207-216 A a | ||
28 | 28 | 57 J | 105-110 i | 114-138 i | 184-192 A i | |||
29 | 30 | 57 c | 88 J | 115 A c | 138-144 A c | 161-175 A a | 184-200 i | 207-229 i |
30 | 30 | 60 J a | 88 i | 161-177 i | 184-208 i | 207-236 i | ||
31 | 32 | 63 A | 125 AH a | 161-183 i | 207-244 i |
- Dual problem statement: What is the maximum number of conference participants so that each participant can share at least one of the
T
meals with any other participant when eating at tables of at mostk
participants? - This is the maximal
n = n(T,k)
such thatT(n,k) ≤ T
. - This table has the same information as the previous one, organized differently.
- This table is harder to read, but much more informationally dense.
- If you want to read a value of
T(n,k)
from this table:- Look at the
k
-th column. - Find the smallest
T
that possibly satisfiesn(T,k) ≥ n
. ThenT(n,k) ≥ T
. - Find the smallest
T'
that definitely satisfiesn(T',k) ≥ n
. ThenT(n,k) ≤ T'
. - For example, to find
T(14,3)
we see thatT = 7
is the first value wheren(T,3) ≥ 14
(sincen(7,3) = 15
), soT(14,3) = 7
. - For example, to find
T(24,6)
, as of August 2019 we see thatn(5,6)
is in the range18-24
andn(6,6)
is in the range26-30
. We see thatn(5,6) ≥ 24
is possible but not guaranteed and thatn(6,6) ≥ 24
is guaranteed. SoT(24,6)
is either 5 or 6. - Using similar logic we can conclude that
T(25,6) = T(26,6) = 6
. Even though the exact values in the table are not known, we do know thatT = 6
is the smallest value wheren(T,6)
is at leastn
(whenn
is 25 or 26). - With only this information it is possible that
T(27,6) > 6
.
- Look at the
- In this table the upper-case (or
←
) letters show why the entry is not smaller (why it is possible to have a solution with this number of participants) and the lower-case (or→
) letters show why the entry is not larger (why it is not possible to have a solution with one more partipant). - The use of
T(n 1,k 1) ≤ T(n,k)
is indicated with←
and→
.←
means that this cell strictly greater than the cell to the left, while→
means that this cell is strictly smaller than the cell to the right. - Sometimes two cells point at each other (e.g.
(T,k) = (4,4)
and(T,k) = (4,5)
). This looks circular, but it is not. It means that the upper bound of the left cell follows from the upper bound of the right cell and the lower bound of the right cell follows from the lower bound of the left cell. - For
k > 3
andT > 12
we only put values where either the lower bound or the upper bound is nontrivial (not obtained by← → a c B
) - The upper bound
J
has not been verified by the authors of this table.
- Given a table assignment for 1 or more meals. We say that this is a valid solution if every participant meet every other participant at least once.
- A valid solution with
n
participants and table size of at mostk
is called a(n,k)
-solution. - Given a valid solution. We say that it is an optimal solution if there is no valid solution (with the same
n
andk
) with fewer days. - Given a valid solution. We say that it is a perfect solution if every participant meets every other participant exactly once and all tables have
k
participants every meal. - A distribution is a seating assignment for a single meal.
- A configuration is an assignment for the number of participants to each table for a single meal (but not stating which participant goes where).
- We say that a configuration
C
is dominated if it has two tables witha
andb
participants anda b ≤ k
.- In this case, we can merge these two tables and still have a valid solution, so we may assume we have a solution without dominated configurations.
- A connection is a pair of people sitting at the same table. A new connection is a connection that was not yet formed on a previous day. The number of connections a table of size
l
makes iss(l) = l(l-1)/2
, not all of which might be new connections. The number of new connectionss(c)
of a configurationc
is the sum. - The optimal configuration
opt
is the configuration with the most connections. It has⌊ n / k ⌋
tables of sizek
and one table of sizen mod k
, and it is unique. - If
k < n ≤ k^2 - 1
then it is not possible to create2 * s(opt)
new connections after two days, since at least one pair of participants has to sit at the same table on both days, or a configuration other than the optimal configuration has to be used. Lets(c1,c2)
the maximum number of new connectionsc2
can make on day 2 isc1
was used on day 1.
T(n 1,k) ≥ T(n,k) ≥ T(n 1,k 1) ≥ T(n,k 1)
.- If a value in the table can be derived from the first inequality, no other explanation is given.
- The second inequality follows by treating two of the
n 1
people as a single person (always seating them together), and then applying a(n,k)
-solution.
T(n,k) ≤ T(n,m) * T(m,k)
.- If we have a seating arrangement for
n
participants at table sizem
, then we can give a seating arrangement for table sizek
by simulating tables of sizem
overT(m,k)
meals. - This subsumes the relation
T(n 1,k) ≥ T(n,k) ≥ T(n,k 1)
above sinceT(k,k 1)=1
. - If there is a perfect
(n,m)
-solution and a perfect(m,k)
-solution then there is a perfect(n,k)
-solution.
- If we have a seating arrangement for
- Necessarily, every perfect solution is optimal.
- Necessary requirements for a perfect
(n,k)
-solution to exist arek - 1 | n - 1
andk | n
(orn = 1
). - A perfect
(n,k)
-solution exists iffT(n,k) = (n-1)/(k-1)
. - The perfect solutions are in boldface in the tables above.
- Perfect solutions are also called Kirkman Systems in the literature.
- Perfect solutions are also characterized by the Social Golfer Problem or resolvable 2-designs.
- We give various explicit perfect solutions in literature.md
- The upper bounds
F
,H
and (some of)J
all give families of perfect solutions.
T(n,k) = 1
ifn ≤ k
trivially.T(n,2) = n
ifn
is odd,T(n,2)=n-1
ifn
is even.- The lower bound is given by
a
. - The upper bound can be obtained as follows.
- Suppose
n = 4m
: split it up in 2 groups of size2m
, first do those groups independently in2m-1
days, then in the next2m
days on dayi
let personj
in group 1 sit with personi j (mod 2m)
in group 2.- This also follows from upper bound
A
.
- This also follows from upper bound
- Suppose
n = 2m
withm
odd:- For the first
m
days: on dayi
let personi
sit withi m
and personi j
withi-j
. - For the next
m-1
days, on day2k-1
and2k
let personi
sit with the personsi 2k-1
andi-(2k-1)
. Ifi
is even it will sit withi 2k-1
first, and ifi
is odd it will sit withi-(2k-1)
first.
- For the first
- Suppose
n
is odd, then we can use the solution forn 1
participants.
- Suppose
- The lower bound is given by
- If
k
is even andk < n ≤ 2k
thenT(n,k) = 3
. Also, ifk
is odd andk < n < 2k
thenT(n,k) = 3
. These are all the values for(n,k)
whereT(n,k) = 3
.- If
n > k
thenT(n,k) ≥ 3
is explained by the lower boundd
. - If
k
is even andn ≤ 2k
thenT(n,k) ≤ 3
is explained by the upper boundB
. - If
k
is odd andn < 2k
thenT(n,k) ≤ 3
is explained byT(n,k) ≤ T(n-1,k-1) ≤ 3
, using the previous bullet point. - For smaller
n
we haveT(n,k) = 1
trivially and for largern
we haveT(n,k) ≥ 4
by lower boundf
.
- If
↘
/→
: The relationT(n,k) ≥ T(n 1,k 1)
can sometimes be used as a lower bound. See Relations.T(n,k) ≥ (n-1)/(k-1)
(special case ofa
). Every participant can see onlyk-1
participants per meal, and needs to seen-1
participants.a
: Supposen = m*k l
with0 ≤ l < k
. There aren(n-1)/2
pairs. At mostm*k*(k-1)/2 l*(l-1)/2
pairs can be formed per meal. SoT(n,k)
is at least equal to the quotient of these 2.b
: obsolete.c
: Ifn = m*k 1
then the bound froma
isn(n-1)/(m*k*(k-1)) = n/(k-1)
. Supposek - 1 | n
(i.e.n ≡ -(k-1) mod k(k-1)
) andk > 2
. ThenT(n,k) ≥ n/(k-1) 1
, because if it's possible aftern/(k-1)
days, we need to formm*k*(k-1)/2
new connections every meal. This means that- Every table needs to be size
k
, except for 1 table of size 1 every meal. - Nobody can meet the same person twice.
This means that after every meal, the number of participants participant A has met is divisible by
k-1
, so it can never equaln-1
.
- Every table needs to be size
d
: Ifn > k
thenT(n,k) ≥ 3
.- It cannot be done in 2 days, because on day 1 there are at least 2 tables. All participants on table 1 need to be sit with all participants not on table 1 on day 2, but that means that everyone needs to sit together on day 2. Contradiction.
e
: proven for this special case, see below.f
: Ifk
is odd thenT(2k,k) ≥ 4
.- This also implies that for even
k
we haveT(2k 1,k) ≥ T(2(k 1),k 1) ≥ 4
- Note that all non-dominated distributions use 2 or 3 tables.
- Suppose this can be done in 3 days.
- Suppose the assignment for day 1 is
{a, b, c}
withk ≥ |a| ≥ |b| ≥ |c| ≥ 0
. We may assume that|a|
is the largest among all table sizes on all days. - Let
x ∈ a
and letx ∈ a₂ ⊆ a
,b₂ ⊆ b
andc₂ ⊆ c
be the participants of the table containingx
on day 2. We may assume thatb₂ ≠ ∅
(by interchanging day 2 and 3), and from this we can conclude thata₂ ≠ a
(otherwise|a|
was not largest). - Now on day 3, all of the following must be true
- Everyone in
a₂
has to meet everyone inb \ b₂
andc \ c₂
, so they must all be at the same table. - Everyone in
a \ a₂
has to meet everyone inb₂
andc₂
. - Everyone in
b₂
has to additionally meet everyone inc \ c₂
.
- Everyone in
- Since not everyone can be at the same table, this means that
c₂ = c
. - The table assignment on day 3 must be
{ a₂ ∪ (b \ b₂), (a \ a₂) ∪ b₂ ∪ c }
. b₂ ≠ b
, since otherwise|a₂ ∪ b₂ ∪ c₂| > k
.- Everyone in
b \ b₂
has never seen anyone inc
, which means thatc = ∅
. - This means that
|a| = |b| = k
- Everyone in
a \ a₂
and everyone inb \ b₂
must have seen each other on day 2, so the table assignment on day 2 was{ a₂ ∪ b₂ (a \ a₂) ∪ (b \ b₂) }
. - Since
k
is odd, we havemax(|a₂|, |a \ a₂|) > k / 2
andmax(|b₂|, |b \ a₂|) > k / 2
, which means that on either day 2 or day 3 there was a table with more thatk
participants. Contradiction!
- This also implies that for even
g
: Improvement ofa
whenk < n ≤ k^2 - 2
- The idea for this lower bound is that every day after the first day many connections are already present on day 1. This means that the number of connections you can make on most (all but one) days is much less than calculated at
a
.
- On day 1 at most
s(opt)
connections can be added - On subsequent days fewer connections can be added. We can give an upper bound, and run through all (sensible) pairs of non-dominated configurations to find the maximal number
s
of connections that can be added on day 2 (where we can choose the configuration of day 1 to be as optimal as possible).
- This means that after
T 1
days at mosts(opt) T * s
connections can be made, which gives a lower bound for the number of days. - The Mathematica function doing this is given in
lowerbound.txt
. It is not optimal, and is not necessarily increasing inn
. In some cases we can probably increase the lower bound by 1 using a similar but more precise argument.
- The idea for this lower bound is that every day after the first day many connections are already present on day 1. This means that the number of connections you can make on most (all but one) days is much less than calculated at
h
: If there is no perfect(n,k)
-solution butk | n
andk - 1 | n - 1
, thenT(n-1, k) > (n - 1) / (k - 1)
.- To see this, first notice that
T(n-1, k) ≥ (n - 1) / (k - 1)
is given by the lower bounda
. - The only way equality can hold is if all but 1 table has size
k
every meal, and seating every participant exactly once with every other participant. - This means that every participant sits at a table of size
k - 1
exactly once. - We can add a participant at the empty seat every meal, and then we get a perfect
(n, k)
-solution, which contradicts the assumption. - For
(n,k) = (36,6)
there is no perfect solution, see Latin Squares.
- To see this, first notice that
i
: Letn = mk l
, and letd
be the lower bound given bya
. Suppose that(d-1)(k-1) (l-1) < n-1
, then there is no solution ind
days with an optimal configuration.- The reason is as follows: Let
A
be any participant sitting at the smallest table in the optimal configuration: it can meet at mostl-1
participants that meal, and at mostk-1
participants every other meal, which is not enough. - This means that for any solution in
d
days, the smallest table size is(n-1)-(d-1)(k-1)
. - We can now check whether it is possible to create at least
n(n-1) / 2d
connections in a single day, with this extra condition on the smallest table size. If not, thenT(n,k) > d
. - We don't use
i
ifa
orc
applies. This bound is always at least as strong asa
orc
. Whenn < k^2
most of the timeg
is stronger.
- The reason is as follows: Let
- Priority of labels: nothing (it follows from the cell above), then
↘
/→
, thena
/c
, thend
/f
/g
/h
/i
, thene
- If a label with earlier (higher) priority applies, we don't write this label. We do write multiple labels with the same priority.
↖
/←
: The relationT(n 1,k 1) ≤ T(n,k)
can be used as an upper bound. See Relations.A
:T(km,k) ≤ T(m,k) m
ifm
is coprime with(k-1)!
.- Divide the participants into
k
groups ofm
people. On the firstT(m,k)
days, everyone meets every participant of their group. - Number the participants in each group using the remainder classes modulo
m
. - On the
m
days after that, on dayi
(0≤i<m
) make a table with participantj
from the first group,j i
from the second group,j 2i
from the third group, and so on. Ifm
has no divisor smaller thank
, then every participant will meet every participant from another group this way. - In particular, this shows that if there is a perfect
(m,k)
-solution andm
is coprime with(k-1)!
then there is a perfect(km,k)
-solution. In particular, ifp
is prime there is a perfect(p^k,p)
-solution.
- Divide the participants into
B
:T(nl,kl) ≤ T(n,k)
. This can be seen by makingn
groups ofl
people each and always seating all people in a single group together.C
: obsolete.D
: obsolete.E
: found solution for this special case, see below. (We don't useE
if another letter applies.)F
,G
: a solution has been given in the literature. An explicit solution is given in literature.md.- The result in literature was solving a different problem.
- See Relation to the Social Golfer Problem.
- See Relation to Block Designs.
H
: Ifk
is a prime power andn
is a power ofk
, then there is a perfect(n,k)
-solution.- Consider the field
F
of orderk
, and a vector fieldV
with cardinalityn
overF
. - For every 1-dimensional subspace
L
ofV
the sets of 1-dimensional affine spaces parallel toL
forms a partition ofV
. This defines a table assignment for a single meal. - The set of all table assignments determined by all 1-dimensional subspaces in this way forms a perfect
(n,k)
-solution. The reason that it is perfect follows from the fact that 1-dimensional affine spaces stand in bijective correspondence to pairs of points inV
. - This idea is due to Neil Strickland.
- If
k
is prime (not just a prime power) andn
is a power ofk
, then the existence of a perfect(n,k)
-solution also follows from upper boundA
.
- Consider the field
J
: see Kirkman Systems.K
: From a perfect solution, we can get new solutions with the table size two larger.- Given an
(n,k)
-solution inT
days and a subsetA ⊆ n
of participants such that noi 1
participants fromA
sit at the same table during the same meal (let's say thatA
isi
-good in this case), then there is a(n |A|,k i)
-solution inT
days, by replacing everyone inA
with a pair of people. - If we start with a perfect
(n,k)
-solution (withk > 2
) and a 2-good setA
such that|A| (k-2)|A|(|A|-1)/2 < n
, then we can find a 2-good set with one more participant. The reason is that every pair of people inA
sit at the same table exactly once, withk-2
other people. Therefore, at most|A| (k-2)|A|(|A|-1)/2
other people cannot be added toA
while keepingA
2-good, which means that there is someone we can add toA
so that the new set is 2-good.
- Given an
- Priority of labels: nothing (it follows from the cell below), then
↖
/←
, thenA
/B
/H
/K
, thenF
/G
, thenE
, thenJ
.- If a label with earlier (higher) priority applies, we don't write this label. We do write multiple labels with the same priority.
- The Social Golfer Problem is a problem similar to Dagstuhl's Happy Diner Problem: given a group of
m*k
golfers playing inm
groups ofk
golfers each day. No two golfers play together more than once. What is the maximum possible of days they can play? Call this numberG(m,k)
. - From a good solution
G(m,k)
of the Social Golfer Problem we can retrieve a(m*k,k)
-solution to the Happy Diner Problem. F
: There is a perfect(m*k,k)
-solution iffG(m,k) = (m*k - 1) / (k - 1)
iffT(m*k,k) = (m*k - 1) / (k - 1)
.G
: IfG(m,k)*(k-1) = m*k - 2
thenT(m*k,k) = G(m,k) 1
. This is a lower bound bya
and a upper bound using the solution toG(m,k)
: take the solution toG(m,k)
for the firstG(m,k)
meals. Then everyone has seen all other participants, but 1. For the last meal, have one table for each of the pair of participants which still need to see each other.G
: IfG(m,k)*(k-1) = m*k - 3
(andk ≥ 3
) thenT(m*k,k) ≤ G(m,k) 2
. After the solution toG(m,k)
every participant still needs to meet 2 other participants, which can be easily achieved in two days, by splitting everyone up in group of 2 or 3 people.- We only use the letters
F
andG
if we could find an explicit, valid solution. - A trivial upper bound is
G(m,k) ≤ (mk-1)/(k-1)
. We call a solution to the Social Golfer Problem good if it is close to this trivial upper bound. - See External Links for more sources on the Social Golfer Problem. In particular many solutions of the Social Golfer Problem can be found in this Mathematica Demonstration.
- The external links contain the following good solutions (only solutions that give new results for the Dagstuhl Happy Dinner Problem are included here). Explicit solutions are given in literature.md.
G(5,3) = 7
givesT(15,3) = 7
(MD).G(6,3) = 8
givesT(18,3) = 9
(MD).G(7,3) = 10
givesT(21,3) = 10
(MD).G(11,3) = 16
givesT(33,3) = 16
(Survey).G(7,4) = 9
givesT(28,4) = 9
(MD).G(8,4) = 10
givesT(32,4) = 11
(MD).G(10,4) = 13
givesT(40,4) = 13
(Survey).G(13,4) = 17
givesT(52,4) = 17
(CRCB).G(13,5) = 16
givesT(65,5) = 16
(Survey).
- Many of these solutions are also found in the literature, see
J
.
- The external links contain the following good solutions (only solutions that give new results for the Dagstuhl Happy Dinner Problem are included here). Explicit solutions are given in literature.md.
J
: A perfect(n,3)
-solution forn ≥ 3
is called a Kirkman Triple System and is possible iffn ≡ 3 mod 6
.- This is proven in Solution of Kirkman's schoolgirl problem, Ray-Chaudhuri and Wilson (1971).
- This shows that
G(2k 1,3) = 3k 1
. - Together with lower bound
a
, this gives thatT(6k 1,3) = T(6k 2,3) = T(6k 3,3) = 3k 1
.
J
: The optimal(6m,3)
-solution form > 1
has3m
days.- This follows from the study of Nearly Kirkman Triple Systems.
- A Nearly Kirkman Triple System is a
(6m,3)
-solution in3m
days where on the first3m-1
days, all tables have 3 participants, and on the last day every table has 2 participants. In such a solution, all participants meet all other participants exactly once. - A Nearly Kirkman Triple Systems exists for
6m ≥ 18
.- ANKS states this and gives references.
- For
6m = 12
there is a optimal(12,3)
-solution in 6 days which is not a Nearly Kirkman Triple System. (seeE
)
J
: A Kirkman System is an alternative name for an optimal solution.- According to On resolvable designs they exist for all
(n,4)
withn ≡ 4 mod 12
. - ANKS cites papers that show that for every
k
there is a Kirkman System for all but finitely manyn ≡ k mod k(k-1)
.
- According to On resolvable designs they exist for all
J
: A Nearly Kirkman System is an(n,k)
-solution where all participants meet each other exactly once, on all but 1 days all tables containk
participants and on the last day all tables containk-1
participants.- A necessary condition for a Nearly Kirkman System is that
n ≡ 0 mod k(k-1)
. - If a Nearly Kirkman System exists for
(n,k)
thenT(n,k) = n / (k-1)
- ANKS proves that for every
k
there is a Nearly Kirkman System for all but finitely manyn ≡ 0 mod k(k-1)
. - It also states that for
k = 4
andn ≡ 0 mod 12
there is a Nearly Kirkman System for alln
, except possibly forn
in{12, 84, 132, 264, 372, 456, 552, 660, 804, 852}
- A necessary condition for a Nearly Kirkman System is that
- The Social Golfer Problem
G(n,n)
is related to finding mutually orthogonal Latin squares.- Let
L(n)
is the maximal number of mutually orthogonal Latin squares of ordern
, that isL(n) = A001438(n)
. - The relation is
G(n,n) = L(n) 2
.- The reason is that the first two days specify a bijection between the participants and the squares in a
n × n
grid (the cell(i,j)
corresponds to the participantp(i,j)
that was in groupi
on day 1 and in groupj
on day 2.) - Every day
d ≥ 3
produces a Latin square by puttingk
in cell(i,j)
if participantp(i,j)
was in groupk
. - The fact that this is a Latin square follows from the fact that no pair of participants was in the same group on day
d
,1
and2
. - Days
d₁, d₂ ≥ 3
have no pair of participants in the same group iff the corresponding Latin Squares are orthogonal.
- The reason is that the first two days specify a bijection between the participants and the squares in a
- There is no pair of mutually orthogonal squares of order 6, so
L(6) = 1
andG(6,6) = 3
([OEIS(https://oeis.org/A001438)). In particular there is no perfect(36,6)
-solution, soT(36,6) > 7
. L(10)
is the smallest unknown value. According to this Math Stack Exchange answerL(10) < 9
. This implies that there is no perfect(100,10)
-solution, soT(100,10) > 11
.
- Let
- A resolvable 2-
(n,k,1)
design is an equivalent characterization of a perfect(n,k)
-solution. This is also called a(n,k,1)
-RBIBD (resolvable balanced incomplete block design).- It is a special case of a BIBD (or 2-design) with
(v,b,r,k,λ) = (n,b,r,k,1)
(whereb = n(n-1)/(k(k-1))
andr = (n-1)/(k-1)
).- This 2-design is equivalently characterized as the Steiner System
S(2,k,n)
.
- This 2-design is equivalently characterized as the Steiner System
J
: In RBIBD5 it is shown that a(n,5,1)
-RBIBD exists for alln ≡ 5 mod 20
, except possibly forn
in{45, 185, 225, 345, 465, 645}
.
- It is a special case of a BIBD (or 2-design) with
- A
(K,λ)
-RGDD (resolvable group divisible design) is a generalization, where the participants are partitioned in groups, and every pair of participants from two different groups meet exactlyλ
times and every pair of distinct participants from the same group never meet. The table sizes must all be in the setK
.- Dagstuhl's Happy diner problem is asks to find a
({1,...,k},1)
-GDD but where participants can meet each other multiple times. - Many solutions to
(K,1)
-RGDDs will give solutions to Dagstuhl's Happy Diner problem.- If all groups have size 1, then the solution is immediate.
- If all groups are size
≤ k
then we get an solution by adding 1 day where all participants meet everyone in their group.
- Dagstuhl's Happy diner problem is asks to find a
- The solution
T(6,3) ≥ 4
is very detailed. Other solutions with the same techniques will have much less explanation. So if you don't understand the reasoning, readT(6,3) ≥ 4
first (See Examples). - The code using the Mathematica SAT-solver was written by Michael Trott and optimized by Floris van Doorn.
- If the SAT-solver took longer than ~10s, we write the time as an indication for its difficulty.
- Solution found by Mathematica SAT-solver:
159 278 3AC 46B
12C 345 8AB 679
12B 348 79A 56C
168 25A 39B 47C
14A 236 57B 89C
137 249 BC 58 6A
- Solution found by Mathematica SAT-solver:
1234 5678 9ABC DEFG H
1469 28EH 7ACG B 35DF
7 48CD 26BF 1AEG 359H
1BDH 8A 6CF 379E 245G
1 45BE 67GH 89DF 23AC
29 CEH 56AD 38BG 147F
36E 158C 9G 27BD 4AFH
- Solution found by Mathematica SAT-solver:
12345 6789A BC
1279 38B 456AC
128C 4579B 36A
126AB 379C 458
- This solution was found part by hand, part by computer brute-force.
- Suppose there is a valid solution in 4 days.
(5,5,3)
or(5,4,4)
has to occur at least once.- If
(5,5,3)
never occurs, then from day 2 on at most 18 connections are possible. Contradiction. - So day 1 is
(5,5,3)
(23 connections). - From then on, at most 19 connections are possible, which has to occur at least once, so day 2 is
(5,5,3)
with8 8 3
new connections. This can be done in 1 way (up to renaming participants) - Then there are 8 ways for day 3 to have 18 connections (and more is impossible), possibly counting things twice. We found this number by brute force.
- For none of those 8 ways, there is a valid 4th day.
- Solution found by Mathematica SAT-solver:
123456 789ABC DEFGHI JKLM
458FIM 26ABDK 379GHL 1CEJ
3ABFIJ 45CGHK 18DL 2679EM
45ABEL 3CDM 268GHJ 179FIK
38EK 4579DJ 1ABGHM 26CFIL
- Solution found by Mathematica SAT-solver:
235KLP 78BHJM 16ADEG 49CFINO
25EGIJO 1348BFL 6CMNP 79ADHK
47EFGHP 25689B 3ACDJLN 1IKMO
46FJK 8ABDIOP 1257CHN 39EGLM
367HILO 19JP 245ADFM 8BCEGKN
- Solution found by Mathematica SAT-solver:
12345678 9ABCDEFG HIJKLM
47ACIK 1369BDHM 258EFGJL
258ACHM 136EFGIK 479BDJL
47EFGHM 136ACJL 2589BDIK
- Examples of specific upper and lower bounds.
- These all follow from other values or a general principle.
- These were found before we had these general principles, and we did them individually.
- Examples that do not follow from other principles are listed under Solutions for Individual Cases.
- This is a special case of
f
. - Suppose there is a solution in 3 days.
- At least 2 days need configuration
(3,3)
.- The reason is that we need to establish 15 connections between participants over 3 days.
- We can establish at most 6 connections during a single day by configuration
(3,3)
. - Configuration
(2,2,2)
is not dominated, but establishes only 3 connections - Any other configuration is dominated by either
(3,3)
or(2,2,2)
. - If there is at most 1 day with configuration
(3,3)
, then the maximum number of established connections is6 3 3 = 12 < 15
, which is not enough.
- Without loss of generality we can assume that the first day has configuration
(3,3)
, distributed as123 456
(i.e.1
,2
and3
sit together and4
,5
and6
sit together). - Now on the other days, we can establish at most 4 connections.
- The reason is that if we use configuration
(3,3)
, then 2 participants on the first table already sat together on table 1, and the same for the second table. - Therefore, configuration
(3,3)
gives at most 4 new connections. - We already saw that the only other non-dominated configuration gives at most 3 new connections.
- The reason is that if we use configuration
- Therefore, the maximal number of connections we can establish is
6 4 4 = 14 < 15
, which is not enough. - So there is no valid
(6,3)
-solution with 3 days.
- This also follows from
T(10,4) ≤ T(9,3) = 4
. (Relations and eitherA
orH
) - Solution found by hand:
1234 5678 90
1259 3670 48
1280 4679 35
045 1267 389
- This also follows from
g
. - Suppose there is a solution in 4 days.
- The only configurations which are not dominated are
(4,4,3)
and(3,3,3,2)
. The first adds at most 15 connections, the second at most 10. - Therefore, on at least 3 days we need a
(4,4,3)
configuration, WLOG on day 1. - For the other days any table of size 4 has 1 pair in common with day 1, so adds at most 5 new connections. Therefore, at most 13 new connections can be added during each day.
- This means we cannot get 55 connections, therefore we get a contradiction.
- This is a special case of
f
. - Suppose there is a valid solution in 3 days.
- The only configurations which are not dominated are
(5,5)
(<= 20 conns),(4,4,2)
(<= 13 conns) and(4,3,3)
(<= 12 conns). - Therefore, we need
(5,5)
at least once. WLOG day 1 is distributed01234 56789
. - From now on
(5,5)
has at most 12 new conns,(4,4,2)
has at most 9 new conns and(4,3,3)
has at most 8 new conns. - This means we cannot get 45 connections, therefore we have no valid solution in 3 days.
- This is a special case of
f
. - Suppose there is a valid solution in 3 days.
- The configurations with at least 26 connections which are not dominated are
(6,6,1)
and(6,5,2)
, one of which has to occur at least once.- Suppose day 1 is
(6,6,1)
. Then no other day can have more than 20 connections. Day 2 has(6,6,1)
at most 11 9 = 20 connections(6,5,2)
at most 11 8 1 = 20 connections (actually, less)(6,4,3)
and(5,5,3)
and(5,4,4)
also have less than 20 connections, all other configurations are dominated.
- Suppose no day is
(6,6,1)
. Then every day needs 26 connections exactly, which is impossible.
- Suppose day 1 is
- Alternatively, this can be derived from
T(13,6) ≥ T(14,7) ≥ 4
- This also follows from
g
. - Suppose there is a valid solution in 4 days.
- 181 connections have to be made, and at most 45 connections can be made per day, with configuration
(6,6,6,1)
. Every other configuration has at most 41 connections. - This means that
(6,6,6,1)
has to appear, WLOG on day 1. Now on every other day, the configuration(6,6,6,1)
can give at most13 12 12=37
connections, which means that there is no way to get 181 connections in 4 days.
- This was found by manually modifying
T(16,4) = 5
, using the same method asK
. K
only shows thatT(20,6) ≤ 5
.- If you replace
1H
,2I
,5J
,6K
and9L
by single participants, you get a perfect(16,4)
-solution
1234HI 5678JK 9ABCL DEFG
179DHL 26AFIK 38CE 45BGJ
18BFH 25CDIJ 37AG 469EKL
15AEHJ 289GIL 36BDK 47CF
16CGHK 27BEI 359FJL 48AD
- This is a special case of
f
. - Suppose there is a valid solution in 3 days.
- The configuration
(7,7)
has to occur, since there is no way to make at least 61 connections in 2 days otherwise. - After
(7,7)
at most 24 connections can be made per day. So there are at most42 24 24 = 90 < 91
connections, which is not enough.
- This also follows from
T(21,7) ≥ T(20,7) ≥ 5
where the second inequality follows fromg
. - Suppose there is a valid solution in 4 days.
- 210 connections have to be made, and at most 63 connections can be made per day, with configuration
(7,7,7)
. - It is impossible to have a non-dominated solution where 5 tables are used every day.
- If
(7,7,7)
appears, WLOG on day 1, then at most 48 connections can be made every other day, but63 48 48 48=207<210
is not enough. - If
(7,7,7)
doesn't appear, then every day has 4 tables. Then at most 57 connections can be made on day 1, and at most 49 connections on future days (since all 7s lose at least 3 and all 6s lose at least 2 connections). This is also not enough, since57 49 49 49=204<210
.
- The condition
n ≡ k mod k(k-1)
is necessary for a perfect(n,k)
-solution to exist. To what extend is it sufficient?- It is true when
k
is a prime power andn
is a power ofk
, seeH
. - In the smallest case where
k
is not a prime power, the first non-trivial example is immediately a counterexample. There is no perfect(36,6)
-solution (see Latin Squares). - It is true for
k = 2
andk = 3
. - For
k = 4
it's true according to On resolvable designs. - According to ANKS for every
k
this is true for all but finitely manyn
(Theorem 1, citing The existence of resolvable block designs. Survey of combinatorial theory, D Ray-Chaudhuri, R Wilson - 1973).- This shows that for a fixed
k
the asymptotic behavior ofT(n,k)
isT(n,k) ≤ (n-1)/(k-1) O(1)
, i.e.T(n,k) - (n-1)/(k-1)
is bounded by a constant (possibly depending onk
).
- This shows that for a fixed
- It is true when
- For every
n
andk
is there an optimal(n,k)
-solution in which, during every meal, at most one table is not completely occupied?- This is false. All optimal
(8,5)
-solutions have at least one day with two tables of four participants. This was found by brute force, but is quite easy to see by hand (to do). - It is probably even false that there always is an optimal
(n,k)
-solution where there are⌈ n/k ⌉
tables each day (where⌈ x ⌉
is the smallest integer which is at leastx
). The Mathematica SAT-solver easily found a solution thatT(12,3) ≤ 6
, but didn't terminate within reasonable time when the additional condition was imposed that only 4 tables could be used per day.
- This is false. All optimal
- In all cases we know the following holds: if there is a perfect
(n,k)
solution, thenT(n 1,k) = T(n,k) 2
.- Does this always hold? Or maybe
T(n 1,k) ≥ T(n,k) 2
?
- Does this always hold? Or maybe
- Dagstuhl's Happy Diner Problem:
- We submitted two sequences to the OEIS: A318240 and A318241.
- The problem is stated on Sarah's Oberwolfach Problem Page. Finding the perfect
(n,3)
-solutions is a special case of the Oberwolfach Problem. - Someone asked the value of
T(18,4) - 1
on Math Stack Exchange
- Social Golfer Problem:
- Wolfram Mathworld
- Warwick's result page (2002)
- Markus Triska's master thesis (2008)
- Edd Pegg Jr.'s Math Game page (2007)
- A107431.
- Mathematica Demonstration
- Math Stack Exchange
- This page contains a solution that
G(8,5) ≥ 8
.
- Kirkman System:
- Wolfram Mathworld,
- Dutch dissertation by Pieter Mulder (1917).
- Solution of Kirkman's schoolgirl problem, Ray-Chaudhuri and Wilson, 1971. In Proc. of Symp. in Pure Math, Vol 19.
- Kirkman triple systems and their generalizations: A survey, Rees and Wallis, 2002. Springer
- Asymptotic Existence of Nearly Kirkman Systems, Hao Chen, Wen-Song Chu
- Block Designs:
- A Survey of Resolvable Solutions of Balanced Incomplete Block Designs, Sanpei Kageyama, Rev. Inst. Internat. Statist., 40, 269–273. JSTOR
- On Cyclically Resolvable Cyclic Steiner 2-Designs, Clement Lam and Ying Miao, Journal of Combinatorial Theory, Series A, Volume 85, Issue 2, February 1999, Pages 194-207. ScienceDirect
- On resolvable designs, Haim Hanani, D.K. Ray-Chaudhuri, Richard M. Wilson Discrete Mathematics, 1972, 3:343-357.
- Oberwolfach Problem: Sarah's Oberwolfach Problem Page.
- Contributions are welcome! Feel free to add any information. Please provide links or justifications of claims you make.