题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Players and play a paintful game on the real line. Player has a pot of paint with four units of black ink. A quantity of this ink suffices to blacken a (closed) real interval of length . In every round, player picks some positive integer and provides units of ink from the pot. Player then picks an integer and blackens the interval from to (some parts of this interval may have been blackened before). The goal of player is to reach a situation where the pot is empty and the interval is not completely blackened. Decide whether there exists a strategy for player to win in a finite number of moves. (Austria)
玩家和在实线上玩一场彩绘游戏。玩家有一罐含有四个单位黑色墨水的油漆。这种墨水的数量 足以使长度为 的(闭合)实区间变黑。在每一轮中,玩家 选择一些正整数 并从罐中提供 单位的墨水。然后玩家选择一个整数并将区间从变黑到(这个区间的某些部分可能之前已经被变黑了)。玩家的目标是达到锅为空并且区间没有完全变黑的情况。决定是否存在让玩家 在有限步数内获胜的策略。 (奥地利)
提示 1
先决定对象是什么:集合、图、排列、颜色、路径,还是一次操作后的状态。
提示 2
找一个极端对象、双计数式、不变量,或把限制转成图上的局部条件。
提示 3
把局部限制累加成全局矛盾,或给出覆盖全部情形的构造。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2013 年 IMO Shortlist C8 可先归入组合:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?