北大集合论与图论PPT精选文档

合集下载

集合论与图论第一章

集合论与图论第一章

1.3
集合的基本运算
与并运算类似,可以将集合的交推广到有限个或 可数个集合:
A1 A2 ... An Ai {x i {1,2,..., n}, x Ai )}
类似定义
i 1 n
A1 A2 ... An ... An {x n N , x An }
17
1.2
子集、集合的相等
(2)、真子集的概念 定义1.2.2 设A,B为二集合,若AB且x(xB 并且xA),则称A是B的真子集,记作AB,读作A是B的 真子集。 ABAB并且x(xB并且xA), 例如:{a,b}是{a,b,c}的真子集。 设A,B,C为3个集合,下面3个命题为真: (1)AA。 (2)AB,则BA。
集合论与图论
课时:30学时
平时成绩30分,期末考试成绩70分。 平时成绩考核方法:安排5次课堂作业,每次6 分,共30分。 课件邮箱:hjh20130225@ 密码:20130225
1
集合论和图论的应用范畴 集合论和图论都属于离散数学 离散数学分为: 数论、集合论、图论、近世代数、数 理逻辑、组合数学 计算机科学领域的大多数基本概念和理论, 几乎均采用集合论和图论的有关术语来描述。
(1)集合中的元素是各不相同的; (2)集合中的元素不规定顺序; (3)集合的两种表示法有时是可以互相转化的。 例如:正偶数集合用列举法可表示为: B={2,4,6,8,...}。
用描述法可表示为: B={x|x>0且x为偶数}
或{x|x=2(k+1),k为非负整数}。
** 15
1.2
子集、集合的相等
22
1.2
子集、集合的相等
设A1,A2,A3为集合, 那么{A1,A2,A3}为一个集族。 集族的表示方法: 若令I={1,2,3},则iI,i确定了一个唯一的集合Ai。 于是集族{A1,A2,A3}又常写成{Ah}hI。 若J为任一集合,对J中每个元素i有唯一的 一个集合与之对应,这个集合记为Ai,那么所有 这些Ai,形成的集族就用{Ai}iJ表示,其J称为标 号集。

集合论与图论课件 第四章 无限集

集合论与图论课件 第四章   无限集

3 集合递归(归纳)定义的实例
例1:设整数集I是全集,非负偶整数集 E+={x|x≧0,且x=2y, yZ}, 它可以递归定 义如下: (1)(基础)0E+。 (2)(归纳)如果nE+, 则n+2E+。 (3)(闭合)除有限次应用(1)和(2)产生的整 数外,再没有其它的整数在E+ 中。
引言实例的递归定义 (1)(基础)3S。 (2)(归纳)如果x,yS, 则x+yS。 (3)(闭合)除有限次应用(1)和(2)产生的整 数外, 再没有其它的整数在S中。
例如,若Σ={0,1}, 则 Σ*={,0,1,00,01,10,11,000,001…},是有 限二进制序列的集合, 其中包含空序列。
5
用归纳定义的方法来描述算术表达式集合
例4.4 算术表达式集合是包含整数, 一元运算符+,-, 以 及二元运算符+,-,* ,/的符号序列所组成的集合, 其中包 含如“((3+5)/4)”,“(((-5)+6)*3)”等算术表达式。 算术表达式集合的递归定义如下: (1)(基础)如果D={0,1,2,3,4,5,6,7,8,9}和xD+ ,则x是算 术表达式。其中D+是D上所有非空数字串的集合。 (2)(归纳)如果x和y都是算术表达式, 则 (+x)是算术表达式; (-x)是算术表达式; (x+y)是算术表达式; (x-y)是算术表达式; (x*y)是算术表达式; (x/y)是算术表达式。 (3)(闭合)一个符号序列是一个算术表达式当且仅当它 能通过有限次应用(1)和(2)而得到。
例4.7 证明所有大于或等于2的整数能表 示为若干质数之积。
/*第二数学归纳法证明*/

