第16讲 连通度 北京大学计算机系离散数学讲义(ppt版)
合集下载
离散数学ppt课件
02
集合论基础
集合的基本概念
总结词
集合是离散数学中的基本概念, 是研究离散对象的重要工具。
详细描述
集合是由一组确定的、互不相同 的、可区分的对象组成的整体。 这些对象称为集合的元素。例如 ,自然数集、平面上的点集等。
集合的运算和性质
总结词
集合的运算和性质是离散数学中的重要内容,包括集合的交、并、差、补等基本运算,以及集合的确定性、互异 性、无序性等性质。
生,1表示事件一定会发生。
离散概率论的运算和性质
概率的加法性质
如果两个事件A和B是互斥的,那么P(A或B)等于P(A)加上 P(B)。
概率的乘法性质
如果事件A和B是独立的,那么P(A和B)等于P(A)乘以P(B) 。
全概率公式
对于任意的事件A,存在一个完备事件组{E1, E2, ..., En}, 使得P(Ai)>0 (i=1,2,...,n),且E1∪E2∪...∪En=S,那么 P(A)=∑[i=1 to n] P(Ai)P(A|Ei)。
工程学科
离散数学在工程学科中也有着重要的 应用,如计算机通信网络、控制系统 、电子工程等领域。
离散数学的重要性
基础性
离散数学是数学的一个重要分支 ,是学习其他数学课程的基础。
应用性
离散数学在各个领域都有着广泛的 应用,掌握离散数学的知识和方法 对于解决实际问题具有重要的意义 。
培养逻辑思维
学习离散数学可以培养人的逻辑思 维能力和问题解决能力,对于个人 的思维发展和职业发展都有很大的 帮助。
详细描述
邻接矩阵是一种常用的表示图的方法,它是 一个二维矩阵,其中行和列对应于图中的节 点,如果两个节点之间存在一条边,则矩阵 中相应的元素为1,否则为0。邻接表是一 种更有效的表示图的方法,它使用链表来存 储与每个节点相邻的节点。
离散数学完整版课件全套ppt教学教程最全整套电子讲义幻灯片(最新)
(3)至于p为0即“我期终考了年级不是前 10”时,无论q为1或为0,即无论"我老妈 奖励1000元"或不奖励,都不能说老妈的 话是假的,故善意的认为pq为1均为1
1.1 命题及联结词
定义1.5双条件:当p与q值相同时,pq为1,不同 为0。 称p当且仅当q
“普通老师赚了100万当且仅当他 中了100万的彩票”, 普通老师赚了100万 普通老师买彩票中了100万大奖
故pq为0
1.1 命题及联结词
定义1.4条件式当p是1 ,q是0时,pq为0,即 10为0,其他情况为1。 p称为前件,q称为后件
(1)当p为1即“我期终考了年级前10”
q为0即“我老妈没有奖励1000元” 这时老妈的话为假,即pq为0 (2)当p为1即“我期终考了年级前10” q为1即“我老妈奖励1000元” 这时妈妈的话就对了,即pq为1
由于所有内容(整数,实数,字符,汉字,图片,声 音,视频,网页,……)进入电脑后,全是01组成的字 符串,从而都可以用布尔运算即逻辑运算实现,命题逻 辑成为计算机的基础。
命题逻辑将数学由连续变到离散,由高数进入离散。
Google采用逻辑运算进行搜索:数字之美 吴军 杨圣洪 000100010001110000 两者对应位置与运算。 离散数学 100100000000100001
陈述句(6)的正确性,到2018年12月时能确定的,若届 时建成了则它是对的、为真命题,否为假命题。
1.1 命题及联结词
对错确定的陈述语句称为命题。如:
(7) x与y之和为100,其中x为整数,y为整数 (8)1加1等于10 (7)的对错不确定。当x为50、y为50时是对的,当x为 51、y为52时是错的。 (8)的对错是不确定的,为二进制时正确,当为八进制、 十进制时是错的,因此这两个陈述句不是命题。 (9)青枫峡的红叶真美呀! (10)动作快点! (11)你是杨老师吗? 这三个语句不是陈述语句,因此不是命题。
1.1 命题及联结词
定义1.5双条件:当p与q值相同时,pq为1,不同 为0。 称p当且仅当q
“普通老师赚了100万当且仅当他 中了100万的彩票”, 普通老师赚了100万 普通老师买彩票中了100万大奖
故pq为0
1.1 命题及联结词
定义1.4条件式当p是1 ,q是0时,pq为0,即 10为0,其他情况为1。 p称为前件,q称为后件
(1)当p为1即“我期终考了年级前10”
q为0即“我老妈没有奖励1000元” 这时老妈的话为假,即pq为0 (2)当p为1即“我期终考了年级前10” q为1即“我老妈奖励1000元” 这时妈妈的话就对了,即pq为1
由于所有内容(整数,实数,字符,汉字,图片,声 音,视频,网页,……)进入电脑后,全是01组成的字 符串,从而都可以用布尔运算即逻辑运算实现,命题逻 辑成为计算机的基础。
命题逻辑将数学由连续变到离散,由高数进入离散。
Google采用逻辑运算进行搜索:数字之美 吴军 杨圣洪 000100010001110000 两者对应位置与运算。 离散数学 100100000000100001
陈述句(6)的正确性,到2018年12月时能确定的,若届 时建成了则它是对的、为真命题,否为假命题。
1.1 命题及联结词
对错确定的陈述语句称为命题。如:
(7) x与y之和为100,其中x为整数,y为整数 (8)1加1等于10 (7)的对错不确定。当x为50、y为50时是对的,当x为 51、y为52时是错的。 (8)的对错是不确定的,为二进制时正确,当为八进制、 十进制时是错的,因此这两个陈述句不是命题。 (9)青枫峡的红叶真美呀! (10)动作快点! (11)你是杨老师吗? 这三个语句不是陈述语句,因此不是命题。
《离散数学概述》PPT课件
同 子代数 种
的 积代数 同
类 商代数 型
的 新代数系统
22
半群与群
广群 二元运算的封闭性
结合律
半群
交换律
交换半群
单位元 交换律
独异点
每个元素可逆 交换律
群
交换独异点 实例
Abel群
生成元
Klein群 循环群
有限个元素
有限群
编辑ppt
实例
n元置换群
23
图论
图论是离散数学的重要组成部分,是近代应用数学的重要分支。
由于在计算机内,机器字长总是有限的, 它代表离散的数或其
它离散对象,因此随着计算机科学和技术的迅猛发展,离散数
学就显得重要。
编辑ppt
5
离散数学的内容
数理逻辑: “证明”在计算科学的某些领域至关重要,构 造一个证明和写一个程序的思维过程在本质上是一样的。
组合分析:解决问题的一个重要方面就是计数或枚举对象。
编辑ppt
20
代数系统
近世代数,……,是关于运算的学说,是关于运算规则 的学说,但它不把自己局限在研究数的运算性质上,而 是企图研究一般性元素的运算性质。
——M.Klein
数学之所以重要,其中心原因在于它所提供的数学系统 的丰富多彩;此外的原因是,数学给出了一个系统,以 便于使用这些模型对物理现实和技术领域提出问题,回 答问题,并且也就探索了模型的行为。
1736年是图论历史元年,因为在这一年瑞士数学家欧拉(Euler) 发表了图论的首篇论文——《哥尼斯堡七桥问题无解》,所以人
们普遍认为欧拉是图论的创始人。
1936年,匈牙利数学家寇尼格(Konig)出版了图论的第一部专 著《有限图与无限图理论》,这是图论发展史上的重要的里程碑 ,它标志着图论将进入突飞猛进发展的新阶段。
离散数学的ppt课件
科学中的许多问题。
03
例如,利用图论中的最短路径算法和最小生成树算法
等,可以优化网络通信和数据存储等问题。
运筹学中的应用
01
运筹学是一门应用数学学科, 主要研究如何在有限资源下做 出最优决策,离散数学在运筹 学中有着广泛的应用。
02
利用离散数学中的线性规划、 整数规划和非线性规划等理论 ,可以解决运筹学中的许多问 题。
并集是将两个集合中的所有元素合 并在一起,形成一个新的集合。
详细描述
例如,{1, 2, 3}和{2, 3, 4}的并集是 {1, 2, 3, 4}。
总结词
补集是取一个集合中除了某个子集 以外的所有元素组成的集合。
详细描述
例如,对于集合{1, 2, 3},{1, 2}的 补集是{3}。
集合的基数
总结词
)的数学分支。
离散数学的学科特点
03
离散数学主要研究对象的结构、性质和关系,强调推
理和证明的方法。
离散数学的应用领域
计算机科学
01
离散数学是计重要的工具和方法。
通信工程
02
离散数学在通信工程中广泛应用于编码理论、密码学、信道容
量估计等领域。
集合的基数是指集合中元素的数量。
详细描述
例如,集合{1, 2, 3}的基数是3,即它包含三个元素。
03 图论
图的基本概念
顶点
图中的点称为顶点或节点。
边
连接两个顶点的线段称为边。
无向图
边没有方向,即连接两个顶点的线段可以是双向 的。
有向图
边有方向,即连接两个顶点的线段只能是从一个顶 点指向另一个顶点。
研究模态算子(如necessity、possibility)的语义和语法。
离散数学图论路与连通PPT课件
第18页/共26页
7.2.3 图的连通度
定义7-2.4 设无向图G =<V,E>是连通图,若有结点集V1V,使图 G中删除了 V1的所有结点后,所得到的子图是不连通图,而删除了V1的任何真子集后,所
得到的子图仍是连通图,则称V1是G的一个点割集(cut-set of nodes) 。
k(G)=min{|V1|| 是G的点割集} 称为图G的点连通度(nodeconnectivity) 。
现对G的每一条边e=(u1,u2),若u1,u2都在 V1上 ,则存 在两条 路P1与P2分别 连接u与 u1和u与u2, 且P1、 P2的长 度均为 偶数, 闭路P1∪P2∪ {e}的 长度为 奇数, 则不难 看出G中 有一条 长为奇 数的圈 ,矛盾 。同样 u1和u2不能同 时含在 V2中。 故e的 两个端 点分别 在V1和 V2中。 因此G是二分 图。
G 定理7.2.1 非平凡图 是二分图当且仅当 中不含长为奇数的回路。
G
证明 必要性是明显的。
充分性:不妨设G中每一对顶点之间有路连接(否则
只需考虑G的每个每一对顶点之间有路连接的极大子
图)。任取G的一个顶点u,由G的假设,对G的每个顶
点v,在G中存在u-v路。现利用u对G的顶点进行分类。
设
第24页/共26页
3 v1e1v2e5v5e6v4e4v2e5v5e7v6
…………
初级通路 简单通路 复杂通路
7.2.1 路
例1、(2)
图(2)中过 v2 的回路 (从 v2 到 v2 )有:
第7页/共26页
1 v2e4v4e3v3e2v2
长度3
2 v2e5v5e6v4e3v3e2v2
长度4
3 v2e4v4e3v3e2v2e5v5e6v4e3v3e2v2 长度7
7.2.3 图的连通度
定义7-2.4 设无向图G =<V,E>是连通图,若有结点集V1V,使图 G中删除了 V1的所有结点后,所得到的子图是不连通图,而删除了V1的任何真子集后,所
得到的子图仍是连通图,则称V1是G的一个点割集(cut-set of nodes) 。
k(G)=min{|V1|| 是G的点割集} 称为图G的点连通度(nodeconnectivity) 。
现对G的每一条边e=(u1,u2),若u1,u2都在 V1上 ,则存 在两条 路P1与P2分别 连接u与 u1和u与u2, 且P1、 P2的长 度均为 偶数, 闭路P1∪P2∪ {e}的 长度为 奇数, 则不难 看出G中 有一条 长为奇 数的圈 ,矛盾 。同样 u1和u2不能同 时含在 V2中。 故e的 两个端 点分别 在V1和 V2中。 因此G是二分 图。
G 定理7.2.1 非平凡图 是二分图当且仅当 中不含长为奇数的回路。
G
证明 必要性是明显的。
充分性:不妨设G中每一对顶点之间有路连接(否则
只需考虑G的每个每一对顶点之间有路连接的极大子
图)。任取G的一个顶点u,由G的假设,对G的每个顶
点v,在G中存在u-v路。现利用u对G的顶点进行分类。
设
第24页/共26页
3 v1e1v2e5v5e6v4e4v2e5v5e7v6
…………
初级通路 简单通路 复杂通路
7.2.1 路
例1、(2)
图(2)中过 v2 的回路 (从 v2 到 v2 )有:
第7页/共26页
1 v2e4v4e3v3e2v2
长度3
2 v2e5v5e6v4e3v3e2v2
长度4
3 v2e4v4e3v3e2v2e5v5e6v4e3v3e2v2 长度7
《离散数学讲义》课件
离散概率分布的定义
离散概率分布是描述随机事件在有限或可数无限的可 能结果集合中发生的概率的数学工具。
离散概率分布的种类
常见的离散概率分布包括二项分布、泊松分布、几何 分布等。
离散概率分布的应用
离散概率分布在统计学、计算机科学、物理学等领域 都有广泛的应用。
参数估计和假设检验
参数估计
参数估计是根据样本数据推断总体参数的过 程,包括点估计和区间估计两种方法。
假设检验
假设检验是用来判断一个假设是否成立的统计方法 ,包括参数检验和非参数检验两种类型。
参数估计和假设检验的应 用
在统计学中,参数估计和假设检验是常用的 数据分析方法,用于推断总体特征和比较不 同总体的差异。
方差分析和回归分析
方差分析
方差分析是一种用来比较不同组数据的平均值是否存在显著差异 的统计方法。
《离散数学讲义》ppt课件
目 录
• 离散数学简介 • 集合论 • 图论 • 离散概率论 • 逻辑学 • 离散统计学 • 应用案例分析
01
离散数学简介
离散数学的起源和定义
起源
离散数学起源于17世纪欧洲的数学研 究,最初是为了解决当时的一些实际 问题,如组合计数和图论问题。
定义
离散数学是研究离散对象(如集合、 图、树、逻辑等)的数学分支,它不 涉及连续的变量或函数。
联结词:如与(&&)、或(||)、非(!)等,用 于组合简单命题。
03
04
命题公式:由简单命题通过联结词组合而 成的复合命题。
命题逻辑的推理规则
05
06
肯定前件、否定后件、析取三段论、合取 三段论等推理规则。
谓词逻辑
个体词
表示具体事物的符号。
离散概率分布是描述随机事件在有限或可数无限的可 能结果集合中发生的概率的数学工具。
离散概率分布的种类
常见的离散概率分布包括二项分布、泊松分布、几何 分布等。
离散概率分布的应用
离散概率分布在统计学、计算机科学、物理学等领域 都有广泛的应用。
参数估计和假设检验
参数估计
参数估计是根据样本数据推断总体参数的过 程,包括点估计和区间估计两种方法。
假设检验
假设检验是用来判断一个假设是否成立的统计方法 ,包括参数检验和非参数检验两种类型。
参数估计和假设检验的应 用
在统计学中,参数估计和假设检验是常用的 数据分析方法,用于推断总体特征和比较不 同总体的差异。
方差分析和回归分析
方差分析
方差分析是一种用来比较不同组数据的平均值是否存在显著差异 的统计方法。
《离散数学讲义》ppt课件
目 录
• 离散数学简介 • 集合论 • 图论 • 离散概率论 • 逻辑学 • 离散统计学 • 应用案例分析
01
离散数学简介
离散数学的起源和定义
起源
离散数学起源于17世纪欧洲的数学研 究,最初是为了解决当时的一些实际 问题,如组合计数和图论问题。
定义
离散数学是研究离散对象(如集合、 图、树、逻辑等)的数学分支,它不 涉及连续的变量或函数。
联结词:如与(&&)、或(||)、非(!)等,用 于组合简单命题。
03
04
命题公式:由简单命题通过联结词组合而 成的复合命题。
命题逻辑的推理规则
05
06
肯定前件、否定后件、析取三段论、合取 三段论等推理规则。
谓词逻辑
个体词
表示具体事物的符号。
离散数学 通路回路与图的连通性 ppt课件
则 k(G) = (G) = 0, 上式显然成立。
若G是连通图, 则因每一顶点的所有关联边构成一 个边割集,
所以 (G)≤(G)。
下面证明k (G)≤ (G)。
若 (G) = 1, 则G有一割边,
此时 k(G) = (G) = 1, (*) 式成立。
离散数学 通路回路与图的连通性
32
若 (G)≥2, 则必可删去某 (G)边, 使G不连通,而删 去其中(G) – 1条边, G仍然连通, 且有一条桥e = {u, v}。
通度和边连通度。按图中G1的连接法,如果3 个站被破坏,或者3条铁路被破坏,余下的站
仍能继续相互联系,也就是仍具有连通性。
但按图中G2的连接法,如果v站被破坏,余下
的站就不能保持连通。
离散数学 通路回路与图的连通性
31
定理 对任意的图G = (V, E),
有 k(G)≤ (G)≤ (G)
(*)
证明 若G是平凡图或非连通图,
离散数学 通路回路与图的连通性
11
二、图的连通性:
在图G中,如果A到B存在一条通路,则称A到B是可达的。 1、无向图的连通性 如果无向图中,任意两点是可达的,图为连通图。否则为 不连通图。 当图是不连通时,定是由几个连通子图构成。称这样的连 通图是连通分支。
离散数学 Leabharlann 路回路与图的连通性12无向图的连通性
离散数学 通路回路与图的连通性
13
设 A={1,2,…,8}, R={ <x,y>| x,y∈A∧x≡y(mod 3) }
即:A上模3等价关系的关系图为:
离散数学 通路回路与图的连通性
14
【例】 求证:若图中只有两个奇度数顶点,则二 顶点必连通。
精品课程《离散数学》PPT课件(全)(1)
13
1.1 命题符号化及联结词
命题与命题变项象程序语言中常量与变量的关系一样。
例:5是一个常量,是一个确定的数字,而x是一个变量, 赋给它一个什么值它就代表什么值,即x的值是不定的。
例3:判断下列句子是否为命题?
1.张校长的头发有一万根。
(是)
2.我所说的是假的。
(否)
14
1.1 命题符号化及联结词
式公式。 (2)称A是n+1(n≥0)层公式是指下列情况之一:
(a) A= B,B是n层公式; (b)A=B∧C,其中B,C分别为i层和j层公式,且n=max(i,j) ; (c) A=B ∨ C,其中B,C的层次及n同(b); (d) A=B ∨ C,其中B,C的层次及n同(b); (e) A=B C,其中B,C的层次及n同(b); (f) A=B C,其中B,C的层次及n同(b);
4
第一章 命题逻辑
❖ 数理逻辑是研究推理(即研究人类思维的形式 结构和规律)的科学,起源于17世纪,它采用 数学符号化的方法,因此也称为符号逻辑。
❖ 从广义上讲,数理逻辑包括四论、两演算—— 即集合论、模型论、递归论、证明论和命题演 算、谓词演算,但现在提到数理逻辑,一般是 指命题演算和谓词演算。本书也只研究这两个 演算。
6
第一章 命题逻辑
❖ 数理逻辑与计算机学、控制论、人工智能的相 互渗透推动了其自身的发展,模糊逻辑、概率 逻辑、归纳逻辑、时态逻辑等都是目前比较热 门的研究领域。
❖ 本篇我们只从语义出发,对数理逻辑中的命题 演算与谓词演算等作一简单的、直接的、非形 式化的介绍,将不涉及任何公理系统。
7
1.1 命题符号化及联结词
运算规则:
p
q
p q
1.1 命题符号化及联结词
命题与命题变项象程序语言中常量与变量的关系一样。
例:5是一个常量,是一个确定的数字,而x是一个变量, 赋给它一个什么值它就代表什么值,即x的值是不定的。
例3:判断下列句子是否为命题?
1.张校长的头发有一万根。
(是)
2.我所说的是假的。
(否)
14
1.1 命题符号化及联结词
式公式。 (2)称A是n+1(n≥0)层公式是指下列情况之一:
(a) A= B,B是n层公式; (b)A=B∧C,其中B,C分别为i层和j层公式,且n=max(i,j) ; (c) A=B ∨ C,其中B,C的层次及n同(b); (d) A=B ∨ C,其中B,C的层次及n同(b); (e) A=B C,其中B,C的层次及n同(b); (f) A=B C,其中B,C的层次及n同(b);
4
第一章 命题逻辑
❖ 数理逻辑是研究推理(即研究人类思维的形式 结构和规律)的科学,起源于17世纪,它采用 数学符号化的方法,因此也称为符号逻辑。
❖ 从广义上讲,数理逻辑包括四论、两演算—— 即集合论、模型论、递归论、证明论和命题演 算、谓词演算,但现在提到数理逻辑,一般是 指命题演算和谓词演算。本书也只研究这两个 演算。
6
第一章 命题逻辑
❖ 数理逻辑与计算机学、控制论、人工智能的相 互渗透推动了其自身的发展,模糊逻辑、概率 逻辑、归纳逻辑、时态逻辑等都是目前比较热 门的研究领域。
❖ 本篇我们只从语义出发,对数理逻辑中的命题 演算与谓词演算等作一简单的、直接的、非形 式化的介绍,将不涉及任何公理系统。
7
1.1 命题符号化及联结词
运算规则:
p
q
p q
第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
随机性与概率
随机性表示试验结果的不 确定性,概率则表示随机 事件发生的可能性大小。
统计数据的收集和整理
数据来源
数据质量
数据可以来源于调查、实验、观测、 查阅文献等多种途径。
数据质量包括数据的准确性、可靠性 、完整性等方面,是数据分析的前提 和基础。
数据整理
数据整理包括数据的分类、排序、分 组、编码等步骤,以便更好地进行数 据分析。
必然事件
概率值为1的事件。
03
04
不可能事件
概率值为0的事件。
互斥事件
两个或多个事件不能同时发生 。
概率的加法原理和乘法原理
加法原理
对于任意两个互斥事件A和B,有 P(A∪B)=P(A)+P(B)。
乘法原理
对于任意两个事件A和B,有 P(A∩B)=P(A)×P(B|A)。
条件概率和独立性
要点一
条件概率
离散数学课件
目录 CONTENTS
• 离散数学简介 • 集合论基础 • 图论基础 • 离散概率论基础 • 离散统计学基础 • 离散数学中的问题求解方法
01
离散数学简介
离散数学的起源
19世纪初
集合论的提出为离散数学的起源 奠定了基础。
20世纪中叶
随着计算机科学的兴起,离散数 学逐渐受到重视和应用。
子集、超集和补集
总结词
子集、超集和补集是集合论中的重要概念,它们描述了集合之间的关系。
详细描述
子集是指一个集合中的所有元素都属于另一个集合,超集是指一个集合包含另一 个集合的所有元素,补集是指属于某个集合但不属于其子集的元素组成的集合。
集合的运算性质
总结词
集合的运算性质包括并集、交集、差集等,这些运算描述了 集合之间的组合关系。
离散数学PPT【共34张PPT】
15
18.4 点着色
定义17.9 (1) 图G的一种点着色——给图G的每个顶点涂上一种颜色,
使相邻顶点具有不同颜色 (2) 对G进行k着色(G是k-可着色的)——能用k种颜色给G
的顶点着色 (3) G的色数(G)=k——G是k-可着色的,但不是(k1)-可着色
的.
16
关于顶点着色的几个简单结果
定理17.19 (G)=1当且仅当G为零图 定理17.20 (Kn)=n 定理17.21 若G为奇圈或奇阶轮图,则(G)=3,若G为偶阶轮 图,则(G)=4. 定理17.22 若G的边集非空,则(G)=2当且仅当G为二部图.
路径 (7) M的交错圈——由M与EM中的边交替出现构成的G中圈
上图中,只有第一个图存在完美匹配
8
可增广路径及交错圈
(1)
(2)
(3)
设红色边在匹配M中,绿色边不在M中,则图(1)中的两条路 径均为可增广的交错路径;(2)中的全不是可增广的交错路 径;(3)中是一个交错圈. 不难看出,可增广交错路径中,不在M中的边比在M中的边 多一条. 交错圈一定为偶圈.
立集 (3) 最大点独立集——元素最多的点独立集 (4) 点独立数——最大点独立集中的元素个数,记为0
(1)
(2)
在图中,点独立数依次为2, 2, 3.
(3)
2
极大独立集与极小支配集
定理18.1 设G=<V,E>中无孤立点,则G的极大点独立集都是 极小支配集. 证明线索: (1) 设V*为G的极大点独立集,证明它也是支配集.
定理17.28 偶圈边色数为2,奇圈边色数为3. 定理17.29 (Wn) = n1, n4. 定理17.30 二部图的边色数等于最大度. 定理17.31 n为奇数(n1)时,(Kn)=n;
18.4 点着色
定义17.9 (1) 图G的一种点着色——给图G的每个顶点涂上一种颜色,
使相邻顶点具有不同颜色 (2) 对G进行k着色(G是k-可着色的)——能用k种颜色给G
的顶点着色 (3) G的色数(G)=k——G是k-可着色的,但不是(k1)-可着色
的.
16
关于顶点着色的几个简单结果
定理17.19 (G)=1当且仅当G为零图 定理17.20 (Kn)=n 定理17.21 若G为奇圈或奇阶轮图,则(G)=3,若G为偶阶轮 图,则(G)=4. 定理17.22 若G的边集非空,则(G)=2当且仅当G为二部图.
路径 (7) M的交错圈——由M与EM中的边交替出现构成的G中圈
上图中,只有第一个图存在完美匹配
8
可增广路径及交错圈
(1)
(2)
(3)
设红色边在匹配M中,绿色边不在M中,则图(1)中的两条路 径均为可增广的交错路径;(2)中的全不是可增广的交错路 径;(3)中是一个交错圈. 不难看出,可增广交错路径中,不在M中的边比在M中的边 多一条. 交错圈一定为偶圈.
立集 (3) 最大点独立集——元素最多的点独立集 (4) 点独立数——最大点独立集中的元素个数,记为0
(1)
(2)
在图中,点独立数依次为2, 2, 3.
(3)
2
极大独立集与极小支配集
定理18.1 设G=<V,E>中无孤立点,则G的极大点独立集都是 极小支配集. 证明线索: (1) 设V*为G的极大点独立集,证明它也是支配集.
定理17.28 偶圈边色数为2,奇圈边色数为3. 定理17.29 (Wn) = n1, n4. 定理17.30 二部图的边色数等于最大度. 定理17.31 n为奇数(n1)时,(Kn)=n;
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
20
Whitney的看法
应当让年轻人用自己的直觉(intuition)来 解决问题,而不是教一些与他们的经验无 关的技巧和结果.
什么是直觉?------习惯成自然,熟能生巧
骑自行车: “平衡感” 游泳: “水感” 学外语: “语感”
如何取得经验?------自己动手
练习! 不能只听不做.
(G)n1-2 #
2020/6/16
《集合论与图论》第16讲
33
定理12(=的充分条件)
定理12: G是6阶以上连通简单无向图. (1) (G)n/2 (G)=(G) (2) 若任意一对不相邻顶点u,v都有
d(u)+d(v)n-1, 则(G)=(G). (3) d(G)2 (G)=(G). #
G1
2020/6/16
G2
Kn1
《集合论与图论》第16讲
E1
Kn2
31
定理11(证明)
证明(续): (G)<(G)(G*)n1-1+(G)/n1
(G)<n1-1+(G)/n1 (n1-1)(n1-(G))>0 (G)<n1 (G) n1-1. (G)=n1-1 (G)=n1-1+ (G)/n1 (G)<(G)(G*)(G) (矛盾!) (G)<n1-1 (G) n1-2 (G)+2n1. #
2020/6/16
《集合论与图论》第16讲
5
点割集(举例)
G1: {f},{a,e,c},{g,k,j},{b,e,f,k,h} G2: {f},{a,e,c},{g,k,j},{b,e,f,k,h}
a be
c
2020/6/16
g
a
f k
hb ef
g
k
h
dj
i
G1
cd j
i
G2
《集合论与图论》第16讲
2020/6/16
《集合论与图论》第16讲
4
点割集(vertex cutset)
点割集: 无向图G=<V,E>, V’V, 满足 (1) p(G-V’)>p(G); (2) 极小性: V’’V’, p(G-V’’)=p(G),
则称V’为点割集. 说明: “极小性”是为了保证点割集概念
的非平凡性
2020/6/16
《集合论与图论》第16讲
32
推论
推论: (1) (G)(G*)n1-1n/2-1 (2) G*中有不相邻顶点u,v,使得
dG*(u)+dG*(v)n-2 (3) d(G)d(G*)3
证明: (2)uG1,vG2,在G中不相邻,则在 G*中仍然不相邻.
(3) d(G)=max d(u,v)
2020/6/16
《集合论与图论》第16讲
22
定理14((有)(1))
证明: (有): (1) = = = n-1. 令 G = Kn即可.
注意: (K1)=(K1)=(K1)=0, 但是K1连通, 所以, 非连通 ==0, 反之不然
2020/6/16
《集合论与图论》第16讲
23
定理14((有)(2))
则称E’为边割集. 说明: “极小性”是为了保证边割集概念
的非平凡性
2020/6/16
《集合论与图论》第16讲
8
边割集(举例)
G1: {(a,f),(e,f),(d,f)}, {(f,g),(f,k),(j,k),(j,i)} {(a,f),(e,f),(d,f),(f,g),(f,k),(f,j)}, {(c,d)} G2: {(b,a),(b,e),(b,c)}
2020/6/16
《集合论与图论》第16讲
34
定理13
定理13: G是n阶简单连通无向非完全图,
则
2(G)-n+2 (G).
证明: 设V1是G的点割集, |V1|=(G), 设GV1的连通分支是G1,G2,…,Gs(s2), 设 |V(G1)|=n1, |V(G2)|+…+|V(Gs)|=n2, 则n1+ n2+(G)=n.
美国数学家,曾获得Wolf奖
主要研究拓扑学. 20世纪30年代发表了 十几篇图论论文,定义了“对偶图”概念, 推动了四色定理的研究.
一生的最后20年致力于数学教育,提倡应 当让年轻人用自己的直觉(intuition)来解 决问题,而不是教一些与他们的经验无关 的技巧和结果.
2020/6/16
《集合论与图论》第16讲
G
H
F
2020/6/16
《集合论与图论》第16讲
12
边连通度(edge-connectivity)
边连通度: G是无向连通图, (G) = min{ |E’| | E’是G的边割集 }
规定: G非连通: (G)=0 例: (G)=1, (H)=2, (F)=3, (K5)=4
G
H
F
2020/6/16
i
10
扇形割集(fan cutset)
IG(v)不一定是边割集(不一定极小) IG(v)不是边割集 v是割点 扇形割集: E’是边割集E’IG(v) 例: {(a,g),(a,b)},{(g,a),(g,b),(g,c)},{(c,d)},
{(d,e),(d,f)}, {(a,b),(g,b),(g,c)}
6
割点(cut-point / cut-vertex)
割点: v是割点 {v}是割集 例: G1中f是割点, G2中无割点
a be
c
2020/6/16
g
a
f k
hb ef
g
k
h
dj G1
i
cd j
G2
《集合论与图论》第16讲
i
7
边割集(edge cutset)
边割集: 无向图G=<V,E>, E’E, 满足 (1) p(G-E’)>p(G); (2) 极小性: E’’E’, p(G-E’’)=p(G),
g
d
a
c
f
b
e
2020/6/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
2020/6/16
《集合论与图论》第16讲
14
Whitney定理
定理10: . 证明: 不妨设G是3阶以上连通简单非完
全图. () 设d(v)=, 则|IG(v)|=, IG(v)中一定 有边割集E’, 所以|E’||IG(v)|=. () 设E’是边割集,|E’|=,从V(E’)中找出 点割集V’,使得|V’|, 所以|V’|.
2020/6/16
《集合论与图论》第16讲
21
简单连通图的,,
定理14: n阶简单连通图的,,之间关系 有且仅有3种可能: (1) = = = n-1 (2) 1 2-n+2 = n-2 (3) 0 < n/2
证明: (有):构造出满足上述关系的图 (仅有):任意简单连通图G可以归入以上3类
i=2,3,…,-+1}
uu12
v2
2020/6/16
u
K+1
v-+1
K 《集合论与图论》第16讲 n--1
28
定理14((仅有)(1))
证明: (仅有): (1) 如果G是完全图,则 G=Kn, 所以 = = = n-1.
2020/6/16
《集合论与图论》第16讲
29
定理11
定理11: G是n阶简单无向连通图, (G)<(G),则存在G*以G为生成子图,G* 由完全图Kn1和Kn2,以及它们之间的(G) 条边组成, (G)+2n1n/2.
G-V’’G-E’=G1G2, u和v在G-V’’中不连 通, 所以V’’中含有点割集V’.
所以 |V’||V’’||E’|=. u
#
v
2020/6/16
《集合论与图论》第16讲
18
推论
推论: k-连通图一定是k-边连通图. #
2020/6/16
《集合论与图论》第16讲
19
Hassler Whitney(1907~1989)
《集合论与图论》第16讲
13
k-连通图, k-边连通图
k-连通图(k-connected): (G)k k-边连通图(k-edge-connected): (G)k 例: 彼得森图 =3, =3; 它是1-连通图,
2-连通图,3-连通图, 但不是4-连通图; 它 是1-边连通图, 2-边连通图,3-边连通图,但ቤተ መጻሕፍቲ ባይዱ不是4-边连通图
G2
G1
2020/6/16
Gs
《集合论与图论》第16讲
35
定理13(续)
证明(续): (G)n1-1+(G)=n1+(G)-1, 同理 (G)n2+(G)-1, 所以 2(G) n1+(G)+n2+(G)-2 = n+(G)-2, 即 (G) 2(G)-n+2. #
Kn1
Kn2
2020/6/16
《集合论与图论》第16讲
30
定理11(证明)
证明: 设E1是G的边割集,|E1|=(G). 设G-E1的2个连通分支是G1与G2,
|V(G1)|=n1, |V(G2)|=n2, 不妨设n1n2, 显 然n1+n2=n, n1n/2.
给G1加新边使它成为Kn1,给G2加新 边使它成为Kn2, 令G*=Kn1E1Kn2.