组合数学抽屉原理.docx

PAGE 123抽屉原理和 PAGE 123 抽屉原理和 Ramsey 理论 第五章 PAGE 124抽屉原理和 PAGE 124 抽屉原理和 Ramsey 理论 第五章 第五章 抽 屉 原 理 和 Ramsey 理 论 抽屉原理又称鸽巢原理或重叠原理， 是组合数学中两大基本原理之一，是一个极其初等而又应用较广的数学原理。其道理并无深奥 之处，且正确性也很明显。但若能灵活运用，便可能得到一些意料 不到的结果。 抽屉原理要解决的是存在性问题，即在具体的组合问题中，要计算某些特定问题求解的方案数，其前提就是要知道这些方案的存在性。 1930 年英国逻辑学家 F. P. Ramsey 将这个简单原理作了深刻推广，即 Ramsey 定理，也被称为广义抽屉原理。它是一个重要的组合定理，有许多应用。 抽 屉 原 理 （一）基本形式 定理 5.1.1 （ 基本形式 ）将 n＋1 个物品放入 n 个抽屉，则至少有一个抽屉中的物品数不少于两个。 证 反证之。将抽屉编号为： 1,2, ,n，设第 i 个抽屉放有 qi 个物 品，则 q 1 q 2 q n n 1 但若定理结论不成立，即 q i 1 ，即有 q1 q2 qn ≤n，从而有 矛盾。 n 1 q1 q2 qn n 例 5.1.1 一年 365 天，今有 366 人，那么，其中至少有两人在同一天过生日。 注：与概率的 区别：抽屉原理讲的是所给出的结论是必然成立的， 即 100% 成立。而概率反映的是不确定性现象发生的可能性问题， 不讨论 100% 成立的确定性概率问题。 P生日悖论 ：随机选出 n 个人， 则其中至少有二人同一天出生的概率为 P Pn A =1 n 365 365 n 特例： P23 A =50.73%， P100 A =99.99997% 例 5.1.2 箱子中放有 10 双手套，从中随意取出 11 只，则至少有两只是完整配对的。 （二）推广形式 定理 5.1.2 （推广形式）将 q1 q 2  q n n  1个物品放入 n 个抽 屉，则下列事件至少有一个成立： 即第 i 个抽屉的物品数不少于 qi 个。 （证） 反证。不然，设第 i 个抽屉的物品数小于 qi （ i＝ 1,2, ,n） (即该抽屉最多有 qi n qi n 1个物品 )，则有 n 1＝物品总数≤ qi 1  n qi n i 1 i 1 i 1 与假设矛盾。 q1 q2 qn n 1= q1 1 q2 1 qn 1 1 （三）特例 推论 1 将 n(r － 1)＋1 个物品放入 n 个抽屉，则至少有一个抽屉中物品个数不少于 r 个。 推论 2 将 m 个物品放入 n 个抽屉，则至少有一个抽屉中物品个 数不少于 m 1 n 1 ＝ m 个。其中 x 表示取 x 的整数部分， x 表 n 示不小于 x 的最小整数。 推论 3 若 n 个正整数 qi q1 i 1,2, q 2 n n 满足 qn r 1 则至少存在一个 qi ，满足 qi r 。 （四）例 例 5.1.3 有 n 位代表参加会议， 若每位代表至少认识另外一个代表，则会议上至少有两人认识的人数相同。 (证) 设某代表认识的人数为 k 个，则 k 1,2, , n 1 （视为 n－ 1 个抽屉）。而会议上有 n 个代表， 故每位代表认识的人数共为 n 个数 （视为 n 个物品）。那么，由基本定理，结论成立。 例 5.1.4 任意一群人中，必有两人有相同数目的朋友。 (证) 设有 n 个人 n 2 ，分三种情形讨论： 每人都有朋友，由例 5.1.3 即知结论成立； 只有一人无朋友，余下的 n－1 人都有朋友，由 (1)知此 n－ 1 人中必有两人有相同数目的朋友； 有两人或两人以上的人无朋友，则朋友数为零的人已经有两个了，同样满足条件。 例 5.1.5 边长为 2 的正方形内有 5 个点，其中至少有两点，距离 不超过 2 。 (证) 首先制造抽屉： 将原正方形各对边中点相连， 构成 4 个边长为 1 的小正方形（见图 5.1.1(a)），视为抽屉。其次，由基本原理， 至少有一个小正方形里点数不少于 2。最后，从几何角度可以看出， 同一小正方形内的两点的距离不超过小正方形的对角线之长度 2 ， 证毕。 * * * * * * * * * * 图 5.1.1 抽屉的选择 注意，如果抽屉选择不当，可能于事无益。如图 5.1.1(b)，将正方形分为 4 个直角边长为 2 的等腰直角三角形是达不到目的的。 应 用 例 5.2.1 任意三个整数，必有两个之和为偶数（其差也为偶数） 。 (证) 制造两个抽屉：“奇数”和“偶数” ， 3 个数放入两个抽屉， 必有一个抽屉中至少有两个数，由整