集合论与图论PPT资料(正式版)

集合论与图论PPT资料(正式版)
k 0
在(x+y)2的展开式中令x=y=1得:
5、集合的运算
x∈A (x∈ A x∈ B)) (x∈A x∈ A) (x∈A x∈ B))
定义1 设A、B为两个集合,则A与B的交集A∩B、并 A-B=A-(A∩B)
定义1 给定集合A和B,如果A中每个元素都是B中的元素,则称A为B的子集,记作 A B或B A,读作“A包含于B”或“
定理2 空集是任意集合的子集。
证明:任给集合A,Φ是空集。则(x)(x∈Φ→x∈A) 永
真。这是因为条件式的前件(x∈Φ)永假,所以该条件式对
一切x皆为真。按子集的定义,ΦA为真。
8
3、集合间的关系(续2)
例1 证明对于任何集合A、B、C都有 (AB)∧(BC)(AC)
证:(AB)∧(BC) (x)(x∈A→x∈B)∧(x)(x∈B→x∈C) (x)((x∈A→x∈B)∧(x∈B→x∈C)) (x)(x∈A→x∈C) AC
如果a是集合S的元素,记作a∈S,读作“a属于 S”。如b不是S的元素,记作 bS,读作“b不属于 S”,它等价于 (b∈s)。若一个集合的元素个数是 有限的,则称为有限集,否则称为无限集。
4
2、集合的表示
列举法:列出集合的所有元素,并用花括号括起来,元素 之间用逗号隔开。例如: S={e1 ,e2 ,…,en} (具有n个元素的有限集) A={a,{b,c},{{d}}} ( a,{b,c},{{d}}是该集合的元素)
7
3、集合间的关系(续1)
定理1 设A、B为两个集合,A=B当且仅当 AB 且BA。即 (A=B)AB∧BA。
证明:两个集合相等,则它们有相同的元素。 (A=B)(x)(x∈A→x∈B)∧(x)(x∈B→x∈A) (AB)∧(BA)。

北大集合论与图论1PPT课件

北大集合论与图论1PPT课件
第1讲 命题逻辑基础
1. 命题、命题符号化 2. 合式公式、真值表、永真式 3. 逻辑等值式、推理定律 4. 形式化证明
2020/11/19
《集合论与图论》第1讲
1
命题符号化
简单命题: p,q,r,p1,q1,r1,… 联结词:
合取联结词: 析取联结词: 否定联结词: 蕴涵联结词: 等价联结词:
附加律 化简律
A(AB) (AB)A
2020/11/19
《集合论与图论》第1讲
23
常见推理定律(续)
假言推理 (AB ) AB
拒取式 (AB ) B A
析取三段论 (AB )B A
2020/11/19
《集合论与图论》第1讲
24
常见推理定律(续)
假言三段论 (AB)(BC)(AC)
同一律(identity laws)
A0A A1A
2020/11/19
《集合论与图论》第1讲
11
常用逻辑等值式(关于0,1)
排中律(excluded middle)
AA1
矛盾律(contradiction)
AA0
2020/11/19
《集合论与图论》第1讲
12
常用逻辑等值式(关于)
蕴涵等值式(conditional as disjunction)
19
等值演算(举例)
例:(pq)rpqr 解:
(pq)r (pq)r (pq)r pqr
(蕴涵等值式) (德●摩根律) (结合律)
2020/11/19
《集合论与图论》第1讲
20
推理定律(deduction laws)
推出: AB
读作:A推出B 含义:当A为真时,B也为真

北师大版高中数学必修一第一章第一节集合的含义课件 (共15张PPT)

