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

合集下载

第9讲 函数 北京大学计算机系离散数学讲义(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课件

《离散数学概述》PPT课件

同 子代数 种
的 积代数 同
类 商代数 型
的 新代数系统
22
半群与群
广群 二元运算的封闭性
结合律
半群
交换律
交换半群
单位元 交换律
独异点
每个元素可逆 交换律

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

北大离散数学ppt课件

北大离散数学ppt课件
An = AA…A |Ai|=ni ,i =1,2,…,n
|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定理
拉姆齐定理(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

第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讲  连通度 北京大学计算机系离散数学讲义(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课件

离散数学讲义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版)

第三节 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)定理拉姆齐(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. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 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
相关文档
最新文档