Ramsey定理 北京大学计算机系离散数学讲义(ppt版)
第9讲 函数 北京大学计算机系离散数学讲义(ppt版)

2020/9/26
《集合论与图论》第9讲
12
例2(解(2))
例2: (2) A2={a,b,c}, B2={1,2}, 解: (2) A2B2中无单射,无双射,满射6个:
f1={<a,1>,<b,1>,<c,2>}, f2={<a,1>,<b,2>,<c,1>}, f3={<a,2>,<b,1>,<c,1>}, f4={<a,1>,<b,2>,<c,2>}, f5={<a,2>,<b,1>,<c,2>}, f6={<a,2>,<b,2>,<c,1>}.
2020/9/26
《集合论与图论》第9讲
26
定理3(证明)
证明: (2) dom(f○g) = A. 显然dom(f○g)A,下证Adom(f○g),
x, xA !y(yBxgy) !y!z(yBzCxgyyfz) !z(zCx(f○g)z) xdom(f○g).
2020/9/26
《集合论与图论》第9讲
第9讲 函数
内容提要 函数,偏函数,全函数,真偏函数 单射,满射,双射,计数问题 象,原象 常数函数,恒等函数,特征函数,单调函数,
自然映射 合成(复合),反函数,单边逆(左逆,右逆) 构造双射(有穷集,无穷集)
2020/9/26
《集合论与图论》第9讲
1
函数(function),映射(mapping)
2020/9/26
《集合论与图论》第9讲
21
特殊函数
常数函数: f:AB, bB, xA, f(x)=b
《离散数学概述》PPT课件

同 子代数 种
的 积代数 同
类 商代数 型
的 新代数系统
22
半群与群
广群 二元运算的封闭性
结合律
半群
交换律
交换半群
单位元 交换律
独异点
每个元素可逆 交换律
群
交换独异点 实例
Abel群
生成元
Klein群 循环群
有限个元素
有限群
编辑ppt
实例
n元置换群
23
图论
图论是离散数学的重要组成部分,是近代应用数学的重要分支。
由于在计算机内,机器字长总是有限的, 它代表离散的数或其
它离散对象,因此随着计算机科学和技术的迅猛发展,离散数
学就显得重要。
编辑ppt
5
离散数学的内容
数理逻辑: “证明”在计算科学的某些领域至关重要,构 造一个证明和写一个程序的思维过程在本质上是一样的。
组合分析:解决问题的一个重要方面就是计数或枚举对象。
编辑ppt
20
代数系统
近世代数,……,是关于运算的学说,是关于运算规则 的学说,但它不把自己局限在研究数的运算性质上,而 是企图研究一般性元素的运算性质。
——M.Klein
数学之所以重要,其中心原因在于它所提供的数学系统 的丰富多彩;此外的原因是,数学给出了一个系统,以 便于使用这些模型对物理现实和技术领域提出问题,回 答问题,并且也就探索了模型的行为。
1736年是图论历史元年,因为在这一年瑞士数学家欧拉(Euler) 发表了图论的首篇论文——《哥尼斯堡七桥问题无解》,所以人
们普遍认为欧拉是图论的创始人。
1936年,匈牙利数学家寇尼格(Konig)出版了图论的第一部专 著《有限图与无限图理论》,这是图论发展史上的重要的里程碑 ,它标志着图论将进入突飞猛进发展的新阶段。
北大离散数学ppt课件

|A1A2…An| = n1n2…nn. n维卡氏积性质与2维卡氏积类似.
19
n维卡氏积(性质)
非交换: ABCBCA (要求A,B,C均非空,且互不相等)
非结合: (非2元运算) 分配律: 例如
AB(CD)=(ABC)(ABD) 其他: 如 ABC=A=B=C=.
第5讲 二元关系的基本概念 北京大学
内容提要 1. 有序对与卡氏积 2. 二元关系 3. 二元关系的基本运算
1
有序对与卡氏积
有序对(有序二元组) 有序三元组, 有序n元组 卡氏积 卡氏积性质
2
有序对(ordered pair)
有序对: <a,b> = { {a}, {a,b} }
<3,1>,<3,2>,<3,3> }B BA (除非 A=B A= B=)
非结合: (AB)C A(BC) (除非 A= B= C=)
分配律: A(BC) = (AB)(AC)等 其他: AB= A=B=等
10
卡氏积非交换性
非交换: AB BA (除非 A=B A= B=)
反例: A={1}, B={2}. AB={<1,2>}, BA={<2,1>}.
11
卡氏积非结合性
非结合: (AB)C A(BC) (除非 A= B= C=)
反例: A=B=C={1}. (AB)C={<<1,1>,1>}, A(BC)={<1,<1,1>>}.
12
卡氏积分配律
1. A(BC) = (AB)(AC) 2. A(BC) = (AB)(AC) 3. (BC)A = (BA)(CA) 4. (BC)A = (BA)(CA)
ramsey定理