北师大版高中数学必修一第一章第一节集合的含义课件 (共15张PPT)
第一章 集合
§1 集合的含义与表示
第1课时 集合的含义
高中数学必修1
学习目标
1.通过实例理解集合的有关概念. 2.初步理解集合中元素的三个特性. 3.体会元素与集合的属于关系. 4.了解常用数集及其专用符号,学会用集合语言表示有关数学对象.
预习清单 集合与元素的概念
1.集合与元素的定义 一般地,我们把研究对象统称为 元素 ,把一些元素组成的总
提示:①“本班全体同学”构成一个集合,每一个同学都是集合中的 元素;
②“直线AB上所有点”构成一个集合,集合中的元素是:直线AB 上每一个点.
合作探究 探究点2 集合中元素的特征
【问题2】任意一组对象是否都能组成一个集合?集合中的元素有什 么特征?请思考下列问题:
1. 某单位所有的“帅哥”能否构成一个集合? 不能
A. ②③④⑥⑦⑧ C. ②③⑥⑦
B. ②③⑥⑦⑧ D. ②③⑤⑥⑦⑧
课堂练习
2.判断正误: (1){(1,2)}={(2,1)}
(2){(1,2),(2,1)}={(2,1),(1,2)}
课堂练习
解析:由元素的互异性可知:
归纳小结
1. 集合的概念
确定性
2. 集合中元素的性质 互异性
知识点
无序性
3. 元素与集合的关系 a∈A aA
4. 常用的数集(N,Z,Q,R)
思想方法: 分类讨论思想
体叫做 集合 (简称集).
2.集合与元素的字母表示
通常用 大写拉丁字母A,B,C,…
表示集合,
用 小写拉丁字母a,b,c,…
表示集合中的元
素.
预习清单 集合与元素的概念
3.元素与集合的关系
(1)属于:如果a是集合A的元素,就说a属于集合A,记

北大集合论与图论

北大集合论与图论

2013-1-6
《集合论与图论》第1讲
7
进度安排
课程将在4月底或5月初结束 第13周(5月18日)前考试
2013-1-6
《集合论与图论》第1讲
8
成绩评定
书面作业占10%,3道题/每次课 平时测验占30%,1小时/每次,2次 期末考试占60%
2013-1-6
《集合论与图论》第1讲
第1章 第2章 第3章 第4章 第5章

2013-1-6
《集合论与图论》第1讲
6
内容介绍

《集合论与图论》

第二部分 图论



第7章 第8章 第9章 第10章 第11章 第12章 第13章 第14章
图 欧拉图与哈密顿图 树 图的矩阵表示 平面图 图的着色 支配、覆盖、独立、匹配 带权图
办公室:
理科1#楼1708 电话: 62752366
2013-1-6
《集合论与图论》第1讲
12
《集合论与图论》 《离散数学》系列课程之一
刘田 北京大学计算机系 2003年2月
2013-1-6 《集合论与图论》第1讲 1
教材
《集合论与图论》,离散数学二分册,
耿素云,北大出版社,1998年2月
2013-1-6
《集合论与图论》第1讲
2
参考书

《离散数学习题集》,耿素云,北大出 版社


数理逻辑与集合论分册,1993年2月 图论分册,1990年3月
lt@
讲义下载:
ftp://162.105.30.157/incoming/Liu_Tian/
2013-1-6
《集合论与图论》第1讲

集合论与图论

