离散数学(第十四章)
最新离散数学屈婉玲第十四章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]
数学14章知识树
数学14章知识树全文共四篇示例,供读者参考第一篇示例:数学作为一门重要的学科,被广泛地运用于各个领域。
而在数学的学习过程中,很多时候我们往往会感觉有些知识点相互关联,但却无法构建出一个系统性的框架,难以将其融会贯通。
为了帮助大家更好地理解数学的知识体系,我们可以通过绘制“知识树”的形式,将各个知识点串联起来,形成一个有机的整体。
在本文中,我将为大家介绍一份关于数学的14章知识树,希望可以帮助大家更好地理解数学知识的结构和内在联系。
第一章:基本概念在这一章中,我们将学习到数学的起源和基本概念,包括数的分类、数的性质、集合的概念等。
这是数学学习的基础,建立在这些基本概念之上,我们才能更深入地探索数学的世界。
第二章:初等代数在这一章中,我们将学习关于代数的基本概念和技巧,包括多项式的运算、方程的解法、因式分解等。
初等代数是数学学习的重要阶段,它为我们打下了解决各种数学问题的基础。
第三章:几何学几何学是研究空间和形状的科学,它包括点、线、面、体等基本概念,以及几何图形的性质和相互关系。
通过学习几何学,我们可以更好地理解空间结构,解决与形状和大小相关的问题。
第四章:三角学三角学是研究三角形和三角函数的学科,它包括三角函数的定义、图像、性质和应用等内容。
三角学是数学中一个重要的分支,它在解决各种实际问题中扮演着至关重要的角色。
第五章:微积分微积分是研究变化的数学,它包括导数、微分、积分等概念和技巧。
微积分被广泛地应用于科学、工程、经济等领域,它为我们提供了解决变化和尺度问题的数学工具。
第六章:概率论概率论是研究随机事件的概率和规律的学科,它包括概率的定义、性质、分布等内容。
概率论在各种实际问题中都有着广泛的应用,它帮助我们了解随机现象的规律性和规律。
第七章:数论数论是研究整数的性质和规律的学科,它包括素数、同余、数论函数等内容。
数论在密码学、编码理论等领域有着重要的应用,它帮助我们理解整数之间的关系和规律。
离散数学第讲7
无向图 <V,E> (2) 若|V(G)| 、|E(G)|均为有限数,则称G为有限图。
一个 为A与B的无序积,记作A&B.
是一个有序的二元组
,记作G, 其中
1 , vi可达vj
第十四章 图的(基1本)概念V≠φ称为顶点集,其元素称为顶点或结点。
第十四章 图的基本概念
第十四章 图的(基2本)概念E称为边集,它是无序积V&V的多重子集,其元素称为
所有边互不相同),则称此回路为基本回路或者初级 则V1∪ V2 =V, V1∩V2= φ,由握手定理知
若回路中的所有边e1,e2,…,ek互不相同,则称此回路为简单回路或一条闭迹;
回路、圈。 26 设有向图D=<V,E>中无环, V={v1,v2,…,vn}, E={e1,e2,…,em}, 令aij(1)为顶点vi与邻接到顶点vj边的条数,称(aij(1))n×n为D的邻接矩
第十四章 图的基本概念
例14.1 画出下列 图形。
v1。
。v2
(1) G=<V,E>,其中
V={v1,v2,v3,v4,v5},
v3
。
(1)
E={(v1,v1), (v1,v2), (v2,v3),
v4 。
。v5
(v2,v3), (v1,v5),
(v2,v5), (v4,v5)}。
(2) D=<V,E>,其中
顶点的度数均小于3,问G中至少有多少个顶点?
第十四章 图的基本概念
定义14.5完全图
1. 设G=<V,E>为一个具有n个结点的无向简单图,如 果G中任一个结点都与其余n-1个结点相邻接,则称 G为无向完全图,简称G为完全图,记为Kn。
第十四章-图的基本概念(1)
n阶无向完全图, n阶有向完全图, n阶竞赛图的 边数分别为
n(n-1)/2 ,n(n-1) , n(n-1)/2
设G为n阶无向简单图, v V(G),均有d(V)=k, 则称G为k-正则图;
由定义可知,n阶零图是0-正则图,n阶无向完全图是 (n-1)-正则图,彼得松图是3-正则图。 由握手定理 可知,n阶k-正则图中,边数m=kn/2,因而当k为奇 数时,n必为偶数。
四、 完全图和补图
G=<V , E>为n阶无向简单图,若G中每个顶点均与其 余的n-1个顶点相邻,则称G为n阶无向完全图,记作 Kn(n≥1)
D=<V,E>为n阶有向简单图,若D中每一对顶点间均 有方向相反的两边关联,则称D是n阶有向完全图;
D=<V,E>为n阶有向简单图,若D的基图为n阶 无向完全图, 则称D是n阶竞赛图。
解 易知,除(1)中序列不可图化外,其余各序列都可图 化。但除了(5)中序列外,其余的都是不可简单图化的。 (2)中序列有5个数,若它可简单图化,设所得图为G, 则(G)=max{5,4,3,2,2}=5,这与定理4矛盾。所以(2)中 序列不可简单图化。类似可证(4)中序列不可简单图化。
假设(3)中序列可以简单图化,设G=<V,E>以(3)中 序列为度数列。不妨设V={v1,v2,v3,v4} 且 d(v1)= d(v2)=d(v3)=3,d(v4)=1,由于d(v4)=1,因 而v4只能与v1,v2,v3之一相邻,于是v1,v2,v3 不可能都是3度顶点,这是矛盾的,因而(3)中序列也 不可简单图化。
G[V1]:以V1为顶点集,以G中两个端点都在V1中的边
组成边集的图,称为V1导出的子图。
G[E1]:以E1为边集,以E1中边关联的顶点组成顶点集
离散数学(第十四章)
v4
-1 1 0 0 0 –1 1
e6
0 -1 1 0 0 0 0
e2
e7
e5 e4 M(D)= 0 0 -1 -1 -1 1 -1
v2
e3
v3
100 1100
第十六页,编辑于星期四:十四点 五十八分。
有向图的邻接矩阵(无限制)
定义14.26 设有向图D=<V,E>, V={v1, v2, …, vn}, E={e1, e2, …, em}, 令为顶点 vi 邻接到顶点 vj 边的条数,称为D的邻接矩 阵,记作A(D),或简记为A.
几点说明:
Kn中无点割集,Nn中既无点割集,也无边割集,其中Nn为 n 阶 零图.
若G 连通,E为边割集,则 p(GE)=2,V为点割集,则 p(GV)2
4
第四页,编辑于星期四:十四点 五十八分。
点连通度与边连通度
定义14.18 G为连通非完全图 点连通度— (G) = min{ |V |V 为点割集 } 规定 (Kn) = n1 若G非连通,(G) = 0 若 (G)k,则称G为 k-连通图
e1
v1 e2 v2
e3 e4 e5 e6
v5
v3
v4
第十四页,编辑于星期四:十四点 五十八分。
有向图的关联矩阵
有向图的关联矩阵(无环有向图)
定义14.25 有向图D=<V,E>,令 则称 (mij)nm为D的关联矩阵,记为M(D).
mij
1, 0,
vi为e
的始点
j
vi与e j不关联
1,
vi为e
例1:判断下列图是否为二部图。
v8 v2
v7
v3 v1 同构于
v6
《离散数学》课件第14章图的基本概念
定义14.5(图同构)设两个无向图G1=<V1,E1>, G2=<V2,E2>,如果存在双射函数f:V1→V2,使得对 于 任 意 的 e=(vi,vj)∈E1 当 且 仅 当 e’=(f(vi), f(vj))∈E2,并且e与e’的重数相同,则称G1和G2是 同构的,记作G1≌G2。
若vi=vj,则称ek与vi的关联次 数为2;
若vi不是ek的端点,则称ek与vi 的关联次数为0。
无边关联的顶点称为孤立点 (isolated vertex) 。
19
定义(相邻) 设无向图G=<V,E>, 若∃et∈E且et=(vi,vj),则称vi和vj是相邻的 若ek,el∈E且有公共端点,则称ek与el是相邻的。
素称为有向边,简称边。 由定义,有向图的边ek是有序对<vi,vj>,称vi,
vj是ek的端点,其中vi为ek的始点(origin),vj为ek 的终点(terminus)。
当vi=vj时,称ek为环,它是vi到自身的有向边。
11
每条边都是无向边的图称为无向图(undirected graph)。
定义(邻接与相邻) 设有向图D=<V,E>, 若∃et∈E且et=<vi,vj>,则称vi邻接到vj,vj邻接 于vi。 若ek,el∈E且ek的终点为el的始点,则称ek与el是相 邻的。
20
定义14.4(度) 设G=<V,E>为一无向图,∀v∈V,称 v作为边的端点的次数之和为v的度数,简称为度 (degree),记为d(v)。
定理14.2 (有向图握手定理)设D=<V,E>为任 意的有向图,V={v1,v2,…,vn},|E|=m,则
F14图的基本概念
091离散数学(60). W&M.
§14. 1图
握手定理 无向图中顶点度数之和等于边数的两倍:
d(v) 2 E .
vV
证 每条边均提供 2 度.
v1
v4
图例 注意到 d(v3) = 6 5,
d(v) = 3 + 3 + 6 + 2 = 14, |E| = 7,
v2 v3
091离散数学(60). W&M.
§14. 1图
G = V, E 或 D = V, E. V(G) = V. E(G) = E.
n 阶图: |V| = n.
有限图: |V| < , |E| < .
N4
n 阶零图 Nn: E = .
平凡图: N1.
N1
空图: Ø = V, E = ,
091离散数学(60). W&M.
§14. 1图
一个图会有不同的图解.
G = {a, b, c, d}, {(a, b), (a, c), (a, d), (b, c), (b, d), (c, d)}.
ab
b
1
dc
a 2
dc
图形 1, 2 都是图 G 的图解.
091离散数学(60). W&M.
可图化 原因 可简单图化 原因
(1) 奇个奇点
不可图化
(2) 和是偶数
>n1
(3) 和是偶数
去掉悬挂点
(4) 和是偶数
>n1
(5) 和是偶数
见后
091离散数学(60). W&M.
离散数学图论
如图G1是非连通图, G2是连通图。
G1
G2
21
连通分支:设无向图G=<V, E>,V关于顶点之间的 连通关系 的商集 V/ ={V1,V2,…,Vk},Vi为等价 类,称导出子图G[Vi] (i=1,2,…,k) 为G的连通分 支, 其个数记作p(G)=k。
如: p(G1)=2, p(G2)=1 G是连通图 p(G)=1 n阶零图的连通分支数最多, p(Nn)=n
有圈的长度2。
• 复杂通路和复杂回路: 中的边重复出现。
20
14.3 图的连通性
(23)无向图的连通性 设无向图G=<V, E>,u, vV, u与v连通:u与v之间存在通路. 记作uv. 规定uu。 连通关系: ={<u,v>| u,vV且uv}是等价关系。 连通图:平凡图, 任意两点都连通的图。
注意:图的数学定义与图形表示,在同构的意义 下是一一对应的。
7
(5)几个特殊的图
通常用G表示无向图, D表示有向图, 也常用G泛指 无向图和有向图, 用ek表示无向边或有向边. V(G), E(G) —表示图G的顶点集, 边集.
|V(G)|, |E(G)| —表示图G的顶点数集(阶)和边数.
n 阶图、有限图、零图、平凡图、空图、基图
(6)顶点和边的关联
关联、关联次数、环、孤立点
(7)相邻
vi
vj
点相邻、边相邻
(vi,vj)
ek el
8
(8)邻接
vi
邻接到、邻接于
(9)邻域和关联集
设无向图G, vV(G)
v的邻域、 v的闭邻域、 v的关联集
设有向图D, vV(D)
v的后继元集
离散数学(第14章)陈瑜PPT课件
31.10.2020
计算机科学与工程学院
13
运算的性质
定义14-1.2:设“·”是一个S上的二元代数运算, 如果:
① 对任意的a, b∈S,都有a·b∈S,则称“·”在S上是 封闭的;
② 对任意的a, b∈S,都有a·b=b·a,则称“·”在S上是 可交换的,或称满足交换律。
31.10.2020
计算机科学与工程学院
24
定义14-2.1设S是一个非空集合,f1,f2,…, fm分别是定 义在S上的运算,称集合S和f1,f2,…, fm所组成的系统称 为一个代数系统,简称代数,记为<S,f1,f2,…,fm >。
判断集合S及其上的代数运算是否是代数系统,关键是 判断两点:一是集合S非空,二是这些运算关于S是否 满足封闭性。
31.10.2020
计算机科学与工程学院
15
例2:设A={x|x=2n,n∈N}, 问<A,*>运 算封闭否,<A,+>,<A,/>呢? 解: ∀2r、2s∈A, 2r*2s=2r+s∈A (r+s∈N) ∴<A,*>运算封闭 2、4∈A,2+4∉A,∴<A,+>运算不封闭 2、4∈A,2/4∉A,∴<A,/>运算不封闭
现实世界中有很多代数系统。对于具有相同性质的代数 系统,我们没必要分散进行个别研究,而是进行集中研 究,这就形成了特定的代数系统。本教材只介绍半群、 群、环、域、格、布尔代数等典型的代数系统,其中重 点是半群、群、格与布尔代数。
31.10.2020
计算机科学与工程学院
25
例:常见的代数系统如<Z,+>,<Q,+, ×>,<2A, ∪, ∩>等等。
- 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