Skip to main content
OlympiadHQ

Browse · MathNet

Print

USA IMO

United States counting and probability

Problem

There are 51 senators in a senate. The senate needs to be divided into committees so that each senator is on one committee. Each senator hates exactly three other senators. (If senator hates senator , then senator does not necessarily hate senator .) Find the smallest such that it is always possible to arrange the committees so that no senator hates another senator on his or her committee.
Solution
The smallest such number is . Assume that there are senators such that each hates , , and (where indices are taken modulo ). In this situation, for any different , either hates or vice versa. The senators must be placed on seven different committees. Thus, .

In order to show that , we will prove the following stronger statement by induction on : for senators, each of whom hates at most others, it is possible to arrange the senators into committees so that no senator hates another senator on his or her committee.

For the base case , note that we can have committees, of which are empty and of which contains the sole senator.

Now assume the claim is true for all . Suppose we are given senators, each of whom hates at most others. If each of those senators is hated by more than others, then the total number of acts of hating must be greater than , but this is not possible since each senator hates at most others. Therefore, there must be at least one senator who is hated by at most others. By the induction hypothesis, we can split the other senators into committees satisfying the property that no senator hates another senator on the same committee. By the Pigeonhole Principle, one of those committees contains neither a person whom hates nor a person who hates . We can therefore place in that committee. The induction is complete.
Final answer
7

Techniques

Pigeonhole principleCounting two waysInduction / smoothing