集合论与图论
除了 ρ ( A) 这样由集合构成的集合外,我们还会遇到许多形式的由集合构成的集合,统称这样
的集合为集族。幂集是特殊的集族。
定义 1.7 设 A 为一集族, S 为一个集合,若 S 中的元素α 可一一对应到 A 中的元素 Aα , 则称 A 是以 S 为指标的集族,记为 A = {Aα :α ∈ S}或 A = {Aα }α∈S 。
注 1:容易看出 A ⊕ B = ( A − B) ∪ (B − A) = ( A ∪ B) − ( A ∩ B) 2: A ⊕ ∅ = A , A ⊕ A = ∅ 。
我们下面来定义两个多重集 P 和 Q 的交,并,差运算。
P 和 Q 的并,记为 P ∪ Q ,它也是一个多重集,使得 P ∪ Q 里任一个元素的重数,等于该 元素在 P 和 Q 中重数的最大者; P 和 Q 的交用 P ∩ Q 来表示,使得 P ∩ Q 的任一元素的重 数,等于该元素在 P 和 Q 中重数的最小者; P 和 Q 的差用 P − Q 来表示,使得如果一个元素 在 P 中的重数大于它在 Q 中的重数,那么该元素在 P − Q 中的重数等于它在 P 中的重数减去 它在 Q 中的重数,否则它在 P − Q 中的重数为 0 。类似地,对称差 P ⊕ Q 中元素的重数等于 元素在 P 中和 Q 中两个重数的绝对差值。
C = {x : x是集合且x ∉ x} 那么 C ∈ C 还是 C ∉ C 呢,无论哪一个情况都会导出矛盾?这是一个悖论。是英国数理学
家罗素(Russell)提出的,称为罗素悖论。
除罗素悖论外,还有一些其他的悖论,说明不加限制地使用集合一词会出毛病。对集合概 念的运用必须制定一些规则,这就导致了公里化集合论。而把由康托开始建立的未进行公 理化的集合论称为朴素集合论。

北京大学集合论与图论1.重点难点

北京大学集合论与图论1.重点难点

在模块1集合中,重点是集合之间的各种关系、运算、及其性质,难点是一阶谓词逻辑的推理定律、从定义出发和利用已知结论的两类半形式化证明方法。

在重点部分,需要掌握集合之间的包含、相等、真包含关系,空集、全集、幂集、容斥原理、集族等概念,并集、交集、相对补集、对称差、绝对补集、广义并集、广义交集等集合运算,以及包括幂等律、交换律、结合律、分配律、吸收律、德*摩根律、零律、同一律、排中律、矛盾律、余补律、双重否定律、补交转换律在内的基本的集合恒等式。

在难点部分,需要掌握与量词有关的一阶谓词逻辑的推理定律,以及分别从定义出发和利用已知结论的两类半形式化证明方法。

北大离散数学ppt课件

北大离散数学ppt课件

2020/6/2
《集合论与图论》第5讲
35
特殊关系(续)
设A为任意集合, 则可以定义P(A)上的: 包含关系:
A = { <x,y> | xA yA xy } 真包含关系:
A = { <x,y> | xA yA xy }
2020/6/2
第5讲 二元关系的基本概念 北京大学
内容提要 1. 有序对与卡氏积 2. 二元关系 3. 二元关系的基本运算
2020/6/2
《集合论与图论》第5讲
1
有序对与卡氏积
有序对(有序二元组) 有序三元组, 有序n元组 卡氏积 卡氏积性质
2020/6/2
《集合论与图论》第5讲
2
有序对(ordered pair)
D
A
A
C
BC
B
A(BC) = (AB)(AC) ACBDABCD
2020/6/2
《集合论与图论》第5讲
16
例题1(证明(2))
(2) 若A, 则ABAC BC. 证明: () 若 B=, 则 BC.
设 B, 由A, 设xA. y, yB<x,y>AB
<x,y>AC xAyC yC. BC
2020/6/2
2020/6/2
《集合论与图论》第5讲
14
例题1
例题1: 设A,B,C,D是任意集合, (1) AB= A= B= (2) 若A, 则 ABAC BC. (3) AC BD ABCD,
并且当(A=B=)(AB)时, ABCD ACBD.
2020/6/2
《集合论与图论》第5讲
15
卡氏积图示
2m2
2020/6/2

集合论与图论

集合论与图论

