组合数学第二章课程.ppt

* 计算机科学与技术学院 * Ramsey定理 核心思想是：“任何一个足够大的结构中必定包含一个给定大小的规则子结构” 1928年英国数学家、哲学家兼经济学家Frank Ramsey(1903-1930) 在伦敦数学会上宣读一篇 “论形式逻辑中的一个问题”的论文，奠定了Ramsey理论的基础。 Ramsey定理已经发展成为Ramsey理论并渗透到诸多研究领域，而且仍然是研究热点问题。 1958年6-7月号美国《数学杂志》上登载着这样一个有趣的问题：“任何一个6人聚会，必有3个人相互认识或者相互不认识”，这个问题实质上就是一个Ramsey问题， * 计算机科学与技术学院 * Ramsey定理 V1 V4 V3 V2 红 红 红 * 计算机科学与技术学院 * Ramsey定理 V1 V4 V3 V2 红 红 红 V1 V4 V3 V2 红 红 红 V1 V4 V3 V2 红 红 红 * 计算机科学与技术学院 * Ramsey定理 dr(v1)≥3? db(v1)≥3 设(v1v2) (v1v3) (v1v4)为红边 设(v1v2) (v1v3) (v1v4)为蓝边 △v2v3v4是红△ ? △v2v3v4是蓝△ ? 设( v2v3 )是蓝边 设( v2v3 )是红边 △v1v2v3是蓝△ △v1v2v3是红△ √ √ Y N N N Y Y v1 v2 v3 v6 v5 v4 判断树 * 计算机科学与技术学院 * Ramsey定理 * 计算机科学与技术学院 * Ramsey定理 * 计算机科学与技术学院 * Ramsey定理 V1 V5 V3 V2 V4 V1 V5 V3 V2 V4 V7 V6 * 计算机科学与技术学院 * Ramsey定理 dr(v1)≥6? db(v1)≥4 设(v1v2)(v1v3)(v1v4)(v1v5)(v1v6)(v1v7)为红边 设(v1v2)(v1v3)(v1v4)(v1v5)为蓝边 由(v2v3v4v5)构成的K4中存在蓝边? 由(v2v3v4v5v6v7)构成的K6中存在蓝△? (v1v2v3v4)构成红K4 设(v2v3v4)是红△ (v1v2v3v4)构成红K4 √ Y N N N Y Y 判断树 K6中存在红△ 设( v2v3 )是蓝边 △v1v2v3是蓝△ * 计算机科学与技术学院 * Ramsey定理 对上面的几个命题进行归纳，可以得出如下定义： 定义 2.5.1 对于任意给定的两个正整数p和q，如果存在最 小的正整数R(p,q)使得当N≥ R(p,q)时，对KN任意进行红、 蓝两边着色，KN中均有红色Kp，或蓝色Kq，则R(p,q)称为 Ramsey数. Ramsey数的简单性质 定理 对任意正整数p，q，有 （1） R(p,q) = R(q, p) （2） R(p,2) =p * 计算机科学与技术学院 * Ramsey定理 * 计算机科学与技术学院 * Ramsey定理 * 计算机科学与技术学院 * Ramsey定理 * 计算机科学与技术学院 * Ramsey定理 * 计算机科学与技术学院 * Ramsey定理 * 计算机科学与技术学院 * Ramsey定理 * 计算机科学与技术学院 * Ramsey定理 计算机科学与技术学院 计算机科学与技术学院 * 计算机科学与技术学院 * 第二章 鸽巢原理和Ramsey定理 2.1 鸽巢原理的简单形式 2.2 鸽巢原理的加强形式 2.3 Ramsey定理 * 计算机科学与技术学院 * 鸽巢原理的简单形式 组合存在性定理 Ramsey定理（鸽巢原理为其最简形式） 偏序集分解定理（Dilworth定理） 相异代表系存在定理（Hall定理） 鸽巢原理是组合学中最简单、最基本原理也叫抽屉原理或狄利克雷原理(Dirichlet(1805-1859)19世纪德国数学家)。 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 注意1，应用时要分清物体与盒子以及物体总数与盒子总数。 注意2，定理只是存在性定理，不能找出具体的物体。 注意3，不能被推广到只存在n个(或更少)物体的情形。 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科学与技术学院 * 鸽巢原理的简单形式 * 计算机科