灯下 登录
番外 · 题谱 · 2016 · P14

2016 IMO Shortlist C6

组合 · P3/P6 · 压轴题

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

IMO Shortlist 2016 C6 combinatorics

There are n3n \geq 3 islands in a city. Initially, the ferry company offers some routes between some pairs of islands so that it is impossible to divide the islands into two groups such that no two islands in different groups are connected by a ferry route. After each year, the ferry company will close a ferry route between some two islands XX and YY. At the same time, in order to maintain its service, the company will open new routes according to the following rule: for any island which is connected by a ferry route to exactly one of XX and YY, a new route between this island and the other of XX and YY is added. Suppose at any moment, if we partition all islands into two nonempty groups in any way, then it is known that the ferry company will close a certain route connecting two islands from the two groups after some years. Prove that after some years there will be an island which is connected to all other islands by ferry routes.

一座城市中有 n3n \geq 3 个岛屿。最初,渡轮公司在某些对岛屿之间提供一些航线,因此不可能将岛屿分为两组,使得不同组中的两个岛屿没有渡轮路线连接。每年之后,渡轮公司都会关闭 XXYY 两个岛屿之间的渡轮航线。同时,为了维持服务,公司将按照以下规则开辟新航线:对于任何通过轮渡航线连接到XXYY中的一个岛屿的岛屿,在该岛屿和XXYY中的另一个岛屿之间增加一条新航线。假设在任何时刻,如果我们以任何方式将所有岛屿分成两个非空的组,那么众所周知,轮渡公司将在几年后关闭连接这两个组中的两个岛屿的某条航线。证明几年后将会有一个岛屿通过渡轮路线与所有其他岛屿相连。

提示 1

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

提示 2

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

提示 3

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

完整解答

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

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