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

2018 IMO Shortlist C2

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

IMO Shortlist 2018 C2 combinatorics

Queenie and Horst play a game on a 20×2020 \times 20 chessboard. In the beginning the board is empty. In every turn, Horst places a black knight on an empty square in such a way that his new knight does not attack any previous knights. Then Queenie places a white queen on an empty square. The game gets finished when somebody cannot move. Find the maximal positive KK such that, regardless of the strategy of Queenie, Horst can put at least KK knights on the board. (Armenia)

奎妮和霍斯特在 20 美元×20 美元的棋盘上玩游戏。一开始,棋盘是空的。在每个回合中,霍斯特都会将一名黑骑士放置在空的格子上,这样他的新骑士就不会攻击任何先前的骑士。然后奎妮将一个白皇后放在一个空的正方形上。当有人无法移动时,游戏就结束了。找到最大的正KK,使得无论Queenie的策略如何,霍斯特都可以在棋盘上放置至少KK个骑士。 (亚美尼亚)

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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