Olympiad Maths Prep

Track / Stage 7 / 2 of 300 #1402 of 2000

Problem 1402

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.0 Prove it

There are 105 users on the social media platform Mathsenger, every pair of which has a direct messaging channel. Prove that each messaging channel may be assigned one of 100 encryption keys, such that no 4 users have the 6 pairwise channels between them all being assigned the same encryption key.

[i]Proposed by Fredy Yip[/i]

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

To prove that each messaging channel may be assigned one of 100 encryption keys such that no 4 users have the 6 pairwise channels between them all being assigned the same encryption key, we can proceed as follows:

1. Number the Users and Create Sets:
Number the users from 11 to 105105. Create sets I1,I2,,I53I_1, I_2, \ldots, I_{53} where:
I1={1,2},I2={3,4},,I52={103,104},I53={105} I_1 = \{1, 2\}, \quad I_2 = \{3, 4\}, \quad \ldots, \quad I_{52} = \{103, 104\}, \quad I_{53} = \{105\}
Each set IkI_k contains 2 users, except for I53I_{53} which contains 1 user.

2. Assign Encryption Keys:
For any two users uu and vv, if uIku \in I_k and vIv \in I_\ell with kk \leq \ell, assign their channel the key kk.

3. Verify the Key Assignment:
Consider any four users. We need to show that the 6 pairwise channels between them do not all have the same encryption key.

- **Case 1: Four users are from three different sets Ik,I,ImI_k, I_\ell, I_m with k<<mk < \ell < m:**
In this case, at least two different keys kk and \ell are used among the channels. This is because the channels between users in different sets will have different keys.

- **Case 2: Four users are from two different sets IkI_k and II_\ell:**
In this case, both keys kk and \ell are used. For example, if two users are from IkI_k and two users are from II_\ell, the channels between users in IkI_k will have key kk and the channels between users in II_\ell will have key \ell.

4. Conclusion:
In both cases, it is clear that not all 6 pairwise channels between any four users can have the same encryption key. Therefore, the assignment of keys as described ensures that no 4 users have all 6 pairwise channels between them assigned the same encryption key.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.