答疑
时间: (待定) 地点: 理科楼群#1,1625室 电话: 62765818 Email:
liu_tian@ liutian@
讲义下载:
ftp://162.105.30.157/incoming/Liu_Tian/
《集合论与图论》 《离散数学》系列课程之一
刘田北京大学计算机系 2001年2月
教材
《集合论与图论》,离散数学二分册, , 耿素云,北大出版社,1998年2月
参考书
《离散数学习题集》,耿素云,北大出 , 版社
数理逻辑与集合论分册,1993年2月 图论分册,1990年3月
内容介绍
《离散数学》
《集合论与图论》 《代数结构与组合数学》 《数理逻辑》
内容介绍
《集合论与图论》
第一部分 集合论
第1章 第2章 第3章 第4章 第5章 集合 二元关系 函数 自然数 基数
内容介绍
《集合论与图论》
第二部分 图论
第7章 第8章 第9章 第10章 第11章 第12章 第13章 第14章 图 欧拉图与哈密顿图 树 图的矩阵表示 平面图 图的着色 支配、覆盖、独立、匹配 带权图
进度安排
第1周 第2--7周 第8--17周 第8、15周 第18周 预备知识(数理逻辑) 集合论(6周) 图论(10周) 测验(2次) (机动)
成绩评定
书面作业占10%,4--5题/每次课 平时测验占30%,1小时/每次,2次 期末考试占60%
作业
时间:每周日交上周作业,下周日发回 顺序:每次交一个班,1、2、3班轮流 讲解:每次作业都有课上讲解 要求:正确、完全、简洁、清楚 Correct,Complete,Concise,Clear 提示:独立完成作业,可以讨论,但要 杜绝抄袭

集合论与图论课件 第九章(旧)

集合论与图论课件 第九章(旧)
*24
4、最大(极大)平面图的性质
2(P281)、设G是一个有k个支的平面图,若G的 顶点数、边数、面数分别为p、q和f,试证:
p-q+f=k+1。
25
第九章:平面图与图的着色
9.1 平面图及其欧拉公式 9.2 非哈密顿平面图 9.3 库拉托斯基定理、对偶图 9.4 图的顶点着色 9.5 图的边着色
28
1、图的顶点着色的定义
图G
几个关于顶点着色的术语。 (1)图G的一个n着色是用n种颜色对G的顶点着色; (2)若图G=(V,E)的顶点已着色,则着同一颜色的 那些顶点之集称为G的一个色组; (3)同一色组内的各顶点不邻接,这样的顶点集合 称为G的一个顶点独立集; (4)如果G有一个n着色,则G的顶点集V被这种n着 色划分为n个色组。
29
2、图的色数的定义
定义9.4.2 图G的色数是使G为n—着色的数的最小值, 图G的色数记为(G),(G)n,则称G是n—可着色的,若 (G)=n,则称G是n色的。
若G是偶数个顶点圈C2n,则(C2n)=2, 若G是奇数个顶点圈C2n+1,则(C2n+1)=3。
30
2、图的色数的定义
定义9.4.2 图G的色数是使G为n—着色的数的最小 值,图G的色数记为(G),(G)n,则称G是n—可着色 的,若(G)=n,则称G是n色的。
定理9.1.1(欧拉公式) 如果一个平面连通图 有p个顶点、q条边、f个面,则:p-q+f=2
11
3、最大(极大)可平面图
一个图称为最大可平面图,如果这个可平面图再 加入一条边,新图必然是不可平面的。
观察下面两个图,他们是不是最大可平面图
图1
图2
图1不是最大可平面图 图2是最大可平面图

集合论与图论课件2

