- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2020/10/7
W1 W2 W3 W4 W5 W11 W12 W13 W14 W15 W6 W7 W8 W9 W10
20
S10
方案的最优性
满足目标要求: 任取 10 个工作站. 如果恰好为 W1,W2,…,W10,Wi 访问 Si,i=1,…10, 满足要求; 如果 W1-W10 中只选中 k 个工作 站,不妨设为 W1--Wk, 剩下的 10-k 个选自 W11-W15. 那 么 Wi 访问 Si,i=1,…,k. 还剩下 10-k 个服务器空闲,恰好 分配给 10-k 个工作站.
保证这组工作站可以同时访问不同的服务器.
问题:达到这个目标需要的最少缆线数目 N 是多少?
方案 1:每个工作站都连到每个服务器,需要
1015=150
2020/10/7
根缆线,N 150.
例11的解决方案
方案 2 将工作站标记为 W1,W2, …, W15, 服务器标记为 S1,S2, …, S10. 对于 k=1,2,…,10,我们连接 Wk 到 Sk, 剩下 5 个工作站的每一个都连接到 10 个服务器 总共 60 条直接连线.
2020/10/7
简单Ramsey定理的推广
(1) R(p,q)的集合表述:
Kn 的顶点集 V
集合 S
Kn 的边集 E
S 的 2 元子集的集合 T
用 2 色涂色 Kn 的边 将 T 划分成 E1,E2
存在蓝色完全 p 边形 存在 S 的 p 子集,其所有 2 元子集E1
存在红色完全 q 边形 存在 S 的 q 子集,其所有 2 元子集E2
对于 K8,存在一种涂色方案, 既没有蓝色三角形,也没有红 色完全四边形.
R(3,4)=9.
2020/10/7
Ramsey数的性质
(1) R(a,b)=R(b,a), R(a,2) = R(2,a)=a (2) R(a,b) R(a-1,b) + R(a,b-1) 性质(2)给出上界
9 = R(3,4) R(2,4) + R(3,3) = 4 + 6 = 10 18 = R(4,4) R(3,4) + R(4,3) = 9 + 9 = 18 25 = R(4,5) R(3,5) + R(4,4) = 14 + 18 = 32 R(3,10) = R(2,10) + R(3,9) = 10 + 36 = 46 R(3,10) 43
例 12 通信噪音干扰
混淆图 G=<V,E>,V 为有穷字符集,
{u,v}E u 和 v 易混淆.
0(G):点独立数,最大不混淆字符集大小 编码是字符串的集合
xy 与 uv 混淆 x 与 u 混淆且 y 与 v 混淆
x=u 且 y 与 v 混淆
x 与 u 混淆且 y=v
V1V2 的混淆图是两个混淆图 G 与 H 的正规集 GH
2020/10/7
6562 322307 500538 3231 5957 8179 8493,159153 242236
Ramsey定理的应用
例 10 对于任意 m3, mZ+, 存在正整数 N(m),使得当 nN(m)时,若平面的 n 个点没有三点共线,其中总 有 m 个点构成一个凸 m 边形的顶点
定理 3 设 r,k1,qir,i=1,2,…,k,是给定正整数,则存在一个 最小的正整数 R(q1,q2,…,qk;r),使得当 nR(q1,q2,…,qk;r)时,当 n 元集 S 的所有 r 元子集划分成 k 个子集族 T1, T2, …,Tk,那么 存在 S 的 q1 元子集 A1, 其所有的 r 元子集属于 T1, 或者存在 S 的 q2 元子集 A2,A2 的所有 r 元子集属于 T2, …, 或者存在 S 的 qk 元子集 Ak, 其所有的 r 元子集属于 Tk.
2020/10/7
引理1的证明
引理 1 平面上任给 5 点, 没有 3 点共线, 则必有 4 点是凸 4 边形的顶点.
证 做最大的凸多边形 T. 如果 T 是 4 边形或 5 边形,则 命题为真. 如果为 3 边形,则 3 边形内存在 2 点,与过 这 2 点的直线一侧的另外 2 点构成凸 4 边形.
结论:N60. 证明 N60.
假设在工作站和服务器之间缆线至多 59 条.那么某个服务 器将至多连接 59/10 = 5 工作站.如果选择剩下的 10 个 工作站作为一组,那么只有 9 个空闲的服务器,必有 2 2020/10/7 个工作站连接同一服务器. 与题目要求矛盾.
用组合存在性定理解决实际问题(续)
2020/10/7
引理2的证明
引理 2 平面上 m 个点,若没有 3 点共线且任 4 点都是凸 4 边形 的顶点,则这 m 个点构成凸 m 边形的顶点.
证:假设最大的凸多边形是 p 边形,p<m. 则必有点落入这个多 边形内部. 将这个多边形划分成三角形,必有点落入某个三 角形,这个三角形的顶点与内部的点构成凹 4 边形.与已知矛 盾.
2020/10/7
R(p,q,r)的存在性证明
证明 R(p,q;r)存在:多重归纳法 (1)证明归纳基础
R(p,r;r)=p, R(r,q;r)=q, R(p,q;1)=p+q1. (2)归纳步骤 假设 R(p’,q’;r’)存在,
r’=r1, p’=p1, q’=q1, p1,q1 任意 p’=p1, q’=q, r’=r p’=p, q’=q1, r’=r 令 n = R(p1,q1;r1)+1 = R(R(p1,q;r),R(p,q1,r);r1)+1
2020/10/7
命题证明
证 不妨设 m>3,令 n R(5,m;4),S 为 n 个点的集合. 将 S 的所有的 4 元子集划分成两个子集族. 如果构成
凹 4 边形,放到 T1, 如果构成凸 4 边形,则放到 T2. 根据 Ramsey 数定义,或有 5 个点,其所有 4 元子集
都构成凹 4 边形;或有 m 个点,其所有的 4 子集都构成 凸 4 边形.
Ramsey定理
• Ramsey定理的简单形式 两个简单命题 Ramsey定理 小Ramsey数的有关结果 Ramsey数的性质 Ramsey定理的推广
• Ramsey定理的一般形式 Ramsey定理 关于一般Ramsey数的结果
• Ramsey定理的应用
2020/10/7
Ramsey定理的简单形式
两个简单的命题
命题 1: 用红蓝两色涂色 K6 的边,则或有一个红色 K3, 或有 一个蓝色 K3
R(3,3)=6 命题 2: 用红蓝两色涂色 K9 的边,则或有一个红色 K4,或有 一个蓝色 K3.
2020/10/7
命题2的证明
证:存在一个顶点关联 4 条蓝边或者 6 条红边. 否则蓝边数<4, 红边数<6,则蓝 边总数至多 (39)/2=13,红边总数至多,(59)/2=22,总共 35 条边,与 K9 边为 36 矛盾. 设 v1 关联 4 条蓝边,若对应 4 个顶点没有蓝边,则构成红 K4;有 1 条蓝边, 则构成兰 K3 . 设 v1 关联 6 条红边,对应 6 个顶点必有蓝 K3 或红 K3.
2020/10/7
关于一般性Ramsey数的说明
R(q1,q2,…,qk;r) (1) 条件:r,k1,qir,i=1,2,…,k,都是给定正整数 (2) 当 r=2 时,可以简记为 R(q1,q2,…,qk) (3) Ramsey 定理断定 Ramsey 数的存在性.
Ramsey 数的确定是一个很困难的问题. (4) r=1,是鸽巢原理,R(q1,q2,…,qk;1)=q1+q2+…+qk-k+1
实例: m=3, N(m)=N(3)=3, m=4, N(m)=N(4)=5, N(m) R(5,m;4)
引理 1 平面上任给 5 点, 没有 3 点共线, 则必有 4 点是凸 4 边形的顶点.
引理 2 平面上 m 个点,若没有 3 点共线且任 4 点都是凸 4 边形的顶点,则这 m 个点构成凸 m 边形的顶点.
r=2,k=2,是简单的 Ramsey 定理. 结果:9 个 Ramsey 数的精确值,部分上界、下界 r=2,k=3,只有一个精确值 R(3,3,3)=17
2020/10/7
一般性Ramsey数的上下界
51 R(3,3,3,3) 62 162 R(3,3,3,3,3) 307 538 R(3 3 3 3 3 3) 1838 30 R(3,3,4) 31 45 R(3,3,5) 57 55 R(3,4,4) 79 93 R(3,3,3,4) 153 128 R(4,4,4) 236
集合表述具有更强的表达能力.
(2) 将 2 元子集推广到 r 元子集
(3) 将 T 划分成 E1,E2,…,Ek
2020/10/7
Ramsy定理的一般情况
定理 2. 对于任意给定的正整数 p,q,r, (p,qr)存在一个最小 的正整数 R(p,q;r)使得当集合 S 的元素数大于等于 R(p,q;r)时将 S 的 r 子集族任意划分成 E1,E2,则或者 S 有 p 子集 A,A 的所 有 r 元子集属于 E1, 或者存在 q 子集 B,B 的所有 r 元子集属于 E2.
若为前者,与引理 1 矛盾. 若为后者,根据引理 2, 这 m 个点构成凸 m 边形的顶点.
2020/10/7
用组合存在性定理解决实际问题
例 11 最少连接缆线问题
条件:15 台工作站和 10 台服务器.
每个工作站可以用一条电缆直接连到某个服务器.
同一时刻每个服务器只能接受一个工作站的访问.
目标:任何时刻,任意选一组工作站 w1,w2,…,wk,k10.
定理 0(GH) R(0(G)+1,0(H)+1)1 实例:|G|=5, 0(G)=3, 0(GG) R(0(G)+1,0(G)+1)1