浙大城院数学建模8讲述.ppt

图8.3表明，确实存在着只含2个3阶单色完全图的6阶双色完全图 （图8.3） 例8.13 在平面上给定6点，设其中任意3点均构成边长全不相等的三角形，证明在这6点构成的完全图中必存在两个三角形，其中一个三角形的最长边在另一个三角形中却是的最短边。 证明 现用红蓝两种颜色对由此6点组成的完全图的边按如下方式染色：将每一三角形中的最短边染成红色，将其余边染成蓝色。根据 从此6阶双色完全图中必可找出一个同阶单色完全图，由于此三角形中必有最短边，按染色规则，该最短边必被染成红色，故此单色三角形应为红色三角形。 该三角形的最长边被染成了红色，同样根据染色规则，必存在某一个三角形，该最长边在那里却是最短边，此即需证。 命题8.2 7阶2色完全图至少含有4个3阶单色安全图。 证明 根据命题8.1，在由 构成的6阶2色完全图中必包含至少2个3阶单色完全图。 （情况1）如这两个3阶单色完全图（即三角形）有公共的顶点，去除这个公共顶点及与其相关联的边并加入 和 与相关联的边，我们又得到了一个6 阶2色完全图，其中至少也含有2个3阶单色完全 图。显然这两个3阶单色完全图均非原先的那两 个，命题得证。 （情况2）若两个3阶单色完全图没有公共顶点，去除任一顶点及相关边（其中的一个单色三角形将不复存在），加入顶点 及相关边，由 命题8.1，我们必可找出一个新的3阶单色完全 图。这就是说，7阶2色完全图中至少含有3个3阶 单色完全图。由于总共只有7个顶点，从这3个3阶 单色完全图中必可找出两个共顶点的，从而可以 像情况1那样加以证明。 拉姆塞指出r(3,3)=6以后，引起了全世界数学家与计算机科学家的关注。你用两种颜色去给6阶完全图（即图论中所讲的团）的边染色，不论你如何染法，其中必可找出3阶的单色完全图来。多么奇妙的现象，在随意性中也包含着必然性。这不会是孤立的现象，应当还有大量类似的结果。经数十年的不懈努力，人们终于又发现并证明了： r(3,4)=9, r(3,5)=14, r(3,6)=18, r(3,7)=23, r(3,8)=28, r(3,9)=36 r(4,4)=18, r(4,5)=25, r(3,3,3)=17 迄今为止，人们发现的拉姆塞数总共只有上面的十个，要找到新的拉姆塞数已经极为困难。例如，1993年，英国曼彻斯特理工大学的S.P和澳大利亚国立大学的B.D.Mckay用计算机求出r(4,5)=25，其计算量达到了惊人的地步，即使用计算机求解，也得耗费11年的时间。如果采用类似的方法，我们几乎没有希望求得r(5,5), r(5,6),…。 例8.14 17位学者中每人都和其他人通信讨论3个方向的课题。任意两人间只讨论其中一个方向的课题，则其中必可找出3位学者，他们之间讨论的是同一方向的课题. 证明 将每一学者看成一个顶点，作一个17阶完全图。按讨论课题的方向对边染色，相同方向染成同一颜色，得到一个17阶3色完全图。 任取一顶点A，与它相关联的有16条边，其中必能找出6条相同颜色的边，不妨设A与υ1，…，υ6的连线有相同颜色。连接A和6个顶点υ1，…，υ6。如果这6个顶点间也有这种颜色的边，则已找到讨论同一方向课题的三位学者；否则，υ1，…，υ6及连接它们的边构成一个6阶2色完全图，由例1，必可从中找到一个3阶单色完全图，即找出三位讨论同一方向课题的学者。 （例13说明r(3,3,3)≤17，只需再作出一个16阶三色完全图，其中不含3阶单色完全图，我们就完成了r(3,3,3)=17的证明。要作出这样的16阶完全图并非难事，读者可自行给出一个）。 二、奇偶数校验及相关问题 有些结果常可利用奇偶数的差异或类似的性质加以证明，下面我们来考察几个十分简单的实例。 例8.15 拟用40块方形瓷砖铺设如图8.4所示的地面，但商店只有长方形瓷砖，其大小为方形的两块。问购买20块长方形瓷砖后，是否可能不裁开而直接铺好图8.4（（a）、（b））中的地面？ (a) (b) （图8.4） 解 将图8.4中的(a) (b)黑白相间染色。显然，如长方形瓷砖不裁开，只能用来复盖相邻的两格，故复盖的两格必为一白一黑。图11.4(a)中共有21个黑格和19个白格，故不可能直接铺好，图11.4(b)中黑白格各为20个，读者很容易找到直接铺设的方法。 例8.16 设一块m×n的棋盘被若干个形如 的板块恰好盖满，试证明m×n必能被8整除。 证明 显然有4|m×n，故m、n中至少有一个为偶数，不妨设n为偶数，将棋盘按列黑白相间染色，见图8.5（a）由于n为偶