集合论与图论课件2
nnmrmr2211又由已知条件知道又由已知条件知道r1212n22mm3322将式22的结果代入式的结果代入式11得得2222mm33mm1212得得mm303033若所有的面均至少由若所有的面均至少由55条边围成条边围成则则55r2mm得得r22mm5544将式2244的结果代入式的结果代入式11得得2222mm33mm22mm55得得m303055式式33与式与式55矛盾矛盾因而必存在至多由因而必存在至多由44条边围成的面条边围成的面
K3,3的子图。
平面图还存在着若干其他特征。
为了描述另外的特征,引入下面定义。
2.2 收缩图
定义3 设G=(V,E)是一个图,则
(1)若uw和wv是图G的两条边且deg(w)=2,用一条边uv代替uw和wv时,则称uw和wv被 缩减。
第十一页,共21页。
(2)若G的某些条边被缩减,产生的图称为G的缩减图,也称二度顶点内缩
第八页,共21页。
一个最大可平面图是一个可平面图,对此可平面图中不能再加入边而不破坏
可平面性。 推论2 设G=(p,q)是一个最大可平面图,则G的每个面都是三角形,而且q=3p-6。
推论3 若G=(p,q)是一个可平面连通图,而且G的每个面都是一个长为4的回路
围成的,则q=2p-4
推论4 若G=(p,q)是一个连通的平面图,p≥3,则q≤3p-6。
证:在每个区域放一个顶点,当两区域相邻时,就在相邻的两个顶点间连一条边,如此构造了一个
平面图且是完全平面图,而最大的完全平面图为K4,所以n最大为4。
例9给出平面图G的对偶图G*为欧拉图的一个充分必要条件。并证明之。
第十五页,共21页。
分析:当且仅当G中每个面均由偶数条边围成,因为平面图G的每个面对应G*的每个顶, 而G*为欧拉图的充要条件是G*每个顶点的度数为偶数,围成G每个面的边数与对应的G*中

集合与图论映射27页PPT

集合与图论映射27页PPT
集合与图论映射
11、用道德的示范来造就一个人,显然比用法律来约束他更有价值。—— 希腊
12、法律是无私的,对谁都一视同仁。在每件事上,她都不徇私情。—— 托马斯
13、公正的法律限制不了好的自由,因为好人不会去做法律不允许的事 情。——弗劳德
14、法律是为了保护无辜而制定的。——爱略特 15、像房子一样,法律和法律都是相互依存的。——伯克
1、最灵繁的人也看不见自己的背脊。——非洲 2、最困难的事情就是认识自己。——希腊 3、有勇气承担命运这才是英雄好汉。——黑塞 4、与肝胆人共事,无字句处读书。——周恩来 5、阅读使人充实,会谈使人敏捷
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

