组合数学基础9.docVIP

第九讲??Ramsey 定理  HYPERLINK /zsb/zsx/zsx09/zsx099/zsx09901/zsx099010.htm §1 (鸽笼原理) ?(本页） HYPERLINK /zsb/zsx/zsx09/zsx099/zsx09901/zsx099011.htm §2 ( HYPERLINK /zsb/zsx/zsx09/zsx099/zsx09901/zsx099011.htm Ramsey 定理) HYPERLINK /zsb/zsx/zsx09/zsx099/zsx09901/zsx099012.htm §3 (定理的应用) §1 ?鸽笼原理 　　下面我们将介绍一个重要而又基本的组合原理-鸽笼原理. 它可用来解决各种有趣的问题. (*)　　如果把件东西放入 个盒子，则至少有一个 盒子含有两件或更多件的东西. 　　证 ? 若不然，则每个盒子至多含一件东西. 从而 个盒子至多含 件东西与以知有 件东西矛盾.　　　　　 　　用鸽笼原理来证明某种安排或现象的存在性是十分有用的，但往往只能证明存在性而不能构造出这??安排. 　　下面介绍上述定理的应用 　　应用 1 ?在 13 个人中必有两人生日的月份是相同的，在 367 个人中必有两个人在同一天过生日. 　　应用 2 ?给定 个整数 . 存在正整数 和 ，使得 能被 整除. 　　证 ?设 . 如果存在某一 使 能被 整除，则命题成立，若不然用 除 . 记 . 由于不同余数至多有 个. 因此，必存在正整数 和 使 . 从而 . 即 能被 整除. 　　应用 3 ?有 11 周的时间准备锦标赛的一位象棋大师. 决定每天至少练习一次,但为了使自己不太疲倦,他决定在每一周中的练习赛次不能超过 12 次. 证明存在相继的若干天,这位大师恰好进行了 21 次练习赛. 　　证: ?设这位大师前 天的练习赛次数为 ，则序列 是严格递增的. 由于 故 . 考虑下述 154 个数 ， 都是 1 到 153 之间的整数. 因此他们之中必有两个数是相同的，由于 之中任何两个数都不相同，，，， 之中任何两个数都不相同，故必存在 和 使 ，因此从第 天起到第 天为止，这些天中，象棋大师进行了 21 次练习赛. 　　应用 4 ?从整数 1，2，…，200 之中任选 101 个整数. 证明存在选取的这些整数中必存在两个数，其中之一可被另一整除. 　　证 ?任何正整数均克写成 的形式. 此处 ?. 对 1，2，…，200 这 200 个数写成上述形式. 其中 是 1，3，5，7，…199 之一. 一共有 100 个，于是所选取的 101 个整数中，必有两个数在上述表示式中含有相同的确 . 不妨设这两个数是 和 且 . 这样 能被 整除. 　　下面叙述鸽笼原理的加强形式: (**)　　设 是正整数，把 件物品放入 个盒子里，则存在某一 使第 个盒子里至多装 件物品. 　　证 ?若不然，对所有的 均有第 个盒子至多装有 件物品. 从而这 个盒子装有的物件总数至多为 从而产生矛盾. 　　当 时，上述原理可叙述为: (***)　　如果把 件物品装入 个盒子中，则至少有一个盒子至少有 件物品. 　　这种情况的另一种提法为: (****)　　如果 个整数 的算术平均数 大于 ，则 中至少有一个不能小于 . 　　证 ?若不然，则 . 因此 ，从而产生矛盾. 　　应用 5 ?证明每个长为 的实数序列 含有一个长为 的递增子序列或长为 的递减子序列. 　　证 ?若不存在长为 的递增子序列或长为 的递减子序列.我们将证明一定存在长为 的递减子序列. 令 是以 为首元素的最长递增子序列，则 . 由鸽笼原理(***)，取 知 个数 当 时，至少有 个数相等. 设 ? 此时必有 . 若不然，存在某一 ，使 ，取以 开始的最长子序列，然后把 放在这个子序列的前面，就得到一个以 为首元的递增子序列. 这样 与 矛盾. 故 从而 是一个长为 的递减子序列. §2 ?Ramsey 定理 　　鸽笼原理的进一步，更深刻、更重要的推广是由英国逻辑学家 F.P.Ramsey 提出的 Ramsey 定理. 设 是 集， 是 的所有 元子集的集合. 即 令 ,(1)是 的一个任意的 有序划分 是 个分量 是满足条件 ,(2)的整数. 如果有一个 的 子集和它的所有 元子集都含在 中，则称这个 子集为 的 ?集，Ramsey 定理可以叙述如下: 　　定理 1 ?设给定条件(2)的一组整数 和 ，则存在正整数 ，使得当 时，对 集 的所有 子集 的任一有序划分(1)，必有某个 存在使 包含一个 子集. 　　记具有上述性质的正整数 的最小者为?. 首先，我们用归纳法，对上述定理当 的情况进行证明. 为