quirino.net

4 Boats

Place 24 rowers in 4 boats of 6 - how many days for every pair to meet?

24 people are at a rowing meet. They have 4 boats, each fitting exactly 6 people. Over several days, all participants are assigned to boats, with assignments possibly changing daily.

You’re responsible for allocating the members into boats, and your goal is to ensure each of the $\binom{24}{2} = 276$ unique pairs of participants share a boat on at least one day.

What’s the minimum number of days the rowing meet must last for this to be possible?

Some pointers

Lower bound

Person 1 must meet 23 other people. Since they meet at most 5 new people each day we need at least 5 days. But is 5 days enough?

Construct by hand

An obvious construction takes 276 days: on each day, focus only on making a specific pair of people meet.

You can still do much better by hand. The construction above uses only a pair of seats. Try making use of Symmetry or “gluing” some people together to reduce your problem.

Write code

Writing code for this kind of problem is a lot of fun. Here are some heuristics to try:

Solutions and AI Evaluations

A couple small spoilers regarding the difficulty of this problem:

To avoid spoiling the correct answer, I placed the solutions on a separate page. I also evaluate how various AI models fare in trying to solve this problem.