Daily

Random

Practice set

Baltic Way 2010 · Problem 8

Combinatorics

In a club with 30 members, every member initially had a hat. One day each member sent his hat to a different member (a member could have received more than one hat). Prove that there exists a group of 10 members such that no one in the group has received a hat from another one in the group.

Change pool

When you’re ready

Review material becomes available with the next Daily.

Review

Topics

Colorings and configurations · Pigeonhole and extremal arguments

Solutions

Solution

Let SS be the given group of 3030 people. Consider all subsets A⊂SA \subset S such that no member of AA received a hat from a member of AA. Among such subsets, let TT be a subset of maximal cardinality. The assertion of the problem is that ∣T∣≥10|T| \ge 10.

Let U⊂SU \subset S consist of all people that have received a hat from a person belonging to TT. Now consider any member x∈S∖(T∪U)x \in S \setminus (T \cup U). Since x∉Ux \notin U, no member of TT sent his hat to xx. It follows that no member of TT sent a hat to a person from T∪{x}T \cup \{x\}. But the maximality of TT implies that some person from T∪{x}T \cup \{x\} sent his hat to a person from the same subset. This means that xx sent his hat to a person from TT. Consequently, all members of the subset S∖(T∪U)S \setminus (T \cup U) sent their hats to people in TT. In particular, S∖(T∪U)S \setminus (T \cup U) has the property described in the beginning. The maximality of TT gives ∣S∖(T∪U)∣≤∣T∣|S \setminus (T \cup U)| \le |T|. Finally, we obviously have ∣U∣≤∣T∣|U| \le |T|, so

∣T∣≥∣S∖(T∪U)∣=∣S∣−∣T∣−∣U∣≥∣S∣−2∣T∣,|T| \ge |S \setminus (T \cup U)| = |S| - |T| - |U| \ge |S| - 2|T|,

or ∣T∣≥13∣S∣=10|T| \ge \frac{1}{3}|S| = 10, as desired.

Contest context

Results from Baltic Way 2010

10 teams

Mean score
3.6 / 5
Scores of 4 or 5
7 / 10
Estonia
5 / 5

Score distribution

01
11
21
30
42
55
All team scores
TeamScore
Poland4 / 5
Lithuania0 / 5
Germany5 / 5
Latvia5 / 5
Denmark5 / 5
Sweden5 / 5
Estonia5 / 5
Norway4 / 5
Finland2 / 5
Iceland1 / 5