题面据 IMO Shortlist 可核档案整理;中文题意为本站自译,公式请以原始来源为准。
Given a positive integer and other two integers . There are two strings of pearls, a string of black pearls and a string of white pearls. The length of a string is the number of pearls on it. One cuts these strings in some steps by the following rules. In each step: (i) The strings are ordered by their lengths in a non-increasing order. If there are some strings of equal lengths, then the white ones precede the black ones. Then first ones (if they consist of more than one pearl) are chosen; if there are less than strings longer than 1 , then one chooses all of them. (ii) Next, one cuts each chosen string into two parts differing in length by at most one. (For instance, if there are strings of black pearls, strings of white pearls and , then the strings of 8 white, 5 black, 4 white and 4 black pearls are cut into the parts and , respectively.) The process stops immediately after the step when a first isolated white pearl appears. Prove that at this stage, there will still exist a string of at least two black pearls. (Canada)
给定一个正整数 和另外两个整数 。有两串珍珠,一串黑珍珠和一串白珍珠。绳子的长度就是绳子上珍珠的数量。人们按照以下规则分步骤切割这些字符串。在每个步骤中: (i) 字符串按其长度以非递增顺序排序。如果有一些长度相等的字符串,则白色字符串在黑色字符串之前。然后选择第 个(如果它们由多于一颗珍珠组成);如果长度大于 1 的字符串少于 ,则选择所有字符串。 (ii) 接下来,将每个选定的字符串切成长度最多相差一的两部分。 (例如,如果有 黑珍珠串, 白珍珠串,,则将 8 颗白珍珠、5 颗黑珍珠、4 颗白珍珠和 4 颗黑珍珠串分别切割成 和 部分。)当第一个孤立的白珍珠出现时,该过程立即停止。证明在这个阶段,仍然存在一串至少两颗黑珍珠。 (加拿大)
提示 1
先决定对象是什么:集合、图、排列、颜色、路径,还是一次操作后的状态。
提示 2
找一个极端对象、双计数式、不变量,或把限制转成图上的局部条件。
提示 3
把局部限制累加成全局矛盾,或给出覆盖全部情形的构造。
完整解答
这页先给题面、题型和提示阶梯,完整证明留给读者逐步展开。2010 年 IMO Shortlist C6 可先归入组合:第一步把题设翻成对象、条件、目标三行;第二步沿提示寻找不变量、标准构型或关键变形;第三步补齐边界情形,并回到题目原要求核对。
这题适合先独立想一轮再打开提示。不要急着搜索完整解答,先问自己:题面里最硬的限制是哪一句?