ramsey定理
拉姆齐定理(Ramsey定理)又称为“拉姆齐集定理”或“小集定理”,是数学家拉姆齐1930年 Publ.London Math. Soc. 7: 98–114所推出的一种定理,它被视为一种重要的命题技巧,可以广泛应用于数学各个领域,如集合论,图论,拓扑学和概率论等。
拉姆齐定理是一种重要的图定理,它给出了一种关系映射,它可以用来描述图对象(如网络,道路或位置)之间的关系。
拉姆齐定理的核心是图的染色法,也就是在给定的图中,如何将顶点集应用一种颜色来标记它们之间的关系,以此解决一些复杂的问题。
它给了数学家们一种更有效的方法,来研究带有复杂联系的一般图中的某些问题。
拉姆齐定理的定义如下:
设N> 0是一个整数,k>= 2是一个正整数,则有:如果 G=(V,E)是一个 N顶点图,那么G一定存在K个不相交的着色,也就是说,存在K个颜色 P1,P2,…,PK,满足:
∀i, ∃Vi⊆V,其中包含的任何两个顶点之间都不存在一条边,而且Vi是所有顶点的着色,即任何两个 Vi 中的顶点都用Pi进行着色。
简而言之,拉姆齐定理就是说,如果一个图有N个节点,那么它可以在有限的步骤中被分割为K个不相交(相互独立)的子集或子图。
拉姆齐定理是证明程序思维和模型设计中一个非常有用的工具,它能够帮助我们简化复杂的模型,这样可以更容易地理解和分析数据。
此外,它还可以用于定义集合的性质,它也被广泛用于概率论中的概率算法和随机化算法,因此在数据挖掘和机器学习算法中也得到了大量应用。
《离散数学讲义》课件

离散概率分布是描述随机事件在有限或可数无限的可 能结果集合中发生的概率的数学工具。
离散概率分布的种类
常见的离散概率分布包括二项分布、泊松分布、几何 分布等。
离散概率分布的应用
离散概率分布在统计学、计算机科学、物理学等领域 都有广泛的应用。
参数估计和假设检验
参数估计
参数估计是根据样本数据推断总体参数的过 程,包括点估计和区间估计两种方法。
假设检验
假设检验是用来判断一个假设是否成立的统计方法 ,包括参数检验和非参数检验两种类型。
参数估计和假设检验的应 用
在统计学中,参数估计和假设检验是常用的 数据分析方法,用于推断总体特征和比较不 同总体的差异。
方差分析和回归分析
方差分析
方差分析是一种用来比较不同组数据的平均值是否存在显著差异 的统计方法。
《离散数学讲义》ppt课件
目 录
• 离散数学简介 • 集合论 • 图论 • 离散概率论 • 逻辑学 • 离散统计学 • 应用案例分析
01
离散数学简介
离散数学的起源和定义
起源
离散数学起源于17世纪欧洲的数学研 究,最初是为了解决当时的一些实际 问题,如组合计数和图论问题。
定义
离散数学是研究离散对象(如集合、 图、树、逻辑等)的数学分支,它不 涉及连续的变量或函数。
联结词:如与(&&)、或(||)、非(!)等,用 于组合简单命题。
03
04
命题公式:由简单命题通过联结词组合而 成的复合命题。
命题逻辑的推理规则
05
06
肯定前件、否定后件、析取三段论、合取 三段论等推理规则。
谓词逻辑
个体词
表示具体事物的符号。
第2讲 一阶逻辑基础 北京大学计算机系离散数学讲义(ppt版)_296

