离散数学(第十四章)
最新离散数学屈婉玲第十四章ppt课件

则称yl (或 yr)是x的左逆元(或右逆元). 关于◦运算,若y∈S 既是 x 的左逆元又是 x 的右逆元,则称 y为x的逆元. 如果 x 的逆元存在,就称 x 是可逆的.
可以证明: 对于给定二元运算,单位元或零元如果存在,则是唯一的. 对于可结合的二元运算,给定元素若存在逆元,则是唯一
定义14.5-6 设◦和∗为S上两个不同的二元运算, (1) 若对任意x,y,z∈S有 (x∗y)◦z=(x◦z)∗(y◦z),
z◦(x∗y)=(z◦x)∗(z◦y), 则称◦运算对∗运算满足分配律. (2) 若和∗都可交换,且对任意x,y∈S有 x◦(x∗y)=x,x∗(x◦y)=x,
则称◦和∗运算满足吸收律.
例1 (1) 自然数集合N上的加法和乘法是N上的二元运算,但 减法和除法不是. (2) 整数集合Z上的加法、减法和乘法都是Z上的二元运算, 而除法不是.求一个数的相反数是Z上的一元运算. (3) 非零实数集R*上的乘法和除法都是R*上的二元运算,而 加法和减法不是.求倒数是R*上的一元运算.
3
实例
(6) SS为S上的所有函数的集合,则合成运算为SS上二元运算. 求反函数不一定是一元运算.
4
二元与一元运算的表示
1.算符 可以用◦, ∗, ·, , , 等符号表示二元或一元运算,称为算符. 对二元运算◦,如果 x 与 y 运算得到 z,记做 x◦y = z 对一元运算, x的运算结果记作x.
2.表示二元或一元运算的方法: 解析公式和运算表 公式表示 例 设R为实数集合,如下定义R上的二元运算∗:
13
消去律
定义14.10 设∘为S上的二元运算,如果对于任意的 x, y, zS 满足以下条件:
离散数学屈婉玲版课后习题

