《第三节 Ransey问题与Ransey数.pptVIP

§1.3 Ramsey问题与Ramsey数 Contents 《组合数学》 －Chapter 1 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、 Ramsey问题 ——完全图的染色问题 二、 Ramsey数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 一、Ramsey问题——完全图的染色问题 著名的Ramsey 问题： 问题1: 1958年6～7月号美国《数学月刊》上登载着这样一个有趣的问题：“任何6个人的聚会，其中总会有3人互相认识或互相不认识.” 问题2: 1959年美国《数学月刊》第2期又进一步提出：“任何18个人的聚会，其中总会有4人互相认识或互相不认识.” 转化为完全图的染色问题来解决. 定义 有n个顶点且每两个顶点都有一条边的简单图称为n阶完全图，记为Kn . 于是, Ramsey问题1为下面的定理1. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定理1 对6阶完全图K6的边任意涂红、蓝两色, 则必存在一个红色三角形或一个蓝色三角形. 证明 设 是K6的6个顶点, 所连的5条边着红色或蓝色，由鸽巢原理知，其中至少有3条边同色. 不妨设 所连的3条边均为红色,如图所示, 若 间有一条红边,不妨设为 ， 则△ 是一红色三角形. 否则， 间均为蓝边,即△ 是一蓝色三角形. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 显然, 当 时,把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元子集全在第二个盒子里． Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定理2 对9阶完全图K9的边任意涂红、蓝两色，则必存在一个红色(蓝色)的K4 ,或者必存在一个蓝色(红色)的K3. 为了证明定理2先证下面的引理． 引理 对9阶完全图K9的边任意涂红、蓝两色,则必存在一个顶点, 从这点引出的8条线段中, 红色（蓝色）线段或多于3条或少于3条． 证明 用反证法． 如果不存在这样的顶点, 即从每一顶点发出的线段中,红色（蓝色）线段都是三条.现在对9个顶点逐点统计由它们发出的红色（蓝色）线段的条数, 应为27条． 另一方面，若设 K9中实有红色（蓝色）线段总数为m条, 现对这m条边的端点逐点统计由它们发出的红色线段的条数， 由于每条线段有 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 两个端点, 故应有2m条． 由此得出2m=27．这是不可能的． 故引理得证． 证明定理2: 设