Maths Olympiad Prep

Track / Stage 6 / 4 of 400 #1004 of 1964

Problem 1004

National olympiad, first round
Combinatorics Difficulty 6.0 Prove it

In the city of "Diversity," there live nn residents, any two of whom are either friends or enemies. Each day, no more than one resident can start a new life: fall out with all of their friends and become friends with all of their enemies. Prove that all residents can become friends.

Note. If AA is a friend of BB, and BB is a friend of CC, then AA is also a friend of CC. It is also assumed that among any three residents, at least two are friends.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Let A,BA, B and CC be any three residents of the city.

It is clear that it is possible for all of them to be friends with each other; it is also possible that one of them (say, AA) is not friends with either BB or CC, while BB and CC are friends with each other: in this case, for A,BA, B, and CC to all become friends, it is sufficient for AA to "start a new life."

It is also easy to see that two other cases are impossible: when all three residents A,BA, B, and CC are enemies with each other, and when one resident, for example, the same AA, is friends with both BB and CC, while they are enemies with each other.

The described structure of the "friendship relation" between any three individuals A,BA, B, and CC proves that this relation can be described quite simply for the entire city: in the city, there are two groups of residents (two parties M\mathbf{M} and N\mathbf{N}), such that all residents belong to either one or the other party (but never to both at the same time), and every two members of the same party are friends with each other, while residents belonging to different parties are necessarily enemies. Indeed, let us add to our three residents A,BA, B, and CC of the city of Diversity another resident DD; in this case, if AA and BB are friends with each other and DD is friends with at least one of them, then he is friends with the other as well - and, therefore, belongs to the party that includes both AA and BB; if, however, AA and BB are enemies with each other, then DD is friends with only one of them (but is necessarily friends with one of them!). This reasoning ensures the possibility of dividing the quartet of residents A,B,CA, B, C, and DD into two parties M\mathbf{M} and N\mathbf{N} (although one of these parties may be "empty": this will be the case if all residents A,B,CA, B, C, and DD are friends with each other). Proceeding in the same way and further, i.e., sequentially adding one person to the already considered residents of the city, we will prove the possibility of dividing all nn residents of the city into two parties.

Now, proving the statement of the problem is no longer difficult. If all residents of the city are friends with each other, then there is nothing to prove; if, however, neither of the parties M\mathbf{M} and N\mathbf{N} is "empty," then we will suggest that each day one of the members of party M\mathbf{M} "starts a new life," i.e., simply transitions to party N\mathbf{N}. If party M\mathbf{M} has kk people, then all residents of the city will be able to become friends in kk days.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.