第三节 Ransey问题与Ransey数.ppt

§1.3 Ramsey问题与Ramsey数 Contents 《组合数学》 －Chapter 1 一、 Ramsey问题 ——完全图的染色问题 二、 Ramsey数 一、Ramsey问题——完全图的染色问题 著名的Ramsey 问题： 问题1: 1958年6～7月号美国《数学月刊》上登载着这样一个有趣的问题：“任何6个人的聚会，其中总会有3人互相认识或互相不认识.” 问题2: 1959年美国《数学月刊》第2期又进一步提出：“任何18个人的聚会，其中总会有4人互相认识或互相不认识.” 转化为完全图的染色问题来解决. 定义 有n个顶点且每两个顶点都有一条边的简单图称为n阶完全图，记为Kn . 于是, Ramsey问题1为下面的定理1. 定理1 对6阶完全图K6的边任意涂红、蓝两色, 则必存在一个红色三角形或一个蓝色三角形. 证明 设 是K6的6个顶点, 所连的5条边着红色或蓝色，由鸽巢原理知，其中至少有3条边同色. 不妨设 所连的3条边均为红色,如图所示, 若 间有一条红边,不妨设为 ， 则△ 是一红色三角形. 否则， 间均为蓝边,即△ 是一蓝色三角形. 显然, 当 时,把K6换成 Kn定理的结论显然仍成立. 但当n=5时,定理的结论就不一定成立了.例如对下图所示的 实边涂红色, 虚边涂蓝色, 既无红色的三角形，也无蓝色的三角形． 所以,6为结论成立的最小数. 这个最小数称为Ramsey数,记为N(3,3;2)，即N(3,3;2)=6. 定理1 我们还可叙述为： S为n元集合,当n≥6时,把S的所有2元子集放入两个盒子,则或者有3个元素其所有2元子集全在第一个盒子里，或者有3个元素其所有2元子集全在第二个盒子里． 定理2 对9阶完全图K9的边任意涂红、蓝两色，则必存在一个红色(蓝色)的K4 ,或者必存在一个蓝色(红色)的K3. 为了证明定理2先证下面的引理． 引理 对9阶完全图K9的边任意涂红、蓝两色,则必存在一个顶点, 从这点引出的8条线段中, 红色（蓝色）线段或多于3条或少于3条． 证明 用反证法． 如果不存在这样的顶点, 即从每一顶点发出的线段中,红色（蓝色）线段都是三条.现在对9个顶点逐点统计由它们发出的红色（蓝色）线段的条数, 应为27条． 另一方面，若设 K9中实有红色（蓝色）线段总数为m条, 现对这m条边的端点逐点统计由它们发出的红色线段的条数， 由于每条线段有 两个端点, 故应有2m条． 由此得出2m=27．这是不可能的． 故引理得证． 证明定理2: 设 是构成K9的9个顶点, 由引理其中必有一点 不妨设为 ， 从这一点引出的8条线段中, 蓝色线段或多于3条， 或少于3条. 对这两种情况分别讨论如下： (1) 从v0引出的8条线段中, 蓝色线段多于3条, 即至少有4条， 不妨设 为蓝色线段, 点所构成的完全图K4， 若这个K4中没有一条线段是蓝色的,则 再看由 四个 这个K4就是一个红色的完全四边形.若这个K4至少有一条蓝边,则它的两个端点连同v0便构成一个蓝色三角形； 即结论成立． 定理2 对9阶完全图K9的边任意涂红、蓝两色，则必存在一个红色(蓝色)的K4 ,或者必存在一个蓝色(红色)的K3. (2) 从v0引出的8条线段中,蓝色线段少于3条，即至多有2条． 这时, 从v0引出的红色线段就会至少有6条，不妨设为 再看由 这6个点构成的K6， 由定理1可知 这个K6必有一个同色三角形. 若是红色的,则这个红色三角形 的顶点连同v0一起便构成一个红色的完全四边形K4. 即结论成立． 综合以上两种情况，定理2得证． 若是蓝色的, 这个三角形即为蓝色的K3 . 显然, 当 时,把K9换成 Kn定理的结论显然仍成立. 但当n=8时,定理的结论就不一定成立了.例如对下图所示的 实边涂红色, 虚边涂蓝色, 既无红色的完全四