题面据中国数学奥林匹克 / AoPS 可核档案整理;中文题意为本站自译,英文行为来源英译摘要,公式请以原始来源为准。
A conference is attended by 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.
名科学家参加了一次会议。每个科学家在这个会议上都有一些朋友(友谊是相互的,没有人是他/她自己的朋友)。假设无论我们如何将科学家分为两个非空组,同一组中总是存在两个作为朋友的科学家,并且不同组中总是存在两个作为朋友的科学家。
会议第一天提出了一项提案。每个科学家对该提案的意见都可以表示为一个非负整数。从第二天开始,每位科学家的意见都会更改为前一天他/她的朋友意见平均值的整数部分。
证明一段时间后,所有科学家对该提案的看法一致。
提示 1
先说出现象:哪些量会变,哪些约束不会变。
提示 2
找守恒量、相似关系、平衡条件或不变量,不急着代公式。
提示 3
把物理图景或谜题结构翻成一个最小方程组,再处理边界情况。
完整解答
题面已直接收录。先把 2022 年 CMO 第 4 题的条件整理成对象、关系、目标三部分;再沿提示寻找不变量、标准构型或关键变形;最后补齐边界情形,并回到原题要求核对。
这类题最怕一上来套公式。先把图景或语言条件说清楚,答案通常会少绕很多路。