第二章节鸽巢原理幻灯片.pptVIP

推论 K9 的边用红蓝两色任意着色，则必有一个红色K4或一个蓝色K3 ，或者，必有一个蓝色K4或一个红色K3 引理：存在一个顶点vi至少关联4条蓝边或者6条红边 证明： 不妨设 db(v1) ≥4，可得如下判断树证明结论: 证明 db(v1)≥4? dr(v1)≥6 设(v1v2) (v1v3) (v1v4)(v1v5)是4条蓝边 设(v1v2) ··· (v1v7)是6条红边 K4(v2v3v4v5)是红K4 ? 设(v2v3)是蓝边 △v1v2v3是蓝△ 设△v2v3v4是红△ K4(v1v2v3v4)是红K4 √ √ Y Y Y N N N K6(v2···v7)中有蓝△ ? 问题 对于K8，是否存在一种涂色方案，使得必有一个红K4或一个蓝色K3 ？？ K8 → K4 ， K3？？ 复习 Ramsey定理： 在6个（或更多的）人中，或者有3个人，他们中的每两个人都互相认识；或者有3个人，他们中的每两个人都互相不认识 K6 的边用红蓝两色任意着色，则必有一个红K3或蓝K3 K9 的边用红蓝两色任意着色，则必有一个红色K4或一个蓝色K3 ，或者，必有一个蓝色K4或一个红色K3 K6?K3, K3 思考 K18的边用红蓝两色任意着色，则必有一个红K4或一个蓝色K4 证明：设18个顶点为v1 , v2 , ··· , v18 ，那么从v1引出的17条边至少有９条是同色的。 不妨先假定为红色，从而可得下面的判断树证明命题 证明 dr(v1)≥9？ db(v1)≥9 设(v1v2) ··· (v1v10)是红边 K9(v2 ··· v10)中有蓝K4？ K10( v1v2 ···v10)中有红K4 K9(v2 ··· v10)中有红K4？ K10( v1v2 ···v10)中有蓝K4 Y N 设(v1v2) ··· (v1v10)是蓝边 Y √ N 设△v2v3v4是红△ Y √ N 设△v2v3v4是蓝△ Ramsey定理的一般形式 如果m≥2，n≥2是两个整数，则存在一个正整数p，使得Kp?Km, Kn 给定一个m和n，存在一个正整数p,使得如果Kp的边被涂成红色或蓝色，那么或者有一个红色的Km，或者有一个蓝色的Kn 命题：如果Kp?Km, Kn，对q≥p， Kq?Km, Kn 亦成立！ Ramsey数 Ramsey数r(m, n)是使得Kp?Km, Kn成立的最小p 例如：r(3,3)=6，r(3,4)=9，r(4,4)=18 问题 r(2,n) = ?? r(2,n) = n 把Kn 的边或者涂成红色或者涂成蓝色，那么，或者Kn的某条边是红色的（得到一个红K2），或者Kn所有的边都是蓝色的（得到一个蓝Kn ） —— r(2,n) ≤n 如果把Kn-1的边都涂成蓝色，则既得不到红K2，也得不到蓝Kn —— r(2,n) n-1 r(m,2)=?? r(m,2)=m r(m,n) = r(n,m) 已探明的Ramsey数或它的界 Ramsey定理的更一般形式 把两种颜色，推广到n种颜色： 对m1≥2， m2≥2，……， mk≥2这k个都是整数，存在p，使得Kp?Km1, Km2, ……Kmk成立 即：存在一个整数p，如果Kp的每条边都涂为c1,…,ck等k种颜色之一，那么或者存在一个颜色为c1的Km1，或者,……,或者存在一个颜色为ck的Kmk r(3,3,3) = 17 Ramsey定理的更更一般形式 给定整数t ≥ 2，对m1 ≥ t， m2 ≥ t，……， mk ≥ t这k个都是整数，存在p，使得Kp?Ktm1, Ktm2, ……Ktmk成立。其中， Ktm表示m个元素的集的t个元素的子集的集合 即：存在p个元素的集，如果将集合的每一个t子集涂为c1,…,ck等k种颜色中的一种，那么或者存在m1个元素，这些元素的t子集都被涂为c1色，或者,……,或者存在mk个元素，这些元素的t子集都被涂为ck色 Ramsey数：rt(m1,……,mk) 命题推广 存在一个集合S，如果将集合的每一个t子集分为c1,…,ck等k类中的一种，那么只要|S| ≥ rt(m1,……,mk) ，就满足：或者存在m1个元素，这些元素的t子集都是c1类，或者,……,或者存在mk个元素，这些