2020/6/16
《集合论与图论》第2讲
17
合式公式中的变项
量词辖域: 在xA, xA中, A是量词的辖 域. 例如: x(F(x)y(G(y)H(x,y)))
指导变项: 紧跟在量词后面的个体变项. 例如: x(F(x)y(G(y)H(x,y)))
约束出现: 在辖域中与指导变项同名的变 项. 例如: x(F(x)y(G(y)H(x,y)))
2020/6/16
《集合论与图论》第2讲
11
命题符号化(举例、续)
例: “存在最小的自然数”。 解1: 设: F(x): x是自然数; G(x,y): xy; 原命题符号化成: x(F(x)y(F(y)G(x,y))) 解2: 采用全体自然数作为个体域. 设: G(x,y): x<y; 原命题符号化成: xyG(x,y)
《集合论与图论》第2讲
14
命题符号化(举例、续)
例: “有的汽车比火车快”。 解: 设: F(x): x是汽车; G(x): x是火车; H(x,y): x比y快 原命题符号化成: x(F(x)y(G(y)H(x,y))) 或: xy(F(x)G(y)H(x,y))
2020/6/16
《集合论与图论》第2讲
!x(F(x)I(x,0))
2020/6/16
《集合论与图论》第2讲
5
个体常项(constant)
表示具体的特定对象 用小写英文字母a,b,c,…来表示 例如: a:王大明,b:王小明,
G(x,y): x与y是兄弟, “王大明与王小明是兄弟”: G(a,b)
2020/6/16
《集合论与图论》第2讲
第2讲 一阶逻辑基础
内容提要 1. 量词、谓词、个体词、命题符号化 2. 合式公式、解释、永真式 3. 一阶逻辑等值式 4. 一阶逻辑推理规则
第16讲 连通度 北京大学计算机系离散数学讲义(ppt版)

《集合论与图论》第16讲
2
如何定义连通度
点连通度: 为了破坏连通性,至少需要删 除多少个顶点?
边连通度: 为了破坏连通性,至少需要删 除多少条边?
说明: “破坏连通性”指 p(G-V’)>p(G), 或p(G-E’)>p(G),即“变得更加不连通”
2021/4/26
《集合论与图论》第16讲
3
g
a
f k
hb ef
g
k
h
dj
i
G1
cd j
i
G2
《集合论与图论》第16讲
6
割点(cut-point / cut-vertex)
割点: v是割点 {v}是割集 例: G1中f是割点, G2中无割点
a be
c
2021/4/26
g
a
f k
hb ef
g
k
h
dj G1
i
cd j
G2
《集合论与图论》第16讲
《集合论与图论》第16讲
11
点连通度(vertex-connectivity)
点连通度: G是无向连通非完全图, (G) = min{ |V’| | V’是G的点割集 }
规定: (Kn) = n-1, G非连通: (G)=0 例: (G)=1, (H)=2, (F)=3, (K5)=4
G
H
F
2021/4/26
《集合论与图论》第16讲
34
定理13
定理13: G是n阶简单连通无向非完全图,
则称V’为点割集. 说明: “极小性”是为了保证点割集概念
的非平凡性
2021/4/26
《集合论与图论》第16讲
离散数学讲义ppt课件

课程概况
教材:
《离散数学(第三版)》,耿素云等编著 清华大学出版社,2004年3月
参考书:
(1) 《离散数学(第二版)》及其配套参考书《离散 数学题解》作者:屈婉玲,耿素云,张立昂 清华大学出版社
(2) 《离散数学》焦占亚主编 电子工业出版社 2005年1月
2
课程概况
选修课/必修课:选修 周学时:3(学时) 上课周:1-16周 总学时:48(学时)
3
课程内容及学时安排
第一篇 数理逻辑(14学时)
第一章 命题逻辑(8) 第二章 谓词逻辑(6)
第二篇 集合论(12学时)
第三章 集合(4) 第四章 二元关系与函数(8)
第四篇 图论(14学时)
第七章 图论(8) 第八章 一些特殊图(4) 第九章 树 (2)
4
课程考核
第四篇 代数系统(8学时)
第5、6章 图论(8)
所以,伊勒克持拉既知道并且又不知道这个人是她的 哥哥。
20
NO.3 M:著名的理发师悖论是伯特纳德·罗素提出的。一个理发 师的招牌上写着: 告示:城里所有不自己刮脸的男人都由我给他们刮脸,我 也只给这些人刮脸。 M:谁给这位理发师刮脸呢? M:如果他自己刮脸,那他就属于自己刮脸的那类人。但 是,他的招牌说明他不给这类人刮脸,因此他不能自己来 刮。 M:如果另外一个人来给他刮脸,那他就是不自己刮脸的 人。但是,他的招牌说他要给所有这类人刮脸。因此其他 任何人也不能给他刮脸。看来,没有任何人能给这位理发 师刮脸了!
P
Q
PQ
P
0
0
0
1
0
1
0
1
1
0
0
0
1
1
1
第三节 Burnside引理 北京大学计算机系离散数学讲义(ppt版)

