题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
We have lamps in a row, each of them being either on or off. Every second we simultaneously modify the state of each lamp as follows: - if the lamp and its neighbours (only one neighbour for or , two neighbours for other ) are in the same state, then is switched off; - otherwise, is switched on. Initially all the lamps are off except the leftmost one which is on. (a) Prove that there are infinitely many integers for which all the lamps will eventually be off. (b) Prove that there are infinitely many integers for which the lamps will never be all off. (France)
我们有 灯 连续,每个灯要么打开,要么关闭。每秒我们同时修改每盏灯的状态,如下所示: - 如果灯 及其邻居( 或 仅有一个邻居,其他 为两个邻居)处于相同状态,则 关闭; - 否则, 打开。最初,除了最左边的一盏灯亮起外,所有灯都关闭。 (a) 证明有无数个整数,最终所有的灯都会熄灭。 (b) 证明有无限多个整数 使得灯永远不会全部熄灭。 (法国)
提示 1
先决定对象是什么:集合、图、排列、颜色、路径,还是一次操作后的状态。
提示 2
找一个极端对象、双计数式、不变量,或把限制转成图上的局部条件。
提示 3
把局部限制累加成全局矛盾,或给出覆盖全部情形的构造。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2006 年 IMO Shortlist C1 可先归入组合:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?