Problem

Source: CMO 2022 P4

Tags: combinatorics



A conference is attended by $n (n\ge 3)$ scientists. Each scientist has some friends in this conference (friendship is mutual and no one is a friend of him/herself). Suppose that no matter how we partition the scientists into two nonempty groups, there always exist two scientists in the same group who are friends, and there always exist two scientists in different groups who are friends. A proposal is introduced on the first day of the conference. Each of the scientists' opinion on the proposal can be expressed as a non-negative integer. Everyday from the second day onwards, each scientists' opinion is changed to the integer part of the average of his/her friends' opinions from the previous day. Prove that after a period of time, all scientists have the same opinion on the proposal.