camp has at least four leaders
Source: Switzerland - 2017 Swiss MO Final Round p6
January 14, 2023
combinatorics
Problem Statement
The SMO camp has at least four leaders. Any two leaders are either mutual friends or enemies. In every group of four leaders there is at least one who is with the three is friends with others. Is there always one leader who is friends with everyone else?