Browse · MathNet
Print67th Czech and Slovak Mathematical Olympiad
Czech Republic counting and probability
Problem
In a certain club, some pairs of members are friends. Given , we say that a club is k-good if every group of k members can be seated around a round table such that every two neighbors are friends. Prove that if a club is 6-good then it is 7-good.
(Josef Tkadlec)
(Josef Tkadlec)
Solution
Consider a 6-good club and denote some seven of its members by . It suffices to show that can be seated around a table as required. Consider only friendships among . First, we show that every member has at least three friends.
Without loss of generality consider . By assumption, can be seated as required, hence has at least two friends. Without loss of generality, is one of them. By assumption, (omitting ) can be seated as required, hence has at least two more friends apart from for a total of at least three friends.
Since every member has at least three friends, there exists a member with at least four friends (otherwise the number of friendly pairs equals , which is clearly impossible). Without loss of generality, assume has at least four friends.
By assumption, can be seated as required. In such a seating, some two of the four friends of are neighbors and we can seat in between them.
Without loss of generality consider . By assumption, can be seated as required, hence has at least two friends. Without loss of generality, is one of them. By assumption, (omitting ) can be seated as required, hence has at least two more friends apart from for a total of at least three friends.
Since every member has at least three friends, there exists a member with at least four friends (otherwise the number of friendly pairs equals , which is clearly impossible). Without loss of generality, assume has at least four friends.
By assumption, can be seated as required. In such a seating, some two of the four friends of are neighbors and we can seat in between them.
Techniques
Counting two waysPigeonhole principleColoring schemes, extremal arguments