的文字涂同色的方案数,即 c1(k ) mc(k ) . (4) 代入 Burside 引理得
因此 f(Zk)= (k)=t.
Burnside引理
设 N={1,2,…,n}, G 是 N 上置换群. 令 G={1,2,…,g}, c1(k)是k 的轮换表示中 1-轮换的个数, M 为不同的轨道个数,则
M
|
1 G
|
g
c1(k
k 1
)
2020/6/16
证明
证:c1(k)是k 的作用下保持不变的 N 中元素数。做下表
2020/6/16
Burnside引理的应用
例 1 用 2 色涂色 22 方格棋盘,则方案数为 16
作用在 16 个方案上的置换群 G={1,2,3,4}, 1=(1) 2=(1) (2) (3 4 5 6) (7 8 9 10) (11 12) (13 14 15 16) 3=(1) (2) (3 5) (4 6) (7 9) (8 10) (11) (12) (13 15) (14 16) 4=(1) (2) (6 5 4 3) (10 9 8 7) (11 12) (16 15 14 13)
M 1 (16 2 4 2) 6 4
2020/6/16
应用(立方体涂色)
例 3 涂色立方体使得各个面颜色不同的方案数。 解:以过一对面的轴
旋转 0 度:1 个 旋转 90 度,270 度:6 个 旋转 180 度:3 个 以过一对顶点的轴 旋转 120 度,240 度:8 个 以过一对棱的的轴 旋转 180 度:6 个 |G|=24, M=1/24 6! =30
定理证明(续)
(3) 证 c1(k ) mc(k ) k=(• • … •) (• • … •) … (• • … •) 属于同一个轮换的文字涂同色的方案在 k 作用下不变; 属于同一个轮换的文字不涂同色,则相邻的文字不同色, 那么在 k 作用下变成不同的方案.
图论数学:拉姆齐(Ramsey)定理

图论数学:拉姆齐(Ramsey)定理拉姆齐(Ramsey)定理是要解决以下的问题:要找这样⼀个最⼩的数n,使得n个⼈中必定有k个⼈相识或l个⼈互不相识我们所知道的结论是这样的6 个⼈中⾄少存在3⼈相互认识或者相互不认识。
该定理等价于证明这6个顶点的完全图的边,⽤红、蓝⼆⾊任意着⾊,必然⾄少存在⼀个红⾊边三⾓形,或蓝⾊边三⾓形HDU6152给出n个⼈之间的关系,如果其中有三个⼈互相认识或者互相不认识,则输出Bad Team!,否则输出Great Team!当⼈数⼤于等于6时其结果⼀定是Bad Team!⽽对于n < 6的情况,实际上需要求图的最⼤团点的个数是否⼤于31 #include<cstdio>2 #include<cstring>3int n;4int a[10][10];5int main()6 {7int T,t;8 scanf("%d",&T);9while(T--)10 {11 scanf("%d",&n);12 memset(a,0,sizeof(a));13for(int i=1;i<n;i++)14for(int j=i+1;j<=n;j++)15 {16 scanf("%d",&t);17if(t&&n<6) a[i][j]=a[j][i]=1;18 }19if(n>=6)20 {21 puts("Bad Team!");22continue;23 }24int f=0;25for(int i=1;i<=n;i++)26for(int j=i+1;j<=n;j++)27for(int k=j+1;k<=n;k++)28if(a[i][j]&&a[i][k]&&a[j][k])29 {30 f=1;31break;32 }33if(f) puts("Bad Team!");34else puts("Great Team!");35 }36return0;37 }。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
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