第16讲 连通度 北京大学计算机系离散数学讲义(ppt版)

合集下载

离散数学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教学教程最全整套电子讲义幻灯片(最新)

离散数学完整版课件全套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)你是杨老师吗? 这三个语句不是陈述语句,因此不是命题。

《离散数学概述》PPT课件

《离散数学概述》PPT课件

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

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

离散数学的ppt课件

离散数学的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课件

离散数学图论路与连通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

《离散数学讲义》课件

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

离散数学 通路回路与图的连通性 ppt课件

离散数学 通路回路与图的连通性 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)

精品课程《离散数学》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

第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

随机性与概率
随机性表示试验结果的不 确定性,概率则表示随机 事件发生的可能性大小。
统计数据的收集和整理
数据来源
数据质量
数据可以来源于调查、实验、观测、 查阅文献等多种途径。
数据质量包括数据的准确性、可靠性 、完整性等方面,是数据分析的前提 和基础。
数据整理
数据整理包括数据的分类、排序、分 组、编码等步骤,以便更好地进行数 据分析。
必然事件
概率值为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】

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