应用离散数学第六章第2讲
《离散数学》课件第6章 (2)
〈SS, , 〈Σ*, τ〉不是可交换半群。
定义 6.1.3 含有关于*运算的幺元的半群〈S, *〉, 称
它为独异点(monoid), 或含幺半群, 常记为〈S, *, e〉(e是
幺元)。
第六章 几个典型的代数系统
【例6.1.4】
〈Z, +〉是独异点, 幺元是0, 〈Z, +, 0〉;
〈Z, ×〉是独异点, 幺元是1, 〈Z, ×, 1〉;
(4) A≠ , 〈P(A), ∩〉是半群, 幺元为A, 非空集合无逆
元, 所以不是群。
(5) A≠ , 〈P(A), 是S, 所以是群。
S∈P(A), S的逆元
(6) 〈Q+, ·〉(正有理数与数乘)为一群, 1为其幺元。 〈Q, ·〉不是群, 因为数0无逆元。
因为零元无逆元, 所以含有零元的代数系统就不会是群。
逻辑关系见图6.1.1。
第六章 几个典型的代数系统
图6.1.1
第六章 几个典型的代数系统
定义 6.1.1 设〈S, *〉是代数系统, *是二元运算, 如果*运算满足结合律, 则称它为半群(semigroups)。
换言之, x, y, z∈S, 若*是S上的封闭运算且满足 (x*y)*z=x*(y*z), 则〈S, *〉是半群。
设半群〈S, *〉中元素a(简记为a∈S)的n次幂记为an, 递 归定义如下:
a1=a an+1=an*a1 n∈Z+ 即半群中的元素有时可用某些元素的幂表示出来。
因为半群满足结合律, 所以可用数学归纳法证明
am*an=am+n, (am)n=amn。
第六章 几个典型的代数系统
普通乘法的幂、 关系的幂、 矩阵乘法的幂等具体的代 数系统都满足这个幂运算规则。
离散数学课件第六章(第2讲)
《定理》:设*是S上的二元运算,且x S,对任一m,n
I+有(1)xmxn=xm+n
(2)(xm)n=xmn
证明: (1) xmxn= (xm x) x… x = (xm+1 x) x… x
n
n-1
=….= xm+n
(2)(xm)n= xm … xm= xm+m xm … xm=…=xmn
n
例:设M= {0º,60º,120º,240º,300º,180º}表示平面上几何图形 顺时针旋转的六种位置,定义一个二元运算*,对M中任一 元素a,b有a*b=图形旋转(a+b)的角度,并规定当旋转到 360º时即为0º,试验证<M ,*>是一个群。
* 0º 60º 120º 180º 240º 300º 0º 0º 60º 120º 180º 240º 300º 60º 60º 120º 180º 240º 300º 0º 120º 120º 180º 240º 300º 0º 60º 180º 180º 240º 300º 0º 60º 120º 240º 240º 300º 0º 60º 120º 180º 300º 300º 0º 60º 120º 180º 240º
例: <I ,max>,其中max(x1,x2)取二者之大值;<I ,min>, 其中min(x1,x2)取二者之小值,均不为独异点(不存在幺 元)。<N ,max>则为独异点,其中 e =0
《定义》:设< S ,* >是一半群,TS,且*在T上是封闭的, 那么< T ,* >也是半群,称< T ,* >是< S ,* >的子半群。
离散数学讲义(第6章)
18
6-2 分配格(续)
定理:如果在一个格中交运算对并运算可分配,则并运算 对交运算一定可分配。反之亦然。
定理:每个链是分配格。
定理:设〈A, ≤ 〉为一个分配格,则对任意的a,b,c A,如果有a b = a c且a b = a c,则b=c。
19
6-2 分配格(续)
定义:设〈A,,〉是由格〈A, ≤ 〉所诱导的代数系统。 如果对任意的a,b,cA,当b ≤ a时,有: a (b c) = b (a c) 则称〈A, ≤ 〉是模格。
5
6-1 格的概念(续)
偏序集但不是格
e d f
格
c a b
6
6-1 格的概念(续)
代数系统
设〈A, ≤ 〉是一个格,如果在A上定义两个二元运 算和,使得对于任意的a,bA,ab等于a和b的最小 上界,ab等于a和b的最大下界,那么就称〈A, , 〉 为由格〈A, ≤ 〉所诱导的代数系统。二元运算, 分 别称为并运算和交运算。
定理:分配格一定是模格。
21
6-3 有补格
定义:设〈A, ≤ 〉是一个格,如果存在元素aA,对 任意的xA,都有a ≤ x, 则称a为格〈A, ≤ 〉的全下界。记作 0。 定义:设〈A, ≤ 〉是一个格,如果存在元素bA,对 任意的xA,都有x ≤ b, 则称b为格〈A, ≤ 〉的全上界。记作 1。
{a,b} {a,b} {a,b} {a,b} {a,b}
{b} {a,b}
6-4 布尔代数(续)
定理:对布尔代数中的任意两个元素a,b,有
(a ) a
ab a b
a b ab
定义:具有有限个元素的布尔代数称为有限布尔代数。
26
离散数学及其应用 第2版课件第6章 整除
第6章整除
定理6.8 在定理6.7的条件和符号下,有 (1)对任意给定的j(1≤j≤k+1),d|uj-1,d|uj当且仅 当d|uk+1。 (2)对任意给定的j(1≤j≤k+1),必存在整数xj、yj, 使得uk+1=xjuj-1+yjuj。 证明 (1)若d|uj-1,d|uj,由定理6.7第j式可得, d|uj+1。依此由各式推出:d|uj+2、d|uj+3、…、d|uk+1。
第6章整除
例2设f(x)=a0xn+a1xn-1+…+an-1x+an是整系数多 项式,如果10|f(2)且10|f(5),则10|f(10)。
证明 由于f(10)=a0×10n+a1×10n-1+…+an- 1×10+an,所以欲证10|f(10),只需证10|an。
由已知10|f(2),有2|f(2)。又因为2整除f(2)的前n项, 所以2|an。同理,由10|f(5)可得5|an。因为(2,5)=1, 由定理6.16可得(2×5)|f(10),于是10|f(10)。
第6章整除
6.2 素数和合数
定义6.2大于1且只有1和自身这两个正因数的正整数, 称为素数或质数;大于1且不是素数的正整数称为合数。 若正整数a有一个因数b,而b是素数,称b是a的素因数。
依据该定义,可以将所有的正整数分为三类:素数、 合数和1。 • 定理6.2 a是大于1的合数,当且仅当存在整数b和c, 使得a=bc,其中,1<b<a,1<c<a。
第6章整除
解 (1)用方框标识余数 24871=3468·7+595 3468=595·5+493 595=493·1+102 493=102·4+85 102=85·1+17 85=17·5 所以,(24871,3468)=17。Fra bibliotek第6章整除
离散数学第六章的课件
05 离散随机变量
随机变量的定义与性质
随机变量定义
随机变量是从样本空间到实数的可测 函数,用于描述随机现象的结果。
随机变量性质
随机变量具有可测性、可加性和可数 性等性质,这些性质在概率论和统计 学中具有重要应用。
离散概率分布
离散概率分布定义
离散概率分布描述的是随机变量取离散值时的概率规律,通 常用概率质量函数或概率函数表示。
离散概率分布性质
离散概率分布具有非负性、归一性和可数性等性质,这些性 质是离散概率分布的基本要求。
期望与方差
期望定义
期望是随机变量所有可能取值 的概率加权和,是描述随机变 量取值“平均水平”的重要指
标。
期望性质
期望具有线性性、可加性和正 定性等性质,这些性质在概率 论和统计学中具有重要应用。
方差定义
感谢您的观看
THANKS
方差是描述随机变量取值分散 程度的重要指标,是随机变量 与期望之差的平方的期望。
方差性质
方差具有非负性、归一性和可 加性等性质,这些性质是方差
的基本要求。
06 离散概率论的应用
蒙提霍尔问题
总结词
蒙提霍尔问题是一个著名的概率论问题,涉 及到概率论中的独立性概念和组合数学。
详细描述
蒙提霍尔问题是一个经典的组合数学问题, 它涉及到概率论中的独立性概念。该问题问 的是,如果有n个盒子,每个盒子被选中的 概率是1/2,那么在最优策略下,选中至少 一个盒子的最有可能的盒子数是多少?这个 问题涉及到概率论中的独立性概念和组合数
学。
抓阉问题
要点一
总结词
抓阉问题是一个经典的离散概率论问题,涉及到概率论中 的随机性和独立性概念。
要点二
离散数学第6章
33
图的运算
v2 v1 v3 v7 v2 v4 v6 v3 v8 G1∪G2 v5 v2 v4 v2 v5 v4 v6 v2 v3 v8 v7 v4 v6 v3 v8 G1 G2
34
v7 v4 v5
v1
Байду номын сангаасv1
v3 v5 G1∩G2 v5
图的运算
若V1∩V2=空集,说明图G1和G2没有公 共顶点, G1∩G2是空图。称G1和G2不 相交。 若E1∩E2=空集,说明图G1和G2没有公 共边,则
3
无向图与有向图
定义 有向图D=<V,E>, 其中 (1) V同无向图的顶点集, 元素也称 为顶点 (2) E为VV的多重子集,其元素 称为有向边,简称弧. 用无向边代替D的所有有向边 所得到的无向图称作D的基图 右图是有向图,试写出它的V和E
4
图的基本概念
边又分为两种:有向边和无向边。在有向边的两个端 点中,一个是始点,另一个是终点,有向边的箭头方 向自始点指向终点。 如果图中各边都是有向边,则称此图为有向图。 如果图中各边都是无向边,则称此图为无向图。 如果图中既有有向边又有无向边,则称此图为混合图 由于无向边可以用两条方向相反的有向边来替代,所 以混合图可以转化为有向图。
若vi vj, 则称ek与vi ( vj)的关联次 数为1; 若vi = vj, 则称ek为环, 此时称ek与 vi 的关联次数为2; 若vi不是ek端点, 则称ek与vi 的关
联次数为0.
无边关联的顶点称作孤立点.
8
定义 设无向图G=<V,E>, 边e=(a,b),则称a,b为边e的两个端 点,称点a,b是邻接的; 关联于同一顶点的边是相邻(邻 接)的.
离散第2讲 广义并交、笛卡尔、归纳定义
如何在集合的基础上定义出次序的概念? 可以是单个客体,
集合,甚至序偶
定义1.9:设a, b为任意对象,称集合{{a}, {a, b}} 为二元有序组,或序偶,简记作<a,b>。其中a称 为序偶<a,b>的第一分量,b称为序偶的<a,b>第二 分量。 定理1.17:对任意序偶<a,b>, <c, d>, <a,b>=<c, d>当且仅当a=c且b=d。
例如
= {0,1} +={0,1,00,01,10,11,000,001,010,01 1,……}
第2讲 集合的运算与归纳定义
归纳定义*
*= +∪{}
*可归纳定义如下:
1、基础条款:* 2、归纳条款:如果x*且 ,则 x* 3、终极条款:只有有限次应用条款1、2所得之元素才 是*之元素
∪{A, B} = AB
∩{A, B} = AB
∪{A, B, C} = ABC ∩{A, B, C} = ABC ∪{} = ∩{} =
∪{, {}} = {}
∩{, {}} = ∪{, A} =A
∩{, A} =
第2讲 集合的运算与归纳定义
序偶(ordered pairs)
1.1
1.2 1.3
集合的概念与表示
集合运算
集合的归纳定义
第2讲 集合的运算与归纳定义
集合的表示方法
列举法 描述法 试定义算术表达式的集合S
S = {123, 55, 1+2, -100, (99×3)/10, …} ? S = {x | x是一算术表达式} ? (1) 如果x是整数,则xS(是算术表达式) (2) 如果x, y S ,则(+ x) 、(– x) 、(x + y) 、(x – y) 、(x y) 、(x/y) 均S (均是算术表达式) (3)只有有限次应用条款1、2所得的符号序列S
离散数学第六章
特 殊
运算的结果都等于e.
代
在a,b,c三个元素中,任
数 系
何两个元素运算的结果
统
都等于另一个元素.
一般称这个群为Klein 四元群.
6.1.2 群的定义与性质
第 群的术语
六 章
(1) 若群G中的二元运算是可交换的, 则称群G为交换群, 也 叫做阿贝尔(Abel)群.
例
几 ① <Z,+>, <Q,+>,<R,+>都是群, 也是阿贝尔(Abel)群;
6.1.2 群的定义与性质
§群的性质
定理6.2 G为群, a,b∈G, 则 (1) G有唯一的单位元, G中每个元素恰有一个
逆元; (2) G适合消去律, 即对任意a,b,c∈G 有
若ab=ac, 则b=c; 若ba=ca, 则b=c; (3) 单位元是G的唯一的幂等元素;
6.1.3 子群
第 子群的定义
推论1 设G是n阶群, 则aG, |a|是n的因子, 且an=e. 推论2 对阶为素数的群G, 必存在aG使得G=<a>.
6.1.6 循环群和置换群
循环群
第 六
定义6.7
在群G中,
如果存在aG使得
章
G={ak|kZ}
则称G为循环群, 记作G=<a>,称a为G的生成元.
☆ 循环群必定是阿贝尔群, 但阿贝尔群不一定是循环群.
足如下两个条件:
① T是S的非空子集;
几 个
② T对V中的运算˚是封闭的.
特 殊
定义: 独异点的子代数叫做子独异点,
代 数
对独异点V=<S,˚,e>, <T,˚,e>构成V的子独异点,需要满
离散第2讲-广义并交、笛卡尔、归纳定义PPT
a2=b2,…,an=bn
-9-
❖集合的笛卡尔积定义1Fra bibliotek11:对任意集合A1, A2,A1A2叫做A1, A2的 笛卡尔积,定义如下:
如果xE+,那么x-2E+ 终极条款:只有有限次应用条款1、2所得元素才是E+ 的元素
-16-
❖与形式语言有关的一些概念
字母表:指有限非空的符号的集合,一般用表示 二进制基数的集合 ={0,1} 26个英文字母定义的集合 ={a, b, c, …, x, y, z}
字:指有限数目的符号所组成的串,若每一符号均取自字 母表之上,则称为字母表之上的一个字,用表示空字 01,100,101, a, aa, bike, iwefhweoi, ….
集合的归纳定义方法 集合定义的自然数
-4-
❖集合族的概念
定义1.7:称每个元素都是集合的集合为集合族 (collection)。 若集合族C可表示为C = { Sd | dD },则称D为 集合族C的标志集(index set)。
C = {{0}, {0, 1}, {0, 1, 2}, …} C = {Nd | dI+}
S = {123, 55, 1+2, -100, (99×3)/10, …} ? S = {x | x是一算术表达式} ? (1) 如果x是整数,则xS(是算术表达式) (2) 如果x, y S ,则(+ x) 、(– x) 、(x + y) 、(x – y) 、(x y) 、(x/y) 均S (均是算术表达式) (3)只有有限次应用条款1、2所得的符号序列S
离散数学第六章
离散数学第六章第二部分集合论引言集合是数学中最为基本的概念,又是数学各分支、自然科学及社会科学各领域的最普遍采用的描述工具。
集合论是离散数学的重要组成部分,是现代数学中占有独特地位的一个分支。
G.康托尔是作为数学分支的集合论的奠基人。
1870年前后,他关于无穷序列的研究导致集合论的系统发展。
1874年他发表了关于实数集合不能与自然数集合建立一一对应的有名的证明。
1878年,他引进了两个集合具有相等的“势”的概念。
然而,朴素集合论中包含着悖论。
第一个悖论是布拉利-福尔蒂的最大序数悖论。
1901年罗素发现了有名的罗素悖论。
1932年康托尔也发表了关于最大基数的悖论。
集合论的现代公理化开始于1908年E.策梅罗所发表的一组公理,经过A.弗兰克尔的加工,这个系统称为策梅罗-弗兰克尔集合论(ZF),其中包括1904年策梅罗引入的选择公理。
另外一种系统是冯*诺伊曼-伯奈斯-哥德尔集合论。
公理集合论中一个有名的猜想是连续统假设(CH)。
K.哥德尔证明了连续统假设与策梅罗-弗兰克尔集合论的相容性,P.J.科恩证明了连续统假设与策梅罗-弗兰克尔集合论的独立性。
现在把策梅罗-弗兰克尔集合论与选择公理一起称为ZFC系统。
本部分主要介绍朴素集合论的主要内容,其中包括集合代数(第六章)、二元关系(第七章)、函数(第八章)、集合的基数(第九章)等。
本部分的先行知识及各部分的关系如下图所示:6.1 集合的基本概念一.集合的表示集合是不能精确定义的基本概念。
直观地说,把一些事物汇集到一起组成一个整体就叫集合,而这些事物就是这个集合的元素或成员。
例如:方程x2-1=0的实数解集合;26个英文字母的集合;坐标平面上所有点的集合;……集合通常用大写的英文字母来标记,例如自然数集合N(在离散数学中认为0也是自然数),整数集合Z,有理数集合Q,实数集合R,复数集合C等。
表示一个集合的方法有两种:列元素法和谓词表示法,前一种方法是列出集合的所有元素,元素之间用逗号隔开,并把它们用花括号括起来。
离散数学第六章课件
2.格
定义6-1.1格:设<A,≤>是一个偏序集,如果 A中任意两个元素都存在着最大下界和最小上 界,则称<A,≤>是格。
以上5个图中,任何两个元素都有最小上界和最大下界
2018/11/12 5
格的判定
例6-1.1 判断下列偏序集是否是格?
e
e d
f b c
d
c
a b
2018/11/12 3
最小上界、最大下界
最小上界:设<A,≤>为一偏序集且BA,a为 B的任一上界,若对B的所有上界y均有a≤y,则 称a为B的最小上界(上确界),记作LUB B
最大下界:若b为B的任一下界,若对B的所有 下界z,均有z≤b,则称b为B的最大下界(下确 界),记作GLB B 把具有两个元素集合{a,b}的最小上界(最大 下界)称为元素a,b的最小上界(最大下界)
2018/11/12 15
6.格相关的性质定理
定理6-1.1 在一个格<A,≤>,对于任意的a,b 结论很有用!!! A,都有 a≤a∨b, b≤a∨b a∧b≤a, a∧b≤b
证明: a和b的并是a、b的最小上界,所以 a≤a∨b 同理 b≤a∨b 由对偶原理: a∧b≤a, a∧b≤b
子格判定
注意证明方法
例6-1.4:<s,≤>是一个格,任取a s,构造s的 子集:T={x|xs且x≤a},则<T,≤>是<s,≤>的 子格.
证明:对于任意的x,yT,必有x≤a,y≤a a是x,y的上界,最小上界≤任一上界 x∨y≤a x∧y≤x≤a 所以x∨yT, x∧yT <T,≤>是<s,≤>的子格
离散数学 第六章的 ppt课件
例如N Z Q R C,但Z ⊈ N。显然对任何集合A都有A A。
定义6.2 设A,B为集合,如果A B且B A,则称A与B相等,记作A=B。 如果A与B不相等,则记作A≠B。
符号化表示为: A = B A B B A
1. 集合的广义并与广义交
定义6.10 设A为集合,A的元素的元素构成的集合称为A的广 义并,记为∪A。符号化表示为
广义并 A = { x | z ( zA xz )}
定义6.11 设A为非空集合,A的所有元素的公共元素构成的 集合称为A的广义交,记为∩A。符号化表示为
广义交 A= { x | z ( zA xz )}
A B=B A
(6.29)
(A B) C=A (B C) A =A A A= A B=A C B=C
(6.30) (6.31) (6.32) (6.33)
离散数学 第六章的
25
书本88页
例6.5 设A={{a},{a,b}}
计算∪∪A,∩∩A和∩∪A∪(∪∪A-∪∩A)。
解: ∪A={a,b}
∩A={a}
∪∪A=a∪b
∩∩A=a
∩∪A=a∩b
∪∩A=a
∩∪A∪(∪∪A-∪∩A)
=(a∩b)∪((a∪b)-a)
=(a∩b)∪(b-a)
=b
所以∪∪A=a∪b,∩∩A=a,∩∪离散A∪数学(∪第∪六A章-的 ∪∩A)=b。
26
6.4 集合恒等式(P92)
集合算律 1.只涉及一个运算的算律:
离散数学 第六章的
12
集合运算的表示
文氏图
A
B
AB
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
通路与回路
通路,回路 简单通路,简单回路 初级通路,初级回路 初级通路判定定理
2019/12/14
4
应用离散数学 第六章 第2讲
通路和回路
通路,回路:给定图G=<V, E>.设G中顶点
和边的交替序列为Γ=v0e1v1e2…elvl.若Γ满足 如下条件:vi-1是ei端点(G为有向图时,要 求vi-1是ei起始点,vi是ei的终点),则称Γ 为v0到vl的通路。v0和vl分别称为此通路的 起点和终点。 Γ中所含边的数目称为Γ的长
点割集(举例) Question?
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}
2019/12/14
a be
c
g
f
h
k
dj
i
G1
17
a
b ef
g
k
h
cd j
i
G2
应用离散数学 第六章 第2讲
割点(cut-point / cut-vertex)
第六章 图
第2讲 图的连通性
通信网络
图论应用的一个重要方面就是通信网络。如电话 网络、计算机网络、管理信息系统、医疗数据网 络、银行数据网络、开关网络等。
这些网络的基本要求是网络中的各个用户能够快 速安全地传递信息,不产生差错和故障,同时使 建造和维护网络所需费用低。
2019/12/14
2
度。当v0=vl时,称通路为回路。
a
de
bc
2019/12/14
fgh
i
5
应用离散数学 第六章 第2讲
通路和回路
简单通路:若Γ中所有边各异; 简单回路:类似; 初级通路(路径):若Γ中所有顶点各异,
所有边也各异; 初级回路(圈):类似; 奇圈,偶圈:圈的长度为奇数或偶数。 复杂通路: Γ中有边重复出现; 复杂回路:类似
点割集(vertex cutset)
点割集: 无向图G=<V,E>, V’V, 满足
(1) p(G-V’)>p(G);
(2) 极小性: V’’V’, p(G-V’’)=p(G),
则称V’为点割集.
说明: “极小性”是为了保证点割集概念
的非平凡性
2019/12/14
16
应用离散数学 第六章 第2讲
2019/12/14
6
应用离散数学 第六章 第2讲
通路和回路
回路是通路的特殊情况;
初级通路(回路)是简单通路(回路), 但反之不真;
(顶点各异且边各异则边各异;反之不然)
通路的表示法:
顶点和边的交替序列表示法; 边序列; 在简单图中,可以用顶点序列
2019/12/14
7
应用离散数学 第六章 第2讲
割点: v是割点 {v}是割集 例: G1中f是割点, G2中无割点
2019/12/14
a be
c
g
f
h
k
dj
i
G1
18
a
b ef
g
k
h
cd j
i
G2
应用离散数学 第六章 第2讲
边割集(edge cutset)
边割集: 无向图G=<V,E>, E’E, 满足
(1) p(G-E’)>p(G);
(2) 极小性: E’’E’, p(G-E’’)=p(G),
则称E’为边割集.
2019/12/14
说明: “极小性”是为了保证边割集概念
的非平凡性
19
应用离散数学 第六章 第2讲
边割集(举例)
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)}
证明:类似。
2019/12/14
9
应用离散数学 第六章 第2讲
连通性
无向图的连通性:在无向图G中,若顶点v1 和v2之间存在通路,则称v1与v2是连通的 。规定v1与自身是连通的。
连通图:若无向图G是平凡图,或G中任意 两顶点都是连通的,则称G是连通图。否则 称G为非连通图。
2019/12/14
平凡图
任意两顶点都是连通的
10
应用离散数学 第六章 第2讲
连通分支
连通关系:设G=<V, E>为一无向图,设 R={<x, y>| x, y∈V且x与y连通} 则R是自反的,对称的,并且是传递的,因 而R是V上的等价关系。
连通分支:设R的不同等价类分别为V1,… ,Vk,称它们的导出子图G[V1],…,G[Vk ]为G 的连通分支,其连通分支的个数记为p(G)。
通路和回路
定理3:在一个n阶图中,若从顶点u到v(u 和v不等)存在通路,则从u到v存在长度小 于等于n-1的初级通路。
证明:最多该通路中有n个顶点,如果n个 顶点互不相同(初级通路),则最多为n-1 条边。
2019/12/14
8
应用离散数学 第六章 第2讲
通路和回路
定理4:在一个n阶图中,如果存在v到自身 的简单回路,则从v到自身存在长度不超过 n的初级回路。
p(G-E’)>p(G),即“变得更加不连通”
2019/12/14
14
应用离散数学 第六章 第2讲
割集(cutset)
点割集(vertex cut) 边割集(edge cut) 割点(cut vertex) 割边(cut edge)(桥)(bridge)
2019/12/14
15
应用离散数学 第六章 第2讲
应用离散数学 第六章 第2讲
第六章 第2讲 图的连通性
1.通路,回路 2.连通性,点(边)割集,点连通度,边连通度 3. Whitney定理, 简单连通图,,之间的关系 4. 2-连通, 2-边连通的充要条件 5. 割点, 桥, 块的充要条件
2019/12/14
3
应用离散数学 第六章 第2讲
如何定义连通度
问题: 如何定量比较无向图连通性的强与 弱?
试想??
2019/12/14
13
应用离散数学 第六章 第2讲
如何定义连通度
点连通度: 为了破坏连通性,至少需要删除多 少个顶点?
边连通度: 为了破坏连通性,至少需要删除多
少条边?
连通分支的个数
说明: “破坏连通性”指 p(G-V’)>p(G), 或
若p(G)=1,则G是连通图。
2019/12/14
11
应用离散数学 第六章 第2讲
图中点之间的距离
短程线:若两点是连通的,则称两点之间的 长度最短的通路为两点之间的短程线。
距离:短程线的长度称为两点之间的距离, 记为d(v1,v2)。
2019/12/14
两个连通分支
12
应用离散数学 第六章 第2讲