Browse · MathNet
PrintTeam Selection Test for IMO 2009
Turkey 2009 counting and probability
Problem
In a group of people, any pair of persons have exactly one common friend. Determine the smallest possible value of the difference between the numbers of friends of the person with the most friends and the person with the least friends in such a group.
Solution
Suppose that and are not friends. If is a friend of , then by assumption, and have exactly one common friend . The function that takes each to the corresponding is a bijection between the friends of and the friends of . Therefore, any two persons who are not friends have the same number of friends.
Let be a positive integer. Consider the set of persons with exactly friends and its complement. Since any person in one of these sets must be friends with any person in the other set, at least one of these sets has less than persons in it. It follows that either there is a person who is friends with everyone or everyone has the same number of friends.
Suppose that everyone has exactly friends. On the one hand there are pairs of persons in this group. On the other hand, since every pair has exactly one common friend, counting the number of pairs of friends of all persons must give the same answer. That is, . But this gives , which has no solution.
Hence, the only possibility is that is friends with everyone, and and are friends for . The answer is .
Let be a positive integer. Consider the set of persons with exactly friends and its complement. Since any person in one of these sets must be friends with any person in the other set, at least one of these sets has less than persons in it. It follows that either there is a person who is friends with everyone or everyone has the same number of friends.
Suppose that everyone has exactly friends. On the one hand there are pairs of persons in this group. On the other hand, since every pair has exactly one common friend, counting the number of pairs of friends of all persons must give the same answer. That is, . But this gives , which has no solution.
Hence, the only possibility is that is friends with everyone, and and are friends for . The answer is .
Final answer
2006
Techniques
Matchings, Marriage Lemma, Tutte's theoremCounting two ways