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

2015 IMO Shortlist C1

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

IMO Shortlist 2015 C1 combinatorics

In Lineland there are n1n \geq 1 towns, arranged along a road running from left to right. Each town has a left bulldozer (put to the left of the town and facing left) and a right bulldozer (put to the right of the town and facing right). The sizes of the 2n2 n bulldozers are distinct. Every time when a right and a left bulldozer confront each other, the larger bulldozer pushes the smaller one off the road. On the other hand, the bulldozers are quite unprotected at their rears; so, if a bulldozer reaches the rear-end of another one, the first one pushes the second one off the road, regardless of their sizes. Let AA and BB be two towns, with BB being to the right of AA. We say that town AA can sweep town BB away if the right bulldozer of AA can move over to BB pushing off all bulldozers it meets. Similarly, BB can sweep AA away if the left bulldozer of BB can move to AA pushing off all bulldozers of all towns on its way. Prove that there is exactly one town which cannot be swept away by any other one. (Estonia)

Lineland 有 n1n \geq 1 个城镇,沿着从左到右的道路排列。每个城镇都有一台左推土机(放置在城镇左侧,面朝左)和一台右推土机(放置在城镇右侧,面朝右)。 2n2 n 推土机的尺寸各不相同。每当左右推土机对峙时,较大的推土机就会将较小的推土机推离路面。另一方面,推土机的后部完全没有保护;因此,如果一台推土机到达另一台推土机的后端,第一台推土机会将第二台推土机推离路面,无论它们的尺寸如何。令 AABB 为两个城镇,BB 位于 AA 的右侧。我们说,如果 AA 的正确推土机可以移动到 BB 并推开它遇到的所有推土机,则 AA 镇可以扫除 BB 镇。同样,如果BB的左侧推土机可以移动到AA并推开沿途所有城镇的所有推土机,BB就可以扫走AA。证明确实有一个城镇不能被任何其他城镇冲走。 (爱沙尼亚)

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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