灯下 登录
番外 · 闲灯 / IMO Shortlist / C4 · combinatorics

2012 IMO Shortlist C4

题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。

IMO Shortlist 2012 C4 combinatorics

Players AA and BB play a game with N2012N \geq 2012 coins and 2012 boxes arranged around a circle. Initially AA distributes the coins among the boxes so that there is at least 1 coin in each box. Then the two of them make moves in the order B,A,B,A,B, A, B, A, \ldots by the following rules: - On every move of his BB passes 1 coin from every box to an adjacent box. - On every move of hers AA chooses several coins that were not involved in BB 's previous move and are in different boxes. She passes every chosen coin to an adjacent box. Player AA 's goal is to ensure at least 1 coin in each box after every move of hers, regardless of how BB plays and how many moves are made. Find the least NN that enables her to succeed.

玩家 AABBN2012N \geq 2012 硬币和围绕圆圈排列的 2012 年盒子玩游戏。最初,AA 将硬币分配到各个盒子中,以便每个盒子中至少有 1 个硬币。然后他们两人按照以下规则按照 B,A,B,A,B, A, B, A, \ldots 的顺序进行移动: - 他的 BB 每次移动都会将 1 个硬币从每个盒子传递到相邻的盒子。 - 在 AA 的每次移动中,都会选择 BB 之前的移动中未涉及的几个硬币,并且这些硬币位于不同的盒子中。她将每一枚选定的硬币传递到相邻的盒子中。玩家 AA 的目标是确保每次移动后每个盒子中至少有 1 个硬币,无论 BB 如何玩以及移动了多少次。找到能让她成功的最少NN

提示 1

先决定对象是什么:集合、图、排列、颜色、路径,还是一次操作后的状态。

提示 2

找一个极端对象、双计数式、不变量,或把限制转成图上的局部条件。

提示 3

把局部限制累加成全局矛盾,或给出覆盖全部情形的构造。

完整解答

这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2012 年 IMO Shortlist C4 可先归入组合:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。

这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?