组合数学 6.pptVIP

并令D={d1, d2}. 显然, D中元素不属于P2, 否则, 与P2中 不存在一元素是某两个元素之差相矛盾. 且 1 ? d1 d2 ? 16. 下面再证明 D 中元素不属于 Pl. 设 则 §1.2 鸽巢原理的加强形式 同理 所以, d1, d2均不属于P1. 因此, D 中元素属于 P3. (3) 根据假设, 在P2中不存在一个元素是另两个元 素之差, 所以d1≠ d2– d1, 令 与(1)类似, e不属于P3; 同(2)可以证明e也不属于P1和 P2, 即存在一整数 1? e ?16, 它不属于P1, P2,和P3中的任何一个, 这与将1到16间的整数任意分成三个部分 的假设相矛盾. §1.2 鸽巢原理的加强形式 作业: P25.习题 8, 14 §1.1 鸽巢原理的简单形式 §1.3 Ramsey 问题与 Ramsey 数 第1章 鸽巢原理 1928 年, 在伦敦数学会年会上, 年仅 24 岁的英国 剑桥大学数学家 F.P. Ramsey 报告了一篇题为《论形 式逻辑中的一个问题》的著名论文, 提出了一个关于 集合论的深刻定理. 这位青年不仅是数学家, 还是杰 出的经济学家和逻辑学家. 可惜他在两年后就去世了, 但他开创的这一新领域至今在理论研究上仍十分活跃, 而且近年来在科学技术领域中获得了卓有成效的应用． 1.3.1 Ramsey 问题 §1.3 Ramsey 问题与 Ramsey 数 在通讯理论中, 人们要画一个图, 用此图表示信道 中的噪音, 图中每一点表示传输的每一个字母,若两个 字母被当作同一个字母接收时, 我们就要在这两个字 母对应的两点之间连接一条边. 这个图称为未混图. 为了使通讯顺利进行, 我们就要在未混图中选出一些 点来, 这些点所代表的字母在通讯中不会被混淆. 这 些点的寻找就要用到 Ramsey 定理. Ramsey 定理是一 个纯存在性定理, 尽管它是鸽巢原理的一种推广, 但 要深刻、艰涩得多. 我们先来看下面的例子. §1.3 Ramsey 问题与 Ramsey 数 1958年6～7月号美国《数学月刊》上登载着这 样一个有趣的问题“任何 6 个人的聚会, 其中总会 有 3 人互相认识或 3 人互相不认识”这就是著名 的 Ramsey问题. 以 6 个顶点分别代表 6 个人, 如果两人相识, 则 在相应的两顶点问连一红边, 否则在相应的两顶点 问连一蓝边, 则上述的 Ramsey 问题等价于下面的 命题: §1.3 Ramsey 问题与 Ramsey 数 命题 1.3.1 对 6 个顶点的完全图 K6 任意进行红、蓝 两边着色, 都存在一个红色三角形或一个蓝色三角形. v1与v2, v3, v4所连的 3 条边均为红色, 如图1.3.1所示. 若v2, v3, v4间有一条 红边, 不妨设为 v2v3 , 则△v1v2v3是一 红色三角形.否则, v2,v3,v4间均为蓝 边, 即△v2v3v4是一蓝色三角形. v1 v2 v3 v4 图1.3.1 证明 设 v1, v2, v3, v4, v5, v6 是 K6 的6 个顶点, v1 与v2, v3, v4, v5, v6所连的5 条边着红色或蓝色. 由鸽巢原理知, 其中至少有 条边同色, 不妨设 §1.3 Ramsey 问题与 Ramsey 数 类似于命题1.3.1, 还有如下的命题1.3.2～1.3.4: 命题 1.3.2 对 6 个顶点的完全图 K6 任意进行红、蓝 两边着色, 都至少有两个同色三角形. 证明 设 v1, v2, v3, v4, v5, v6 是K6的6个顶点, 由命题1.3.1 知,对K6任意进行红、蓝两边着色都有一个同色三角形, 不妨设△v1v2v3是红色三角形. 以下分各种情况来讨论: (1)若 v1v4, v1v5, v1v6均为蓝边, 如图1.3.2 所示, 则若v4, v5, v6 之间有一蓝边, 不妨设为v4v5, 则△v1v4v5为蓝色三角形; 否 则 , △v4v5v6为红色三角形. v1 v2 v3 v4 v5 v6 图1.3.2 §1.3 Ramsey 问题与 Ramsey 数 (2) 若v1v4, v1v5, v1v6中有一红 边, 不妨设v1v4为红边, 此时若边 v2v4, v3v4中有一条红边, 不妨设 v3v4是红边, 则△v1v3v4是一红色 三角形, 见图1.3.3. v1 v2 v3 v4 图1.3.3 以下就v2v4, v3v4均为蓝边的情况对与