第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3) P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p →q)∧(p →r)⇔(p →(q ∧r))(4)(p ∧⌝q)∨(⌝p ∧q)⇔(p ∨q) ∧⌝(p ∧q)证明(2)(p →q)∧(p →r)⇔ (⌝p ∨q)∧(⌝p ∨r)⇔⌝p ∨(q ∧r))⇔p →(q ∧r)(4)(p ∧⌝q)∨(⌝p ∧q)⇔(p ∨(⌝p ∧q)) ∧(⌝q ∨(⌝p ∧q)⇔(p ∨⌝p)∧(p ∨q)∧(⌝q ∨⌝p) ∧(⌝q ∨q)⇔1∧(p ∨q)∧⌝(p ∧q)∧1⇔(p ∨q)∧⌝(p ∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p →q)→(⌝q ∨p)(2)⌝(p →q)∧q ∧r(3)(p ∨(q ∧r))→(p ∨q ∨r)解:(1)主析取范式(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔ (⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p∨(⌝q∨p))∧(⌝q∨(⌝q∨p))⇔1∧(p∨⌝q)⇔(p∨⌝q) ⇔ M1⇔∏(1)(2) 主合取范式为:⌝(p→q)∧q∧r⇔⌝(⌝p∨q)∧q∧r⇔(p∧⌝q)∧q∧r⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p∨(q∧r))→(p∨q∨r)⇔⌝(p∨(q∧r))→(p∨q∨r)⇔(⌝p∧(⌝q∨⌝r))∨(p∨q∨r)⇔(⌝p∨(p∨q∨r))∧((⌝q∨⌝r))∨(p∨q∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14.在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r ∨q 前提引入⑤¬r ④化简律⑥r ∧¬s 前提引入⑦r ⑥化简律⑧r ∧﹁r ⑤⑦ 合取由于最后一步r ∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有错误!未找到引用源。
清华离散数学(第2版):14.3.1-2

13
群中的术语(续 群中的术语 续)
定义14.16 设G是群,x∈G,n∈Z,则 x 的 n 次幂 xn 定 是群, ∈ , ∈ , 定义 是群 义为
n=0 e xn = xn1 x n > 0 ( x1 )m m = n, n < 0
n∈Z
实例 在<Z3,⊕ >中有 23=(21)3=13=1⊕1⊕1=0 ⊕ 中有 ⊕ ⊕ 在 <Z,+> 中有 (2)3=23=2+2+2=6
8
实例
其中为矩阵乘法 为矩阵乘法, 设半群 V1=<S,>,独异点 V2=<S,,e>. 其中 为矩阵乘法, , e 为2阶单位矩阵 且 阶单位矩阵, 阶单位矩阵
a 0 | a, d ∈ R S = 0 d
a 0 a 0 f 0 d = 0 0
( x1 x 2 ... x n ) 1 = x n x n1 ... x 2 x1
1
1
1
1
等式(5)只对交换群成立 如果G是非交换群 是非交换群, 等式 只对交换群成立. 如果 是非交换群,那么 只对交换群成立
( xy ) = ( xy )( xy )...( xy )
n n个
17
群的性质---群方程存在唯一解 群的性质 群方程存在唯一解
3
实例
是半群, 是普通 例1 (1) <Z+,+>,<N,+>,<Z,+>,<Q,+>,<R,+>是半群,+是普通 是半群 加法, 其中除<Z 外都是独异点. 加法 其中除 +,+>外都是独异点 外都是独异点 (2) 设n是大于 的正整数 是大于1的正整数 是大于 的正整数,<Mn(R),+>和<Mn(R),>都是半群 和 都是半群 和独异点,其中+和 分别表示矩阵加法和矩阵乘法 分别表示矩阵加法和矩阵乘法. 和独异点,其中 和分别表示矩阵加法和矩阵乘法 (3) <P(B),⊕>为半群,也是独异点,其中⊕为集合的对称 为半群, ⊕ 为半群 也是独异点,其中⊕ 差运算. 差运算 (4) <Zn, ⊕>为半群,也是独异点,其中 n={0,1, … , n1}, 为半群, 为半群 也是独异点,其中Z , 为模n加法 加法. ⊕为模 加法 (5) <AA,>为半群,也是独异点,其中为函数的复合运算 为半群, 为半群 也是独异点,其中为函数的复合运算. (6) <R*,>为半群,其中 为非零实数集合,运算定义 为半群, 为非零实数集合, 为半群 其中R*为非零实数集合 如 下:x, y∈R*, xy = y. ∈ 4
《离散数学》讲义(胡盛)

小结
合式公式(命题公式)及其判定 自然语言的翻译(符号化形式)
列出原子命题,并符号化 不同的原子命题使用不同的符号,符号使用最少 选择合适的联结词,根据命题表达的真实含义,而不 拘泥于形式
离散数学
30
1-3 命题公式与翻译
P12(3)(5)ad(7)
离散数学
31
第一章 数理逻辑 1-4 真值表与等价公式
(PQ) (PQ) T F F T
35
1、真值表
例题4 给出(PQ)(PQ)的真值表 公式不论命题变元做何种指派,其真值永为真, 我们把这类公式记为T。
P Q PQ (PQ) P Q PQ T T T F F T F F T F F F F T T T F F T T F T F T F T T T (PQ)( PQ) T T T T
定义1-5.1
给定一命题公式,若无论对分量作怎样的指派,其对 应的真值永为T,则称该命题公式为重言式或永真公 式。 例如:表1-4.4
明天下雨
2. 我们去看电影
房间里有十张凳子
二元运算
离散数学 17
1-2 联结词
析取(),其定义可用如下真值表表示
P T T F Q T F T PQ T T T 今天我在家看电视或去剧场看戏
她可能是100米或400米赛跑的冠军
他昨天作了二十或三十道习题 可兼或
F
F
F
排斥或
二元运算
离散数学 18
它可以是有意义的一般论证,也可以是科学理论中的数学证 明或结论。建立逻辑学的主要目的在于探索出一套完整的规 则,按照这些规则,就可以确定任何特定论证是否有效。这 些规则,通常称为推理规则。
离散数学
6
屈婉玲高教版离散数学部分答案2

第七章部分课后习题参考答案7.列出集合A={2,3,4}上的恒等关系I A ,全域关系E A ,小于或等于关系L A ,整除关系D A .解:I A ={<2,2>,<3,3>,<4,4>}E A ={<2,2>,<2,3>,<2,4>,<3,4>,<4,4>,<3,2>,<3,3>,<4,2>,<4,3>}L A ={<2,2>,<2,3>,<2,4>,<3,3>,<3,4>,<4,4>} D A ={<2,4>}13.设A={<1,2>,<2,4>,<3,3>} B={<1,3>,<2,4>,<4,2>}求A ⋃B,A ⋂B, domA, domB, dom(A ⋃B), ranA, ranB, ran(A ⋂B ), fld(A-B). 解:A ⋃B={<1,2>,<2,4>,<3,3>,<1,3>,<4,2>} A ⋂B={<2,4>}domA={1,2,3} domB={1,2,4} dom(A ∨B)={1,2,3,4}ranA={2,3,4} ranB={2,3,4} ran(A ⋂B)={4}A-B={<1,2>,<3,3>},fld(A-B)={1,2,3} 14.设R={<0,1><0,2>,<0,3>,<1,2>,<1,3>,<2,3>}求R R, R -1, R ↑{0,1,}, R[{1,2}] 解:R R={<0,2>,<0,3>,<1,3>}R -1,={<1,0>,<2,0>,<3,0>,<2,1>,<3,1>,<3,2>}R ↑{0,1}={<0,1>,<0,2>,<0,3>,<1,2>,<1,3>} R[{1,2}]=ran(R|{1,2})={2,3}16.设A={a,b,c,d},1R ,2R 为A 上的关系,其中1R ={},,,,,a a a b b d{2,,,,,,,R a d b c b d c b=求23122112,,,R R R R R R 。
离散数学第14讲

1
知识回顾
定义 为集合, 中元素为第一元素, 中 设A,B为集合,用A中元素为第一元素,B中 , 为集合 中元素为第一元素 元素为第二元素构成有序对。 元素为第二元素构成有序对。所有这样的有 序对组成的集合叫做A和 的笛卡儿积, 序对组成的集合叫做 和B的笛卡儿积,记 作A×B。 × 。 笛卡儿积的符号化表示为: 笛卡儿积的符号化表示为: A × B={<x,y>|x ∈ A ∧ y∈ B} ∈
OBVIOUS: R是A上的传递关系 R。R ⊆ R 是 上的传递关系 。
7
知识回顾
等价关系与划分
是非空集合A上的关系 是自反的、 定义 设R是非空集合 上的关系。若R是自反的、对称的 是非空集合 上的关系。 是自反的 和传递的,则称R是A上的等价关系。 和传递的,则称 是 上的
是非空集合A上的等价关系 定义 设R是非空集合 上的等价关系, ∀x∈A,令 是非空集合 上的等价关系, , [x]R={y| y ∈ A ∧ xRy} 称 [x]R为x关于 的等价类,简称为x的等价类,简记为[x]或x。 关于R的等价类,简称为 的等价类,简记为 或 。 关于 的等价类 是非空集合A上的等价关系 定义 设R是非空集合 上的等价关系,以R的所有等价类作 是非空集合 上的等价关系, 的所有等价类作 为元素的集合称为A关于 的商集,记作A/R,即 为元素的集合称为 关于R的商集,记作 关于 , A/R={[x]R| x ∈ A }
证明: 证明:
设A={x1, x2 ,…, xn},构造相容类序列 构造相容类序列 构造 C0 ⊂ C1 ⊂ C2 ⊂… ⊂ Cn,其中 0 =C 其中C 其中k是满足 不属于C 是满足x 且Ci+1 = Ci ∪{xk} ,其中 是满足 k不属于 i而xk与Ci中 各元素都有相容关系的最小下标。 各元素都有相容关系的最小下标。 由于A的元素个数有限 所以至多经过n-|C|步,就可 的元素个数有限, 由于 的元素个数有限,所以至多经过 步 使此过程结束,此时的相容类就是要找的最大相容 使此过程结束,此时的相容类就是要找的最大相容 类。
离散数学刘任任版第14章答案.ppt

x 的作用域: H (x, y)
5.设谓词公式。判定以下改名是否正确 :
x (P(x, y) Q(x, z))
(1)u(P(u, y) Q(x, z))
错误
(2)u(P(u, y) Q(u, z))
正确
(3) x(P(u, y) Q(u, z))
x0 D或y0 D, 使得G(x0,y)或G(x, y0)为假,
于是,此xo或yo亦弄假 yxG(x, y)
(2) xyG(x,y) yxG(x,y)
证:设D是论域,I是G(x, y)的一个解释。
(a)若 xyG(x,y) 在 I 下的为真,则在 I 下,有
8.
• (1) x(G(x) H ) xG(x) H
• (2) x(G(x) H ) xG(x) H
• 证明(1)
x(G(x) H ) x(7G(x) H ) x7G(x) H 7(xG(x)) H xG(x) H
• 证明(2)
x(G(x) H ) x(7G(x) H ) x7G(x) H 7(xG(x)) H xG(x) H
解:P(x) : x是实数,Q(x) : x是有理数. x(P(x) Q(x))
(2)有些实数是有理数。 解:P(x) : x是实数,Q(x) : 是有理数。
xyPx Q(x)。
(3)并非所有实数都是有理数。 解:P(x) : x是实数,Q(x) : x是有理数. x(P(x) Q(x)) (4)如果明天天气好, 有一些学生将去公园. 解 : P(x) : x是公园, S(x) : x是学生,W :明天天气好. W x(P(x) S(x))
离散数学
习题解答
1、
离散数学第14章,高等教育出版社

本部分主要内容 图的基本概念 欧拉图、哈密顿图 树
.
1
第十四章 图的基本概念
主要内容 图 通路与回路 图的连通性 图的矩阵表示 图的运算 预备知识 多重集合——元素可以重复出现的集合 无序积——AB={{x,y } | xAyB}
.
2
14.1 图
定义14.1 无向图G = <V,E>, 其中 (1) V 为顶点集,元素称为顶点 (2) E为VV 的多重集,其元素称为无向边,简称边
.
8
握手定理
定理14.1 设G=<V,E>为任意无向图,V={v1,v2,…,vn}, |E|=m, 则
n
d(vi ) 2m
i1
证 G中每条边 (包括环) 均有两个端点,所以在计算G中各顶点 度数之和时,每条边均提供2度,m 条边共提供 2m 度.
定理14.2 设D=<V,E>为任意有向图,V={v1,v2,…,vn}, |E|=m, 则
简单性质:边数 mn(n1),n1
2
.
13
n 阶 k 正则图
(1)
(2)
(3)
(1)为K5,(2)为3阶有向完全图,(3)为4阶竞赛图.
定义14.7 n 阶k正则图——==k 的无向简单图 简单性质:边数(由握手定理得)m nk
2
n阶完全图Kn是 n1正则图,
.
14
子图
定义14.8 G=<V,E>, G=<V,E> (1) GG —— G为G的子图,G为G的母图 (2) 若GG且V=V,则称G为G的生成子图 (3) 若VV或EE,称G为G的真子图 (4) V(VV且V)的导出子图,记作G[V] (5) E(EE且E)的导出子图,记作G[E]
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
实例
强连通
单连通
弱连通
二部图
定义14.23 设 G=<V,E>为一个无向图,若能将 V分成 V1和V2 (V1V2=V,V1V2=),使得 G 中的每条边的两个端点都是 一个属于V1,另一个属于V2,则称 G 为二部图 ( 或称二分 图、偶图等 ),称V1和V2为互补顶点子集,常将二部图G 记为<V1,V2,E>.
m 2 ( j 1,2,...,m ) ( 2) m d ( v ) ( i 1, 2,...,n) ( 3) m 2m
n i 1 m ij j 1 ij i ij i, j
(4) 平 行 边 的 列 相 同
13
无向图的关联矩阵
例如 M(G)=
211000 010111 000011 000000 001100
1. 删除顶点及删除边 Gv ——从G中将v及关联的边去掉 GV——从G中删除V中所有的顶点 Ge ——将e从G中去掉 GE——删除E中所有边 2. 点割集与边割集 点割集与割点 定义14.16 G=<V,E>, VV V为点割集——p(GV)>p(G)且有极小性 v为割点——{v}为点割集 定义14.17 G=<V,E>, EE E是边割集——p(GE)>p(G)且有极小性 e是割边(桥)——{e}为边割集
6
有向图的连通性
定义14.20 D=<V,E>为有向图 vi vj(vi 可达 vj)——vi 到vj 有通路 vi vj(vi 与vj 相互可达) 性质 具有自反性(vi vi)、传递性 具有自反性、对称性、传递性 vi 到vj 的短程线与距离 类似于无向图中,只需注意距离表示法的不同 (无向图中d(vi,vj),有向图中d<vi,vj>) 及 d<vi,vj>无对称性
n i 1 m ij
m 0 ( j 1,2,...,m) ( 2) ( m 1) d ( v ), ( m ( 3) m 0
(1)
m j 1 ij i j 1 ij
ij
1) d ( vi ), i 1, 2,...,n
(4) 平行边对应的列相同
14.3 图的连通性
无向图的连通性 (1) 顶点之间的连通关系:G=<V,E>为无向图 ① 若 vi 与 vj 之间有通路,则 vivj ② 是V上的等价关系 R={<u,v>| u,v V且uv} (2) G的连通性与连通分支 ① 若u,vV,uv,则称G连通 ② V/R={V1,V2,…,Vk},称G[V1], G[V2], …,G[Vk]为连通分 支,其个数 p(G)=k (k1); k=1,G连通
1
短程线与距离
(3) 短程线与距离 ① u与v之间的短程线:uv,u与v之间长度最短的通路 ② u与v之间的距离:d(u,v)——短程线的长度 ③ d(u,v)的性质: d(u,v)0, u≁v时d(u,v)= d(u,v)=d(v,u) d(u,v)+d(v,w)d(u,w)
2
无向图的连通度
称 (pij)nn 为D的可达矩阵,记作P(D),简记为P. 由于viV,vivi,所以P(D)主对角线上的元素全为1. 由定义不难看出, D 强连通当且仅当 P(D)为全1矩阵. 下图所示有向图 D 的可达矩阵为
1, vi 可达v j pij 0, 否则
1 1 P 1 1
17
邻接矩阵的应用
定理14.11 设 A为有向图 D 的邻接矩阵,V={v1, v2, …, vn}为 顶点集,则 A 的 l 次幂 Al(l1)中元素
(l) aij
(l) aii
n n
为D中vi 到vj长度为 l 的通路数,其中 为vi到自身长度为 l 的回路数,而
(l ) a ij 为D中长度为 l 的通路总数, i 1 j 1
图中, ==1,它是 1-连通图 和 1边-连通图
5
几点说明
(Kn)=(Kn)=n1 G非连通,则 ==0 若G中有割点,则=1,若有桥,则=1 若(G)=k, 则G是1-连通图,2-连通图,…,k-连通图,但 不是(k+s)-连通图,s1 若(G)=r, 则G是1-边连通图,2-边连通图,…,r-边连通 图,但不是(r+s)-边连通图,s1 , , 之间的关系. 定理7.5 (G)(G)(G) 请画出一个<<的无向简单图
点连通度与边连通度
定义14.18 G为连通非完全图 点连通度— (G) = min{ |V |V 为点割集 } 规定 (Kn) = n1 若G非连通,(G) = 0 若 (G)k,则称G为 k-连通图 定义14.19 设G为连通图 边连通度——(G) = min{|E|E为边割集} 若G非连通,则(G) = 0 若(G)r,则称G是 r 边-连通图
又若G是简单二部图,V1中每个顶点均与V2中所有的顶点相 邻,则称G为完全二部图,记为 Kr,s,其中r=|V1|,s=|V2|. 注意,n 阶零图为二部图.
10
若|V1| = n,|V2| = m,则记完全二部图G为Kn, m
K2, 3
二部图 判定定理
K3, 3
一个无向图G = <V, E>是二部图当且仅 当G中无奇数长度的回路。
0 1 0 0
0 1 1 1
0 1 1 1
21
2、边不相交的
ቤተ መጻሕፍቲ ባይዱ
G1=<V1,E1,1> G2=<V2,E2,2>
同为无向图或同为有向图 E1∩E2 = φ V1∩V2 =φ
G1与G2是不相交的
G1与G2是边不相交
E1∩E2 = φ
4、图的交
G1=<V1,E1,1> G2=<V2,E2,2> V1∩V2为结点集 E1∩E2为边集合
3
点割集与割点
例3 {v1,v4},{v6}是点 割集,v6是割点. {v2,v5} 是点割集吗? {e1,e2},{e1,e3,e5,e6}, {e8}等是边割集,e8是 桥,{e7,e9,e5,e6} 是边割 集吗? 几点说明: Kn中无点割集,Nn中既无点割集,也无边割集,其中Nn为 n 阶零图. 若G 连通,E为边割集,则 p(GE)=2,V为点割集,则 p(GV)2 4
E1∩E2 = {e1,e2,e5}
G1∪G2
V1∪V2 ={a,b,c,d,e}
E1∪E2 = {e1,e2,e3 , e4,e5,e6 ,e7 , e8,e9,e10}
G1 -G2
G2 –G1
G1⊕G2
V1∪V2 ={a,b,c,d,e}
E1 ⊕ E2 = {e3 , e4,e6 ,e7 , e8,e9,e10}
是可运算的
G1∩G2
G1和G2的交
5、图的并
G1=<V1,E1,1> G2=<V2,E2,2> V1 ∪ V2为结点集 E1 ∪ E2为边集合
是可运算的
G 1 ∪ G2
G1和G2的并
6、图的差
G1=<V1,E1,1> G2=<V2,E2,2> G1与G2的差:
是可运算的
G1 - G 2
在G1中去掉G2的边所得到的图
(1) D中长度为1的通路为8条,其中有1条是回路. D中长度为2的通路为11条,其中有3条是回路. D中长度为3和4的通路分别为14和17条,回路分别 为1与3条. (2) D中长度小于等于4的通路为50条,其中有8条是回路.
20
有向图的可达矩阵(无限制)
定义14.27 设D=<V,E>为有向图. V={v1, v2, …, vn}, 令
19
实例求解
1 2 A 1 1 1 4 A3 3 3 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 3 A2 2 2 1 5 A4 4 4 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1
7
有向图的连通性及分类
定义14.22 D=<V,E>为有向图 D弱连通(连通)——基图为无向连通图 D单向连通——vi,vjV,vivj 或 vjvi D强连通——vi,vjV,vivj 易知,强连通单向连通弱连通 判别法 定理14.8 D强连通当且仅当D中存在经过每个顶点至少一次 的回路 定理14.9 D单向连通当且仅当D中存在经过每个顶点至少一 次的通路
(1) ( 2) ( 3) (4)
(1) a d ( vi ), i 1, 2,...,n j 1 ij n (1) a d ( v j ), i1 ij n
j 1, 2,...,n
(1) a ij m D中 长 度 为1 的 通 路 数 i, j (1) a i1 ii D中 长 度 为1 的 回 路 数 n
e1 e3
v1 e 2 e4 v4
v2 e5 e6 v3
v5
有向图的关联矩阵
有向图的关联矩阵(无环有向图) 定义14.25 有向图D=<V,E>,令 则称 (mij)nm为D的关联矩阵,记为M(D).
性质
1 , vi 为 e j 的 始 点 mij 0 , vi与e j 不 关 联 1 , v 为e 的 终 点 i j
圈的长度都是偶数
11
例1:判断下列图是否为二部图。
v8 v7 v6 v5 v1 v6 v5 v4 v3 v4 v2 v1 v1 v3 v5 v7
同构于
v2 v4 v6 v8
v1 v3
v2
v5
同构于
v3 v2 v4 v6