2020/5/23
8
定理17
定理17: 设 RAA, m,nN, 则 (1) Rm○Rn = Rm+n ; (2) (Rm)n = Rmn.
说明: 可让 m,nZ, 只需IAdomRranR (此时IA=R○R-1=R-1○R)并且定义
R-n = (R-1)n = (Rn)-1. 回忆: (F○G)-1=G-1○F-1
(R2)-1=(R○R)-1=R-1○R-1=(R-1)2
2020/5/23
9
定理17(证明(1))
(1) Rm○Rn = Rm+n ; 证明: (1) 给定m, 对n归纳. n=0时,
Rm○Rn = Rm○R0 = Rm○IA = Rm = Rm+0. 假设 Rm○Rn = Rm+n, 则 Rm○Rn+1 = Rm○(Rn ○R1) = (Rm○Rn)○R1 =
(Peter Gustav Lejeune Dirichlet,1805~1859)
推广形式: 若把m件物品装进k只抽屉, 则
至少有一只抽屉装
m k
只以上的物品.
1.8=2, 1.8=1, -1.8=-1, -1.8=-2.
2020/5/23
13
定理18
定理18: 设 RAA, 若 s,tN (s<t),使得 Rs = Rt, 则 (1) Rs+k = Rt+k ; (2) Rs+kp+i = Rs+i, 其中k,iN, p=t-s; (3) 令S={R0,R1,…,Rt-1}, 则qN, RqS.
第7讲 关系幂运算与关系闭包 北京大学
内容提要 关系幂(power)运算 关系闭包(closure)
2020/5/23
1
关系的幂运算
n次幂的定义 指数律 幂指数的化简
2020/5/23
2
关系的n次幂
关系的n次幂(nth power): 设RAA, nN, 则
(1) R0 = IA;
(2) Rn+1 = Rn○R, (n1).
2020/5/23
14
定理18(说明)
s
泵(pumping):
Rs+kp+i = Rs+i
i p
2020/5/23
15
定理18 (证明(1)(3))
(1) Rs+k = Rt+k ; (3) 令S={R0,R1,…,Rt-1}, 则qN, RqS.
证明: (1) Rs+k = Rs○Rk = Rt○Rk = Rt+k; (3) 若 q>t-1s, 则令 q=s+kp+i,
一般地, R2k+1=R1=R, k=0,1,2,…,
R2k=R2, k=1,2,…,. #
b
b
b
a G( R )
2020/5/23
ca G( R4 )
ca
c G( R5 )
7
关系幂运算是否有指数律?
指数律: (1) Rm○Rn = Rm+n ; (2) (Rm)n = Rmn.
说明: 对实数R来说, m,nN,Z,Q,R. 对一般关系R来说, m,nN. 对满足IAR且AdomRranR的关系R来说, m,nN,Z, 例如R2○R-5=R-3,因为可以定义 R-n = (R-1)n = (Rn)-1 ?
R2 = R1○R = {<a,a>,<b,b>,<b,c>},
R3 = R2○R = {<a,b>,<a,b>,<a,c>} = R1,
b
b
a
c
G( R )
a
c
G( R3 )
2020/5/23
6
关系幂运算(举例,续3)
解(续): R4 = R3○R = R1○R = R2,
R5 = R4○R = R2○R = R3 = R1,
Rm+n○R =
R(m+n)+1 = Rm+(n+1). (2) 同样对n归纳. #
2020/5/23
10
RR0 R1 R2 R3 R4 R5 R6 R7 R8
R0 R1
2020/5/23
R2 R3 R4
R17 R16
R15 R14
R5=R19=R33=R47=… R6=R20=R34=R48=… R7=R21=R35=R49=… R8=R22=R36 =…
4
关系幂运算(举例,续)
解(续): R0 = IA, R1 = R0○R = R = {<a,b>,<b,a>,<a,c>},
R2 = R1○R = {<a,a>,<b,b>,<b,c>},
b
b
a
c
G( R )
a
c
G( R2 )
2020/5/23
5
关系幂运算(举例,续2)
解(续): R0 = IA, R1 = R0○R = R = {<a,b>,<b,a>,<a,c>},
Rn R RR
n个R
Rn表示的关系, 是R的关系图中长度为n 的有向路径的起点与终点的关系.
1
2
n-1
n
2020/5/23
3
关系幂运算(举例)
例: 设A={a,b,c}, RAA, R={<a,b>,<b,a>,<a,c>}, 求R的各次幂.
解: b
b
a
c
G( R )
a
c
G( R0 )
2020/5/23
所以 s,tN, 并且 0st2n2 ,
使得 Rs = Rt. #
2020/5/23
12
鸽巢原理(pigeonhole principle)
鸽巢原理(pigeonhole principle): 若把n+1 只鸽子装进n只鸽巢, 则至少有一只鸽巢 装2只以上的鸽子.
又名抽屉原则(Dirichlet drawer principle),
其中 k,iN, p=t-s, s+i<t; 于是 Rq = Rs+kp+i = Rs+iS.
2020/5/23
16
定理18(证明(2))
(2) Rs+kp+i = Rs+i, 其中k,iN, p=t-s; 证明: (2) k=0时,显然;
k=1时,即(1); 设 k2. 则 Rs+kp+i = Rs+k(t-s)+i = Rs+t-s+(k-1)(t-s)+i = Rt+(k-1)(t-s)+i = Rs+(k-1)(t-s)+i = … = Rs+(t-s)+i = Rt+i = Rs+i . #
R9
R10 R11
11
定理16
定理16: 设 |A|=n, RAA, 则 s,tN, 并 且 0st2n2 , 使得 Rs = Rt.
证明: P(AA)对幂运算是封闭的, 即
R, RP(AA) RkP(AA), (kN).
|P(AA)|
=
2
n
2
,
在R0,R1,R2,…,
R
2n2

2n2 1个集合中, 必有两个是相同的.
相关文档
最新文档