Olympiad Maths Prep

Track / Stage 8 / 42 of 180 #1742 of 2000

Problem 1742

IMO Shortlist mid-range; USAMO P2/P5
Combinatorics Difficulty 8.1 Prove it SAUDI ARABIAN IMO Booklet 2023 · Saudi Arabia · 2023

An academic club of 20232023 members wants to organize some seminars. In each seminar, each member of the club will present exactly one of three subjects: Math, Physics, and Chemistry. It is given that for any two members, there exists some seminar where they do not present the same subject. Find the smallest possible value of the number of seminars.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Let kk be the number of seminars the club can organize. In the ii-th seminar with 1ik1 \le i \le k, denote AiA_i, BiB_i, CiC_i as the collection of participants presenting Math, Physics, Chemistry respectively. Then, for each ii, we have AiA_i, BiB_i, CiC_i are the partition of the members of the club. Replace 2023n2023 \to n.

In each seminar, the members will have 33 ways to choose subjects to present, so there will be 3k3^k ways to choose in total. If 3k<n3^k < n then, according to the pigeonhole principle, there will be two members who must have the same choice in all kk seminars. However, the two members will always present the same subject for every seminar, contradiction. So there must be n3kn \le 3^k.

We will show that for n3kn \le 3^k it is always possible to construct. Indeed, converting the members' numbers from 0,1,2,,n10, 1, 2, \ldots, n-1 to base 33, each number will correspond to a ternary string of length no more than kk. To synchronize those strings, we add 00 in front so that all strings have the same length kk. We define the following rule: in the iith seminar with 1ik1 \le i \le k, all members having 00 at position ii on their string will present Math, similarly, the same 11 for Physics and the same 22 for Chemistry.

Note that any two strings are different, so they must be different at a certain position, and the index of that position will be the index of the seminar in which the two respective members present 22 different subjects, satisfying the constraint.

For n=2023n = 2023, we have klog32023=7k \ge \lceil \log_3 2023 \rceil = 7 and k=7k = 7 is the minimum value. \square

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.