Skip to main content
OlympiadHQ

Browse · MathNet

Print

67th 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)
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.

Techniques

Counting two waysPigeonhole principleColoring schemes, extremal arguments