离散数学-新第七章

合集下载

离散数学第7章

离散数学第7章

1 v2e4v4e3v3e2v2
初级回路(圈)
2 v2e5v5e6v4e3v3e2v2
初级回路(圈)
3 v2e4v4e3v3e2v2e5v5e6v4e3v3e2v2 复杂回路
…………
5、图中最短的回路。 如图:
6、性质。
定理:在一个
n
阶图中,若从顶点vi

v
存在
j
通路(vi vj ) ,则从 vi 到 vj 存在长度小于等于
n 1的通路。
推论:在一个
n
阶图中,若从顶点vi

v
存在
j
通路(vi vj ) ,则从 vi 到 vj 存在长度小于等于
n 1的初级通路。
6、性质。
定理:在一个 n 阶图中,若vi 到自身存在回路, 则从 vi 到自身存在长度小于等于n 的回路。 推论:在一个 n 阶图中,若vi 到自身存在一个 简单回路,则从vi到自身存在长度小于等于 n
如例1的(1)中,
v1
v5
e1与 v1, v2 关联的次数均为1, e1
e6
e2 与 v2 关联的次数为2, e2 v2 e4 e5
v4
边 e1, e4, e5, e6都是相邻的, v5 为孤立点,v4 为悬挂点,
e3 v3
e6 为悬挂边,e2 为环,e4, e5 为平行边,重数2,
G 为多重图。
孤立点——无边关联的点。
环——一条边关联的两个顶点重合,称此边
为环 (即两顶点重合的边)。
3、相关概念。 (2) 悬挂点——只有一条边与其关联的点,所
对应的边叫悬挂边。 (3) 平行边——关联于同一对顶点的若干条边
称为平行边。平行边的条数称为重数。 多重图——含有平行边的图。 简单图——不含平行边和环的图。

离散数学第七章部分答案

离散数学第七章部分答案

列各组数中,那些能构成无向图的度数列?那些能构成无向简单图的度数列?(1)1,1,1,2,3(2)2,2,2,2,2(3)3,3,3,3(4)1,2,3,4,5(5)1,3,3,3解答:(1),(2),(3),(5)能构成无向图的度数列。

(1),(2),(3)能构成五项简单图的度数列。

设有向简单图D 的度数列为2,2,3,3,入度列为0,0,2,3,试求D 的出度列。

解:因为 出度=度数-入度,所以出度列为2,2,1,0。

设D 是4阶有向简单图,度数列为3,3,3,3。

它的入度列(或出度列)能为1,1, 1,1吗?解:由定理可知,有向图的总入度=总出度。

该有向图的总入度=1+1+1+1=4,总出度=2+2+2+2=8,4!=8,所以它的出度列(或入度列)不能为1,1,1,1。

35条边,每个顶点的度数至少为3的图最多有几个顶点?解:根据握手定理,所有顶点的度数之和为70,假设每个顶点的度数都为3,则 n 为小于等于370的最大整数,即:23 ∴ 最多有23个顶点7.7 设n 阶无向简单图G 中,δ(G )=n-1,问△(G )应为多少?解: 假设n 阶简单图图n 阶无向完全图,在K n 共有2)1(-n n 条边,各个顶点度数之和为n (n-1)∴每个顶点的度数为nn n )1(-=n-1 ∴△(G )=δ(G )=n-1一个n (n ≥2)阶无向简单图G中,n 为奇数,有r 个奇度数顶点,问G的补图G 中有几个奇度顶点?解:在K n 图中,每个顶点的度均为(n-1),n 为奇数,在G中度为奇数的顶点在G 中仍然为奇数,∴共有r 个奇度顶点在G 中7.9 设D是n 阶有向简单图,D’是D的子图,已知D’的边数m ’=n (n-1),问D的边数m 为多少?解: 在D’中m ’=n (n-1) 可见D’为有个n 阶有向完全图,则D=D’ 即D’就是D本身,∴m=n (n-1)有向图D 入图所示。

求D 中长度为4 的通路总数,并指出其中有多少条是回路?又有几条是V3到V4的通路?答: D中长度为四的通路总数:15其中有3条是回路2条是V3到V4的通路评语:此题的结果是对的,但是应该写出求解过程,即:先写出邻接矩阵A,然后求A的四次幂,通过矩阵指出通路或回路的条数。

离散数学(第二版)第7章格和布尔代数和

离散数学(第二版)第7章格和布尔代数和
第七章 格和布尔代数
离散数学(第二版)第7章格和布尔代 数和
第七章 格和布尔代数
7.1 格 与 子 格
本章将讨论另外两种代数系统——格与布尔代数, 它 们与群、 环、 域的基本不同之处是: 格与布尔代数的基集 都是一个偏序集。 这一序关系的建立及其与代数运算之间 的关系是介绍的要点。 格是具有两个二元运算的代数系统, 它是一个特殊的偏序集, 而布尔代数则是一个 特殊的格。
于是, 我们有下列对偶原理。
第七章 格和布尔代数
定理7.1.2 如果命题P在任意格〈L, 〉上成立, 则
将L中符号∨, ∧,
∧, ∨,
P*在任意格〈L, 〉上也成立, 这里P*称为P的对偶式。
在上述对偶原理中, “如果命题P在任意格〈L, 〉
上成立”的含义是指当命题P中的变量取值于L中, 且上确
界运算为∨, 下确界运算为∧, 则P对于它们也成立。
第七章 格和布尔代数
再设a=a∧b, 则a∨b=(a∧b)∨b=b(由吸收律), 即
a∨b=b。
最后, 设b=a∨b, 则由a a∨b可得a b。
因此, (1)中3个命题的等价性得证。
(2) 因为 a a∨b, a a∨c, 故a (a∨b)∧(a∨c)。 又
因为
b∧c b a∨b b∧c c a∨c
条件是b a, 则〈L, 也是偏序集。 我们把偏序集〈L, 和〈L, 称为是相互对偶的。 并且它们所对应的哈
斯图是互为颠倒的。 关于格我们有同样的性质。 定理7.1.1 若〈L, 是一个格, 则〈L, 也是一
个格, 且它的并、 交运算∨r, ∧r对任意a, b∈L满足 a∨rb=a∧b,a∧rb=a∨b
证明 先证幂等性成立。 由吸收律知 a∧a=a∧(a∨(a∧b))=a a∨a=a∨(a∧(a∨b))=a

离散数学第七章二元关系

离散数学第七章二元关系

19
证明
(2) 任取<x,y>, <x,y>∈(FG)1 <y,x>∈FG t (<y,t>∈F∧<t,x>∈G) t (<x,t>∈G1∧<t,y>∈F1) <x,y>∈G1 F1 所以 (F G)1 = G1 F1
20
关系运算的性质
定理7.3 设R为A上的关系, 则 RIA= IAR=R <x,y> <x,y>∈RIA t (<x,t>∈R∧<t,y>∈IA) t (<x,t>∈R∧t=y∧y∈A) <x,y>∈R
例如 A = P(B) = {,{a},{b},{a,b}}, 则 A上的包含关系是 R = {<,>,<,{a}>,<,{b}>,<,{a,b}>,<{a},{a}>, <{a},{a,b}>,<{b},{b}>,<{b},{a,b}>,<{a,b},{a,b}>} 类似的还可以定义: 大于等于关系, 小于关系, 大于关系, 真包含关系等.
注意: 关系矩阵适合表示从A到B的关系或A上的关系(A,B为有 穷集) 关系图适合表示有穷集A上的关系
11
实例
例4 A={1,2,3,4}, R={<1,1>,<1,2>,<2,3>,<2,4>,<4,2>}, R的关系矩阵MR和关系图GR如下:
1 1 0 0 0 0 1 1 MR 0 0 0 0 0 1 0 0
10
关系的表示

离散数学第七章__环

离散数学第七章__环
规定:
n na a a a (n)a (na), 0a 0
则有:
ma na (m n)a m na mn a
0a a 0 0(0为R中零元)
n(a b) na nb
定义 一个集合(R,+,。)叫做环,假如
(a)(b) ab
a(b1 b2 bn ) ab1 ab2 abn
a b
ibn amb1 ambn
(na) b a(nb) n(ab)
规定:
n n a aa a
a0 和
ab ac ab ac 0 a(b c) 0

b c 0 即 b c 消去律成立。
反之,假设消去律成立,因为
ab 0 ab a 0
所以由消去律知若 a
0则 b0
所以环R没有零因子。
推论: 一个环若有一个消去律成立,则另一个消去律 也成立。
a0 1
定义(含单位元的环):(R,。)是单元半 群 常见的环:整数环,有理数环,实数环。 推论:(R,。)不可能构成群。 (因为0元无逆元)
运算规则:
(a b)c ac bc c(a b) ca cb
0a a 0 0 (0为R中零元)
(a)b a(b) ab
则对任何整数都有
a a a
m n
mn
(a ) a
m n
mn
定义:若在一个环R里
a 0, b 0 但 ab 0
则称a是环R的一个左零因子,b是环R的一个右零因子。
例 R={所有模n的剩余类}规定R中的加法和乘法如 下:
[a] [b] [a b] [a][b] [ab]

离散数学-新第七章

离散数学-新第七章

是可传递的。
由上证得 ~也是偏序关系。
2
例1 设 A=1,2,3,6,定义 A 上的整除关系 :
当旦仅当 a 整除 b 时,有 a b 。
由定义 = ( 1 , 1 ) ( 1 , 2 ) ,( 1 , 3 ) , ( 1 , 6 ) ,2 , 2 ) ( ( 2 , 6 , ) ( 3 , 3 ) ,( 3 , 6 , ) ( 6 , 6 , )
第七章 格
一偏序集
1.偏序集
定义7-1 集合L和定义在 L 上的偏序关系 “≤”
一起称为偏序集,用<L;≤ >表示。
<R;≤>,<I:≤>,<2U;>和<N;|>都是偏 序集。
~
若 是集合A上的偏序关系,则 的逆关系 也必是A上的偏序关系,证明如下:
1
1.对任意的 a A,因为 自反,所以有
(7 4) (75 ) (74 ) (75 )
(71)~(75)、(71)~(75)这十个 关系式代表了格。 的定义
12
2.格的性质
定理7-3 在格<L;≤>中,对于任意 1,2L
以下三式中若任意一式成立,那么其它两式也成立.
( 1 )( l 1 l 2 l 1 )( 2 ; )( l 1 l 2 l 2 )( 3 ; ) ( l 2 l 1 )
于是,由(5-5) l1l1(l1l2) (2)
由(1)、(2)和反对称性
得l1(l1l2)l1.
18
定理7-7 (等幂律) 设<L;≤>是格,则对任意 l L ,有
(a )l l l; (b )l l l.
证明 (a)由定理7-6 ,

《离散数学》课件-第七章 图的基本概念

《离散数学》课件-第七章 图的基本概念
• 〔u,v〕∈E1〔f(u),f(v)〕∈E2 • (或<u,v>∈E1 <f(u),f(v)>∈E2) • 且重数相同,则称G1同构于G2,记为
• G1 G2。
• 显然,两图的同构是相互的,即G1同构 于G2,G2同构于G1。
• 由同构的定义可知,不仅结点之间要具 有一一对应关系,而且要求这种对应关 系保持结点间的邻接关系。对于有向图 的同构还要求保持边的方向。
V={a,b,c,d},E={e1,e2,e3,e4,e5,e6}
e1=(a,b), e2=(a,c), e3=(b,d), e4=(b,c), e5=(d,c), e6=(a,d).
它的图形如下图(a)或(b)所示:
a
a
b
d
b
d
c
c
(a)
(b)
如果有些边是有向边,另一些边是无向边, 图G称为混合图。
第七章 图的基本概念
– 7.1 无向图及有向图 – 7.2 通路、回路、图的连通性 – 7.3 图的矩阵表示 – 7.4 最短路径及关健路径
7.1 无向图和有向图
• 什么是图?可用一句话概括,即:图是用 点和线来刻划离散事物集合中的每对事 物间以某种方式相联系的数学模型。
Konigsberg(哥尼斯堡)七桥问题
为偶数.
定理7.2 在任何有向图中,所有结点的入度之 和必等于它们的出度之和.
证明:因为有向图中的每一条有向边都恰好对应 一个出度和一个入度.故所有结点的出度之 和恰好等于有向边的总数.同样地, 所有结 点的入度之和恰好也等于有向边的总数.因 此它们相等.
设V={v1,…,vn}为G的顶点集,则称{d(v1),…d(vn)} 为G的度数序列。
• 如果G2无孤立结点,且由E2所唯一确定,即 以E2为边集,以E2中边关联的结点全体为顶 点集,则称G2是边集E2的导出子图。

离散数学第7章群、环和域

离散数学第7章群、环和域
所以,(x∗y)∗z=x∗(y∗z),故<R,*>是一个半群。 7.1.2 独异点 定义7.1.3 设G,*是半群,如果运算*的单位元eG,
则称半群G,*为含幺半群或独异点。
第7章 群、环和域
若G,*为独异点,且*是可交换的,则称G,*为可换 的独异点。
例如,设A是任一集合,P (A)是A的幂集合。集合并运算 ∪在P (A)上是封闭的,并运算∪的单位元P (A),所以半 群<P (A),∪>是独异点;交运算∩在P (A)上也是封闭的,交运 算∩的单位元AP (A),所以半群<P (A),∩>也是独异点。显
第7章 群、环和域
⑴ (a–1)–1=a ⑵ a*b有逆元,且(a*b)–1=b–1*a–1 证明:⑴ 因a*a–1=a–1*a =e,故(a–1)–1=a ⑵ 因(a*b)*(b–1* a–1)=(a*(b*b–1)*a–1
=a*e*a–1=a*a–1=e 又
(b–1* a–1)*(a*b)=(b–1*a–1)*(a*b) =b–1*(a–1*a)*b=b–1*e*b=b–1*b=e
第7章 群、环和域
返回总目录
第7章 群、环和域
第7章 群、环和域
7.1半群和独异点
7.1.1广群和半群 代数系统<S,*>又称为广群。 定义7.1.1 设<S,*>是代数系统,*是S上的二元运算,如 果*满足结合律,则称代数系统<S,*>为半群。
例如,代数系统<I,+>、R,·、<P(a),∪>、<P(a),∩>、
则称该群为阿贝尔(Abel)群,或称可交换群。 整数加法群I,+中的加法运算是可交换的,所以,整
数加法群是阿贝尔群,群R-0,·中的乘法运算也是可交 换的,所以,R-0,·也是阿贝尔群。

离散数学第七章图的基本概念

离散数学第七章图的基本概念

4.无向图的连通性
若无向图G中任何两顶点都连通,则称G是连通图.
对于任意的无向图G.设V1,V2,…,Vk是顶点之间连通关系的 等价类,则称他们的导出子图为G的连通分支.用p(G)表示G 的连通分支数.
V1 e1
e2 e3
V3
e4 V2
V4
a
de
h
i
b
c
f
g
5.有向图的连通性
若略去有向图D中各边的键头,所得无向图是无向连通图,则 称D是弱连通图(或称D是连通图).
(2) mij d (vi )(i 1,2,..., n)
j 1
mn
nm
n
(3) mij mij d(vi ) 2m
j1 i1
i1 j1
i 1
m
(4) mij 0 vi是孤立点 j 1
(5)若第j列与第k列相同, 则说明e j与ek为平行边.
2.有向图的关联矩阵
设有向图D=<V,E>,V={v1,v2,…,vn},E={e1,e2,…,em} 1, vi为ej的始点
e1,e2,e3},{e1,e2,
e2
e4},{e9}等边割集 ,e9是桥.
e3 V4
e5 e6
V5 e4
V6
e9
V7
7.3 图的矩阵表示
1.无向图的关联矩阵
设无向图G=<V,E>,V={v1,v2,…,vn},E={e1,e2,…,em}
令mij为顶点vi与ej的关联次数, 则称(mij)n×m为G的关联矩阵.记为M(G)
若Γ 满足:vi-1,vi为ei的端点(若G为有向图,vi-1是ei的始 点,vi是ei的终点)i=1,2,…,k,则称Γ 为G中通路,v0,vk分 别称为通路的始点和终点,Γ 中边的数目k称为通路长度.

离散数学--第7章 图论-2(路与连通)

离散数学--第7章 图论-2(路与连通)
u1 v4 v1 v4 v3 u4 v2 u4 u3 G2 v3 u u13 v1 u2 v2 u2
15
连通图可以看成是只有一个连通分支的图,即 w(G ) 1 。
返回 结束
7.2.2 图的连通性
4、有向图的连通
强连通—— G 中任一对顶点都互相可达 (双向) 连通 单向连通—— G 中任一对顶点至少一 向可达

10
(vi v j ) ,则从 vi 到 v j 存在长度小于等于
n 1的路。
证明思路:多于n-1条边的路中必有重复出现的结点,反 复删去夹在两个重复结点之间的边之后,剩余的边数不会 超过n-1条边。
v n 在一个 阶图中,若从顶点 i 到 v j 存在 推论:
通路(vi v j ) ,则从 vi 到 v j 存在长度小于等于
返回 结束
7.2.2 图的连通性
7.2.2 图的j 存在路,称 有向图中,从 vi 到 v j 存在路,称 (注意方向) 2、短程线,距离。 短程线——连通或可达的两点间长度最短的 路。 距离——短程线的长度,
12
vi 到 v j 是 连通的(双向)。 vi 可达 v j 。
1 v1e1v2e5v5e7v6 2 v1e1v2e2v3e3v4e4v2e5v5e7v6
3 v1e1v2e5v5e6v4e4v2e5v5e7v6
…………
初级通路
简单通路
复杂通路
返回 结束
7.2.1 路
例1、(2)
7
图(2)中过 v 2 的回路 (从 v 2 到 v 2 )有:
1 v2e4v4e3v3e2v2 2 v2e5v5e6v4e3v3e2v2
7.2 路与连通
内容:图的通路,回路,连通性。 重点:

《离散数学》课件-第七章 图(A)

《离散数学》课件-第七章 图(A)

d
e6e3
b
e7
e5
c
14
握手定理
• 定理7.1.1 设图G=(V, E)为无向图或有向图,G有n个结点 v1,v2,…,vn,e条边(无向或有向), 则图G中所有结点的度数 之和为边数的两倍,即
n
d (vi ) 2e
i 1
• 证 图中每条边(包括环)均有两个端点, 所以在计算各顶点 • 度数之和时, 每条边均提供2度, m条边共提供2m度.
(1)(5,5,4,4,2,1)
(2)(5,4,3,2,2)
(3)(3,3,2,2,1,1) (4)(d1, d2 , , dn ), d1 d2
n
dn 1且 di为偶数 i 1
解 (1)根据握手定理的推论可知,不是图的结点度数序列,因为有 3个奇数。 (2)中有5个数,最大数是5,根据定理7.1.3,它不是简单图的结 点序列。
K5
正则图
• 根据握手定理,n阶k-正则图的边数 m nk。
2
• 当k为奇数时,n为偶数。 • 当k=0时,0-正则图就是n阶零图。 • n阶无向完全图是(n-1)-正则图。
环图和轮图
定义7.1.12 如果图G =(V,E)的结点集V={v1,v2,vn} (n3),边集E={(v1,v2),(v2,v3),( vn-1,vn), (vn,v1)},则称G为环图,记为Cn。下图是C3,C4 ,C5 ,C6。
19
实例
• 例4 证明不存在具有奇数个面且每个面都具有奇数条棱的 • 多面体.
证 用反证法. 假设存在这样的多面体, 作无向图G=<V,E>, 其中 V={v | v为多面体的面},
E={(u,v) | u,vV u与v有公共的棱 uv}. 根据假设, |V|为奇数且vV, d(v)为奇数. 这与握手定理的 推论矛盾.

离散数学-第七章-图论

离散数学-第七章-图论

5
离 例1、G1=<V,E>
散 数
V={v0, v1, v2,v3}
学 E={(v0,v2),(v0,v3),(v1,v2),(v1,v3),(v2,v3)}
v0
v3
v1



v2


4/24/2020 2:55 PM
G1
6
离 例2、
散 数 学
G2=<V,E> V={v0, v1, v2,v3}
中的所有边,称为删除E´ 。
(2)设vV,用G-v表示从G中去掉v及所关联的 一切边,称为删除结点v;又设V´ V,用G-V´ 表示从G中删除V´中所有结点,称为删除V´ 。
学 u,v之间存在路,则称u,v是连通的,记作uv 。
定义2.3 设无向图G是平凡图或G中任何两个结 点都是连通的,则称G为连通图,否则称G为非连 通图或分离图。

任意一个连通无向图的任两个不同结
七 点都存在一条通路。



4/24/2020 2:55 PM
38

非连通图G可分为几个不相连通的子图,
七 章
边,构成一个无向重图,问题化为图论中简单道路
的问题。


4/24/2020 2:55 PM
3
离 一、图的基本概念
散 数 学
旧金山
丹佛
洛杉矶
第 七 章


4/24/2020 2:55 PM
底特律
芝加哥
纽约 华盛顿
4

散 设A、B是两个集合,称


A&B={{a,b}|aA, bB}

离散数学_第7章 图论 -1-2图的基本概念、路和回路

离散数学_第7章 图论 -1-2图的基本概念、路和回路

第9章 图论
返回总目录
第9章 图论
第7章 图论
图论是一个重要的数学分支。数学家欧拉1736年发 表了关于图论的第一篇论文,解决了著名的哥尼斯堡七 桥问题。克希霍夫对电路网络的研究、凯来在有机化学 的计算中都应用了树和生成树的概念。随着科学技术的 发展,图论在运筹学、网络理论、信息论、控制论和计 算机科学等领域都得到广泛的应用。本章首先给出图、 简单图、完全图、子图、路和图的同构等概念,接着研 究了连通图性质和规律,给出了邻接矩阵、可达性矩阵、 连通矩阵和完全关联矩阵的定义。最后将介绍欧拉图与 哈密尔顿图、二部图、平面图和图的着色、树和根树。
v3
e7
a e6e3
e2
b e5
(本课程仅讨论无向图和有向图)
v4
c
9章 图论
【例7.1.1】无向图G=V(G),E(G),G
其中:V(G)=a,b,c,d
E(G)=e1,e2,e3,e4
G:G(e1)=(a,b) G(e2)=(b,c) G(e3)=(a,c) G(e4)=(a,a)
试画出G的图形。
即,deg(v)=deg-(v)+deg+(v),或简记为d(v)=d-(v)+d+(v)
4)最大出度:+(G) =max deg+(v) | vV
5)最小出度:+(G) = min deg+(v) | vV
6)最大入度: (G) =max deg-(v) | vV
7)最小入度: (G) = min deg-(v) | vV
解:G的图形如图7.1.2所示。
图 7.1.2
由于在不引起混乱的情况下,图的边可以用有序对或无序 对直接表示。因此,图可以简单的表示为:

离散数学-第七章习题答案

离散数学-第七章习题答案

第7章习题答案1.f(x)=2|x|+1是从整数集合到正整数集合的函数,它的值域是什么?解:它的值域是正奇数集合。

2.试问下列关系中哪个能构成函数?(1){〈x,y〉|x,y∈N,x+y<10}(2){〈x,y〉|x,y∈R,y=x2}(3){〈x,y〉|x,y∈R,y2=x}解;(1)、(3)不满足函数的定义,只有(2)是函数。

3.下列集合能够定义函数吗?如果能,求出它们的定义域和值域。

(1){〈1,〈2,3〉〉,〈2,〈3,4〉〉,〈3,〈1,4〉〉,〈4,〈1,4〉〉}(2){〈1,〈2,3〉〉,〈2,〈3,4〉〉,〈3,〈3,2〉〉}(3){〈1,〈2,3〉〉,〈2,〈3,4〉〉,〈1,〈2,4〉〉}(4){〈1,〈2,3〉〉,〈2,〈2,3〉〉,〈3,〈2,3〉〉}解:(1)、(2)、(4)定义的是函数。

(1)的定义域是{1,2,3,4},值域是{〈2,3〉,〈3,4〉,〈1,4〉}(2)的定义域是{1,2,3},值域是{〈2,3〉,〈3,4〉,〈3,2〉}(4)的定义域是{1,2,3},值域是{〈2,3〉}4.设f,g都是函数,并且有f⊆g和dom(g)=dom(f),证明f=g证明:假设f≠g,因为f⊆g和dom(g)=dom(f),则存在x1∈dom(g)和dom(f),使得〈x1,y1〉∈g但〈x1,y1〉∉f,因为f是函数,在定义域上处处有定义,所以必存在y2,使得〈x1,y2〉∈f,由f⊆g得〈x1,y2〉∈g,这与g是函数满足单值性矛盾。

故假设错误,必有f=g。

6.设X={0,1,2},求出X X中的如下函数(1) f2(x)=f(x)(2) f2(x)=x(3) f3(x)=x解:(1)有10个函数,分别是:f1(x)={〈0,0〉,〈1,0〉,〈2,0〉}f2(x)={〈0,1〉,〈1,1〉,〈2,1〉}f3(x)={〈0,2〉,〈1,2〉,〈2,2〉}f4(x)={〈0,1〉,〈1,1〉,〈2,2〉}f5(x)={〈0,2〉,〈1,1〉,〈2,2〉}f6(x)={〈0,0〉,〈1,0〉,〈2,2〉}f7(x)={〈0,0〉,〈1,2〉,〈2,2〉}f8(x)={〈0,0〉,〈1,1〉,〈2,0〉}f9(x)={〈0,0〉,〈1,1〉,〈2,1〉}f10(x)={〈0,0〉,〈1,1〉,〈2,2〉}(2)有4个函数,分别是:f1(x)={〈0,0〉,〈1,1〉,〈2,2〉}f2(x)={〈0,0〉,〈1,2〉,〈2,1〉}f3(x)={〈0,2〉,〈1,1〉,〈2,0〉}f4(x)={〈0,1〉,〈1,0〉,〈2,2〉}(3)有3个函数,分别是:f 1(x )={〈0,0〉,〈1,1〉,〈2,2〉}f 2(x )={〈0,1〉,〈1,2〉,〈2,0〉}f 3(x )={〈0,2〉,〈1,0〉,〈2,1〉}8.设f,g,h 是N → N 的函数, 其中N 是自然数集合,f(n)=n +1, g(n)=2n,⎩⎨⎧=是奇数若是偶数若n n n h 10)(试确定:f f ,f g ,g h ,h g 及(f g) h 。

第7章离散数学

第7章离散数学
根据逻辑蕴涵关系,命题公式: P Q R
应为永真公式,也即在任何解释下,公式的取 值为真,但实际上并非如此。
此时,当P取“1”,Q取“1”,R取“0”时,
PQR 0
也就是说,命题公式P Q R不是永真公式,
即 P,Q R不能成立。所以用命题逻辑已无
法正确地描述上述情况,这就显示了命题逻辑
定义76指导变元约束变元自由变元3536?例79指出各公式的指导变元辖域约束变元和自由变元指出各公式的指导变元辖域约束变元和自由变元?1yxyqxpx??37?1?2yxyqxpx??yxyqxxp???解?1公式中的个体变元x与y是约束变元的辖域是的辖域是约束变元的辖域是的辖域x?yxyqxp?y?38是
符号化为:x(N(x) R(x))。
23
例7.8符号化下列命题: (1)有些学生要参加《离散数学》的期末
考试; (2)有的自然数是素数;
24
解:
(1)设Y (x):x参加《离散数学》期末考试,R(x): x是学生,则命题符号化为:x(R(x) Y(x)) 。
(2)设 N(x) :x是自然数,P(x) :x是素数,则命 题符号化为:x(N(x) P(x)) 。
2
例子:苏格拉底三段论
前提: 所有的人都是要死的; 苏格拉底是人。
结论: 所以,苏格拉底是要死的。 显然,上述三个命题有着密切的关系,当前两
个命题为真时,第三个命题必定是真。 换言之,在命题逻辑中,
设P:所有的人都是要死的; Q:苏格拉底是人; R:苏格拉底是要死的。
3
则苏格拉底三段论符号化为: P,Q R
A(x)
16
17
定义7.4命题函数
7.1.2 量词
19
练习

离散数学第7章习题解答

离散数学第7章习题解答

第7章 习题解答(1),(2),(3),(5)都能组成无向图的度数列,其中除(5)外又都能组成无向简单图的度数列.分析 1° 非负整数列n d d d ,,,21 能组成无向图的度数列当且仅当∑=ni di 1为偶数,即n d d d ,,,21 中的奇数为偶数个.(1),(2),(3),(5)中别离有4个,0个,4个,4个奇数,所以,它们都能组成无向图的度数列,固然,所对应的无向图极可能是非简单图.而(4)中有3个奇数,因此它不能组成无向图度数列.不然就违背了握手定理的推论.2°(5) 虽然能组成无向图的度数列,但不能组成无向简单度数列.不然,若存在无向简单图G,以1,3,3,3为度数列,不妨设G 中极点为4321,,,v v v v ,且1)(=i v d ,于是.3)()()(432===v d v d v d 而1v 只能与432,,v v v 之一相邻,设1v 与2v 相邻,这样一来,除2v 能达到3度外, 43,v v 都达不到3度,这是矛盾的.在图所示的4个图中,(1) 以1为度数列,(2)以2为度数列,(3)以3为度数列,(4)以4为度数列(非简单图).设有几简单图D 以2,2,3,3为度数列,对应的极点别离为4321,,,v v v v ,由于),()()(_v d v d v d +=+所示,)()()(,202)()(22211v d v d v d v d v d -+-+-==-=- 033)()()(,123)()()(,202444333=-=-==-=-==-=-+-+v d v d v d v d v d v d由此可知,D 的出度列为2,2,1,0,且知足∑∑-+=)()(i i v d v d .请读者画出一个有向图.以2,2,3,3为度数列,且以0,0,2,3为入度列,以2,2,1,0为出度列.D 的入度列不可能为1,1,1,1.不然,必有出度列为2,2,2,2(因为))()()(v d v d v d -++=,)此时,入度列元素之和为4,不等于出度列元素之和8,这违背握手定理.类似地讨论可知,1,1,1,1也不能为D 的出席列.不能. N 阶无向简单图的最大度.1-≤∆n 而这里的n 个正整数彼此不同,因此这n 个数不能组成无向简单图的度数列,不然所得图的最大度大于n,这与最大度应该小于等于n-1矛盾.(1) 16个极点. 图中边数16=m ,设图中的极点数为n .按照握手定理可知∑====ni i n v d m 12)(322所以,.16=n(2) 13个极点.图中边数21=m ,设3度极点个数为x,由握手定理有x m 343422+⨯==由此方程解出10=x .于是图中极点数.13103=+=n (3) 由握手定理及各极点度数均相同,寻觅方程nk =⨯242的非负整数解,这里不会出现k n ,均为奇数的情况. 其中n 为阶级,即极点数,k 为度数共可取得下面10种情况.①个极点,度数为48.此图必然是由一个极点的24个环组成,固然为非简单图.②2个极点,每一个极点的度数均为24.这样的图有多种非同构的情况,必然为非简单图.③3个极点,每一个极点的度数均为16.所地应的图也都是非简单图. ④4个极点,每一个极点的度数均为12. 所对应的图也都是非简单图. ⑤6个极点,每一个极点的度数均为8,所对应的图也都是非简单图.⑥个极点,每一个极点的度数均为6.所对应的非同构的图中有简单图,也有非简单图.⑦12个极点,每一个极点的度数均为 4. 所对应的非同构的图中有简单图,也有非简单图.⑧16个极点,每一个极点的度数均为3,所对应的非同构的图中有简单图,也有非简单图.⑨24个极点,每一个极点的度数均为2.所对应的非同构的图中有简单图,也有非简单图.⑩48个极点,每一个极点的度数均为1,所对应的图是唯一的,即由24个2K 组成的简单图.分析 由于n 阶无向简单图G 中,1)(-≤∆n G ,的以①-⑤所对应的图不可能有简单图.⑥-⑨既有简单图,也有非简单图,读者可以画出若干个非同构的图,而⑩只能为简单图.设G 为n 阶图,由握手定理可知∑=≥=⨯=ni n v d 113)(35270,所以,.23370=⎥⎦⎥⎢⎣⎢≤n这里, ⎣⎦x 为不大于x 的最大整数,例如⎣⎦⎣⎦.23370,25.2,22=⎥⎦⎥⎢⎣⎢==由于1)(-=n G δ,说明G 中任何极点v 的度数1)()(-=≥n G v d δ,可是由于G 为简单图,因此1)(-≤∆n G ,这又使得1)(-≤n v d ,于是1)(-=n v d ,也就是说,G 中每一个极点的度数都是1-n ,因此应有1)(-≤∆n G .于是G 为)1(-n 阶正则图,即G 为n 阶完全图.n K由G 的补图G 的概念可知,G G 为n K ,由于n 为奇数,所以, n K 中各项极点的度数1-n 为偶数.对于任意的),(G V v ∈应有),(G V v ∈且1)()(_)(-==n v d v d v d n K G G其中)(v d G 表示v 在G 中的度数, )(v d G 表示v 在G 中的度数.由于1-n 为偶数,所以, )(v d G 与)(v d G 同为奇数或同为偶数,因此若G 有r 个奇度极点,则G 也有r 个奇度极点.由于,'D D ⊆所以,m m ≤'.而n 阶有向简单图中,边数)1(-≤n n m ,所以,应有)1()1('-≤≤=-n n m m n n这就致使)1(-=n n m ,这说明D 为n 阶完全图,且D D ='.图给出了4K 的18个非同构的子图,其中有11个生成子图(8-18),其中连通的有6个11,12,13,14,16,17).图中,n,m 别离为极点数和边数.4K 有11个生成子图,在图中,它们别离如图8-18所示.要判断它们当中哪些是自补图,首先要知道同构图的性质,设1G 与2G 的极点数和边数.若21G G ≅,则21n n =且21m m =.(8)的补图为4)14(K =,它们的边数不同,所以,不可能同构.因此(8)与(14)均不是自补图类似地,(9)的补图为(13),它们也非同构,因此它们也都不是自补图.(10)与(12)互为补图,它们非同构,因此它们都不是自补图.(15)与(17)互为补图,它们非同构,所以,它们都不是自补图.类似地,(16)与(18)互为补图且非同构,所以,它们也都不是自补图.而(11)与自己的补图同构,所以,(11)是自补图.3阶有向完全图共有20个非同构的子图,见图所示,其中(5)-(20)为生成子图,生成子图中(8),(13),(16),(19)均为自补图.分析 在图所示的生成子图中, (5)与(11)互为补图,(6)与(10)互为补图,(7)与(9)互为补图,(12)与(14)互为补图,(15)与(17)互为补图,(18)与(20)互为补图,以上互为补图的两个图边数均不相同,所以,它们都不是自补图.而(8),(13),(16),(19)4个图都与自己的补图同构,所以,它们都是自补图.不能.分析 在同构的意义下,321,,G G G 都中4K 的子图,而且都是成子图.而4K 的两条边的生成子图中,只有两个是非同构的,见图 中(10)与(15)所示.由鸽巢原理可知, 321,,G G G 中至少有两个是同构的,因此它们不可能彼此都非同构.鸽巢原理m 只鸽飞进n 个鸽巢,其中n m ≥,则至少存在一巢飞入至少][n m只鸽子.这里⎡⎤x 表示不小于x 的最小整数.例如, ⎡⎤,22=⎡⎤.35.2=7.14 G 是唯一的,即便G 是简单图也不唯一.分析 由握手定理可知n m 32=,又由给的条件得联立议程组⎩⎨⎧=-=.3232m n n m 解出.9,6==m n 6个极点,9条边,每一个极点的度数都是3的图有多种非同构的情况,其中有多个非简单图(带平行边或环),有两个非同构的简单图,在图 中(1),(2)给出了这两个非同构的简单图.知足条件的非同构的简单图只有图 中,(1),(2)所示的图,(1)与(2)所示的图,(1)与(2)是非同构的.注意在(1)中不存在3个彼此相邻的极点,而在(2)中存在3个彼此相邻的极点,因此(1)图与(2)图非同构.下面分析知足条件的简单图只有两个是非同构的.首先注意到(1)中与(2)中图都是6K 的生成子图,而且还有这样的事实,设21,G G 都是n 阶简单图,则21G G ≅当且仅当21G G ≅,其中21,G G 别离为1G 与2G 的补图.知足要求的简单图都是6阶9条边的3正则图,因此它们的补图都为6阶6条边的2正则图(即每一个极点度数都是2).而6K 的所有生成子图中,6条边2正则的非同构的图只有两个,见图中(3),(4)所示的图,其中(3)为(1)的补图,(4)为(2)的补图,知足要求的非同构的简单图只有两个.但知足要求的非同简单图有多个非同构的,读者可自己画出多个来. 将6K 的极点标定顺序,讨论1v 所关联的边.由鸽巢原理(见 题),与1v 关联的5条边中至少有3条边颜色相同,不妨设存在3条红色边,见图中(1)所示(用实线表示红色的边)并设它们关联另外3个极点别离为.,,642v v v 若642,,v v v 组成的3K 中还有红色边,比如边(42,v v )为红色,则421,,v v v 组成的3K 为红色3K ,见图中(2)所示.若642,,v v v 组成的3K 各边都是蓝色(用虚线表示),则642,,v v v 组成K为蓝色的.的3在图所示的3个图中,(1)为强连通图,(2)为单向连通图,但不是强连通的,(3)是弱连通的,不是单向连通的,更不是强连通的.分析在(1)中任何两个极点之间都有通路,即任何两个极点都是彼此可达的,因此它是强连能的.(2)中c不可达任何极点,因此它不是强连通的,但任两个极点存在一个极点可达另外一个极点,所以,它是单向可达的.(3)中ca,彼此均不可达,因此它不是单向连通的,更不是强连通的.判断有向图的连通性有下面的两个判别法.1°有向图D是强连通的当且仅当D中存在通过每一个极点至少一次的回路.2°有向图D是单向连通的当且仅当D中存在通过每一个极点至少一次的通路.(1) 中abcda为通过每一个极点一次的回路,所以,它是强连能的.(2)中abdc为通过每一个极点的通路,所以,它是单向连通的,但没有通过每一个极点的回路,所以,它不是强连通的.(3)中无通过每一个极点的回路,也无通过每一个极点的通路,所以,它只能是弱连通的.'G-的连通分支数是不肯定的.G-的连通分支必然为2,而'VE分析设'E为连通图G的边割集,则'EG-的连通分支数,2)('=-EGp不可能大于2.不然,比如3)('=-EGp,则'EG-由3个小图321,,GGG组成,且'E中边的两个端点分属于两个不同的小图.设''E中的边的两个端点一个在1G中,另一个在2G中,则'''EE⊂,易知2)(''=-EGp,这与'E为边割集矛盾,所以, 2)(''=-EGp.但)('VGp-不是定数,固然它大于等于2,在图中,},{'vuV=为(1)的点割集, ,2)('=-VGp其中G为(1)中图. }{''vV=为(2)中图的点割集,且v为割点, 4)('''=-VGp,其中'G为(2)中图.解此题,只要求出D的邻接矩阵的前4次幂即可.⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=11111A⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=111111112A⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=111111111113A⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=1111111121214AD中长度为4的通路数为4A中元素之和,等于15,其中对角线上元素之和为3,即D中长度为3的回路数为3.3v到4v的长度为4的通路数等于2)4(34=a.分析用邻接矩阵的幂求有向图D中的通路数和回路数应该注意以下几点:1°这里所谈通路或回路是概念意义下的,不是同构意义下的.比如,不同始点(终点)的回路2° 这里的通路或回路不但有低级的、简单的,还有复杂的.例如,12121,,,,v v v v v 是一条长为4的复杂回路.3° 回路仍然看成是通路的特殊情况.读者可利用32,A A ,求D 中长度为2和3的通路和回路数. 答案 A:④.分析 G 中有k N 个k 度极点,有)(k N n -个)1(+k 度极点,由握手定理可知m N n k Nk v d k kni i2))(1()(1=-++⋅=∑=.2)1(n k n N k -+=⇒答案 A:②; B:③.分析 在图中,图(1)与它的补同构,再没有与图(1)非同构的自补图了,所以非同构的无向的4阶自补图只有1个.图(2)与它的补同构,图(3)与它的补也同构,而图(2)与图(3)不同构,再没有与(2),(3)非同构的自补图了,所以,非同械的5阶自补图有2个.答案 A:④; B:③; C:④; D:①.分析 (1)中存在通过每一个极点的回路,如.adcba .(2)中存在通过每一个极点的通路,但无回路.(3)中无通过每一个极点至少一次的通路,其实,d b ,两个极点互不可达.(4)中有通过每一个极点至少一次的通路,但无回路,aedcbd 为通过每一个极点的通路.(5)中存在通过每一个极点至少一次的回路,如.aedbcdba (6)中也存在通过每一个极点的回路,如.baebdcb 由题可知,(1),(5),(6)是强连通的,(1),(2),(4),(5),(6)是单向连能的,(2),(4)是非强连通的单向连通图.注意,强连通图必为单向连通图.6个图中,只有(3)既不是强连通的,也不是连通的,它只是弱连通图.在(3)中,从a 到b 无通路,所以,,,∞>=<b a d 而b 到a 有唯一的通路ba ,所以1,>=<a b d .答案 A:①; B:⑥㈩ C:②; D:④.分析 用Dijkstra 标号法,将计算机结果列在表中.表中第x表示b 到x 的最短路径的权为y,且在b 到x 的最短路径上,Z 邻接到x, 即x 的前驱元为Z.由表可知,a 的前驱元为c(即a 邻接到c),c 的前驱元为b,所以,b 到a 的最短路径为bca ,其权为4.类似地计论可知,b 到c 的最短路径为bc,其权为到d 的最短路径为bcegd ,其权为到e 的最短路径为bce ,其权为7.表答案 A:⑧; B:⑩ C:③; D:③和④.分析 按求最先、最晚完成时间的公式,先求各极点的最先完成时间,再求最晚完成时间,最后求缓冲时间。

离散数学第七章图的基本概念知识点总结docx

离散数学第七章图的基本概念知识点总结docx

图论部分第七章、图的基本概念7.1无向图及有向图无向图与有向图多重集合:元素可以重复出现的集合无序积:A,、B={(x,y) | x A y B}定义无向图G=<V,E>,其中(1)顶点集V二一,元素称为顶点(2)边集E为V 7的多重子集,其元素称为无向边,简称边•例如,G=<V,E>如图所示,其中V={V1, V2,…,V5}, E={(V1,V1),(V1,V2),(V2,V3),(V2,V3),(V2,V5),(V1,V5),(V4,V5)},定义有向图D=<V,E>,其中(1)V同无向图的顶点集,元素也称为顶点(2)边集E为V V的多重子集,其元素称为有向边,简称边•用无向边代替D的所有有向边所得到的无向图称作D的基图,右图是有向图, 试写出它的V和E注意:图的数学定义与图形表示,在同构(待叙)的意义下是一一对应的通常用G表示无向图,D表示有向图,也常用G泛指无向图和有向图,用e k表示无向边或有向边.V(G), E(G), V(D), E(D): G 和D 的顶点集,边集.n阶图:n个顶点的图有限图:V, E都是有穷集合的图零图:E=..平凡图:1阶零图空图:V=.顶点和边的关联与相邻:定义设e k=(v i,v j)是无向图G=<V,E>的一条边,称v i,v j 为e k 的端点,e k与v i (v j)关联.若v i = v j,则称e k与v i (v j)的关联次数为1;若v i = v j, 则称e k为环,此时称e k与v i的关联次数为2;若v i不是e k端点,则称e k与v i的关联次数为0.无边关联的顶点称作孤立点.定义设无向图G=<V,E> , v i,v j V, e k,e i E,若(v i,v j) E,则称v i,v j相邻;若e k,e i 至少有一个公共端点,则称e k,e i相邻.对有向图有类似定义.设e k= v i,v j是有向图的一条边,又称v i是e k的始点,v j是e k的终点,v i邻接到v j, v j邻接于v i.v 的入度d _(v): v 作为边的终点次数之和邻域和关联集邻域和关联集设无向图G 灼IX®,的邻域畀©)=例气〒£伍”如司①八炕]、的R ]邻域 V(v)=A r (v)U{v}[的关轶集J®)=3E £(G)2与咲联}设有向图D 於玖Q'的百堆乎集册护側進E (D)AV 惚Y E(G/\T '的先極元集 Zy (i-r («kcl ;(P )A<a s r>C E(Q AW } *的邻域 A^(v )=r ;(v )UJK (v )、的团邻域 哥何fV 』(i ・)u 阴顶点的度数 设G=<V,E>为无向图,v V,v 的度数(度)d(v): v 作为边的端点次数之和悬挂顶点:度数为1的顶点悬挂边:与悬挂顶点关联的边G 的最大度:(G)=max{d(v)| v V}G 的最小度 (G)=min{d(v)| v V}例如 d(v 5)=3, d(v 2)=4, d(v i )=4, :(G)=4,、(G)=1,v 4是悬挂顶点,e 7是悬挂边,e i 是环设D=<V,E>为有向图,v V,v 的出度d +(v): v 作为边的始点次数之和v 的度数(度)d(v): V 作为边的端点次数之和d(v)= d +(v)+ d -(v)D的最大出度+(D),最小出度、+(D)最大入度厶TD),最小入度_(D)最大度. (D),最小度、(D)例如d+(a)=4, d-(a)=1, d(a)=5,d+(b)=O, d-(b)=3, d(b)=3,+(D)=4, +(D)=0, :"(D)=3,"(D)=1, (D)=5, (D)=3.握手定理定理任意无向图和有向图的所有顶点度数之和都等于边数的2倍,并且有向图的所有顶点入度之和等于出度之和等于边数•证G中每条边(包括环)均有两个端点,所以在计算G中各顶点度数之和时,每条边均提供2度,m条边共提供2m度.有向图的每条边提供一个入度和一个出度,故所有顶点入度之和等于出度之和等于边数推论在任何无向图利有向图中,奇度顶点的个数必为肉数一证设空彷任意團,令曲伪翻!叫叫V|t6l^(v)为朗;则FlU V^V,卩小岭虫,由握手立理可知hH ■工兀)-XrfM + E rf W" M 心由于如罗W)均为他4,所以卩2)也为偶埶但因为吁中顶融齢防奇数,所以强诡为儼L图的度数列设无向图G的顶点集V={v i, V2, ••»*}G 的度数列:d(v i), d(V2),…d (v n)如右图度数列:4,4,2,1,3设有向图D的顶点集V={V1, V2,…v n}D 的度数列:d(v i), d(V2), •••d (v n)D 的出度列:d+(v i), d+(v2), --d+(v n)D 的入度列:d_(v i), d _(v2),…d Iv n)如右图度数列:5,3,3,3出度列:4,0,2,1入度列:1,3,1,2例1 (3,3,3,4), (2,3,4,6,8)能成为图的度数列吗?解不可能•它们都有奇数个奇数•例2已知图G有10条边,4个3度顶点,其余顶点的度数均小于等于2,问G 至少有多少个顶点?解设G有n个顶点•由握手定理,4 3+2 (n-4)_2 10解得n _8例3证明不存在具有奇数个面且每个面都具有奇数条棱的多面体.证用反证法.假设存在这样的多面体,作无向图G=<V,E>, 其中V={v | v为多面体的面},E={(u,v) | u,v V u 与v 有公共的棱u=v}.根据假设,|V|为奇数且- v V, d(v)为奇数.这与握手定理的推论矛盾.多重图与简单图定义(1)在无向图中,如果有2条或2条以上的边关联同一对顶点,则称这些边为平行边,平行边的条数称为重数.⑵在有向图中,如果有2条或2条以上的边具有相同的始点和终点,则称这些边为有向平行边,简称平行边,平行边的条数称为重数.(3) 含平行边的图称为多重图.(4) 既无平行边也无环的图称为简单图.注意:简单图是极其重要的概念匕和勺是平行边蓮数为2临和旳不是平行边不是简单图图的同构定义 设G i =<V i ,E i >, G 2=<V 2,E 2>为两个无向图(有向图),若存在双射函数f: V i >V 2,使得对于任意的V i ,V j V i ,(V i ,V j )・ E l ( <V i ,V j > E i )当且仅当(f(V i ),f(V j )) E 2( Vf(V i ),f(V j )> E 2), 并且,(Vi ,V j )( <V i ,V j >)与(f(V i ),f(V j ))( <f(V i ),f(V j )>) 的重数相同,则称G i 与G 2是同构的,记作G i 三G 2.几点说明:图之间的同构关系具有自反性、对称性和传递性 .能找到多条同构的必要条件,但它们都不是充分条件:① 边数相同,顶点数相同② 度数列相同(不计度数的顺序)③ 对应顶点的关联集及邻域的元素个数相同,等等若破坏必要条件,则两图不同构至今没有找到判断两个图同构的多项式时间算法令和◎是平行边 重数为2 不是例1试画岀4阶3条边的所柯E同构的无向简单图 E K R例2判断下述每一对圉是否同构:度教列不同不同构不同构入(岀】度列不⑶度数列相同但不同构为什么?完全图:n阶无向完全图K n:每个顶点都与其余顶点相邻的n阶无向简单图.简单性质:边数m=n(n-1)/2,「=;=n-1n阶有向完全图:每对顶点之间均有两条方向相反的有向边的n阶有向简单图•简单性质:边数m=n(n-1),八=:=2(n-1),A+=6+=A_=6 _=n_1(1)为§阶完全图乓⑵为3阶有向完全图(3)称为彼得森图(1) ⑵子图:定义设G=<V,E>, G =<V ,E >是两个图(1)若V匸V且E亠E,则称G为G的子图,G为G 的母图,记作G G⑵若G G且V =V,则称G为G的生成子图⑶若V V或E E,称G为G的真子图⑷设V V且V ,以V •为顶点集,以两端点都在V中的所有边为边集的G的子图称作V 的导出子图,记作G[V ]⑸设E E且E ,以E为边集,以E中边关联的所有顶点为顶点集的G的子图称作E的导出子图,记作G[E ]补图:定义设G=<V,E>为n阶无向简单图,以V为顶点集,所有使G成为完全图K n 的添加边组成的集合为边集的图,称为G的补图,记作匚. 若Gm ■,则称G是自补图.例对上一页K4的所有非同构子图,指出互为补图的每一对子图,并指出哪些是自补图.7.2通路、回路、图的连通性简单通(回)路,初级通(回)路,复杂通(回)路定义给定图G=<V,E> (无向或有向的),G中顶点与边的交替序列-=v o e i v i e2 …e i v i,(1)若_i(1半I), V i—1, V i是e i的端点(对于有向图,要求V i-1是始点,V i是终点),则称】为通路,V0是通路的起点,V I是通路的终点,I为通路的长度.又若V0=v l,则称丨为回路•⑵若通路(回路)中所有顶点(对于回路,除V O=V l)各异,贝U称为初级通路(初级回路).初级通路又称作路径,初级回路又称作圈.(3)若通路(回路)中所有边各异,则称为简单通路(简单回路),否则称为复杂通路(复杂回路).说明:表示方法①用顶点和边的交替序列(定义),如-=v o e i v i e2…e i v i②用边的序列,如-=e i e2…e i③简单图中,用顶点的序列,如】=V0V1…v i④非简单图中,可用混合表示法,如-=v o v i e2v2e5v3v4v5环是长度为1的圈,两条平行边构成长度为2的圈.在无向简单图中,所有圈的长度一3;在有向简单图中,所有圈的长度一2.在两种意义下计算的圈个数①定义意义下在无向图中,一个长度为1(1一3)的圈看作21个不同的圈.如v o v i v2v o ,v i v2v o v i , v2v0v l v2, v0v2v l v0 , v l v0v2v1 , v2v l v0v2 看作6 个不同的圈.在有向图中,一个长度为l(l—3)的圈看作l个不同的圈.②同构意义下所有长度相同的圈都是同构的,因而是1个圈.定理在n阶图G中,若从顶点v i到v j (v i=v j)存在通路,则从v i到v j存在长度小于等于n-1的通路.推论在n阶图G中,若从顶点v到v j (v i=v j)存在通路,则从v i到v j存在长度小于等于n—1的初级通路.定理在一个n阶图G中,若存在w到自身的回路,则一定存在v i到自身长度小于等于n的回路.推论在一个n阶图G中,若存在v i到自身的简单回路,则一定存在长度小于等于n的初级回路.无向图的连通性设无向图G=<V,E>,u与V连通:若u与V之间有通路.规定u与自身总连通.连通关系R={<u,v>| u,v V且u、v}是V上的等价关系连通图:任意两点都连通的图.平凡图是连通图.连通分支:V关于连通关系R的等价类的导出子图设V/R={V I,V2,…丫心G[V i], G[V2], ••G[V k]是G的连通分支,其个数记作P(G)=k.G是连通图二p(G)=1短程线与距离u与V之间的短程线:u与V之间长度最短的通路(u与V连通)u与V之间的距离d(u,v): u与V之间短程线的长度若u与v不连通,规定d(u,v)= g性质:d(u,v)_O,且d(u,v)=O := u=vd(u ,v)=d(v,u)d(u ,v)+d (v,w) _d(u ,w)点割集与割点记G-v:从G中删除v及关联的边G-V :从G中删除V中所有的顶点及关联的边G-e :从G中删除eG-E:从G中删除E 中所有边定义设无向图G=vV,E>, V V,若p(G-V )>p(G)且-V V , p(G-V )=p(G),则称V •为G的点割集.若{v}为点割集,则称v为割点.刑仙旳h轴杲点割集必星割虐.{%叫;是点剖隼吗?边割集与割边(桥)定义设无向图G=<V,E>, E E,若p(G-E )>p(G)且-E - E , p(G-E )=p(G),则称E为G的边割集.若{e}为边割集,则称e 为割边或桥.在上一页的图中,{e i,e2},{e i,e3,e5,e6},{e8}等是边割集,e8是桥,{e7,e9,e5,e6}是边割集吗?几点说明:K n无点割集n阶零图既无点割集,也无边割集.若G连通,E为边割集,则p(G-E )=2若G连通,V为点割集,贝U p(G-V )_2有向图的连通性设有向图D=<V,E>u可达V: u到V有通路.规定u到自身总是可达的.可达具有自反性和传递性D弱连通(连通):基图为无向连通图D单向连通:-u,v・V,u可达v或v可达uD强连通:-u,v • V,u与v相互可达强连通=单向连通=弱连通定理(强连通判别法)D强连通当且仅当D中存在经过每个顶点至少一次的回路定理(单向连通判别法)D单向连通当且仅当D中存在经过每个顶点至少一次的通路例下图⑴强连通,(2惮连通,(3}弱连诵(1) (2) ⑶有向图的短程线与距离u到v的短程线:u到v长度最短的通路(u可达v) u与v之间的距离d<u,v>: u到v 的短程线的长度若u不可达v,规定d<u,v>=x.性质:d<u,v>_0,且d<u ,v>=0 = u=v d<u,v>+d<v,w> -d<u ,w>注意:没有对称性7.3图的矩阵表示无向图的关联矩阵定义设无向图G=<V,E>, V={v i, V2,…“*}, E={e i, e2,…,e m},令m ij为v i与e j 的关联次数,称(m ij)n m为G的关联矩阵,记为M(G).性质(1)每一列恰好有两个1或一个2(2) tf-U"⑴«)(+)平行边的列相同有向图的关联矩阵定义设无环有向图D=<V,E>, V={v1, v2, ••»・},E={e1, e2, …e m},令1 片为勺的始点tn严0 »y与弓不关联片为弓的终点则称臨儿伪。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
小元素是唯一的。如果<L;≤>有最大元素,则最大元 素也是唯一的。
证明 设 a 1 和 a2都是<L;≤>的最小元素,则有
a 1 ≤ a2 ,且 a2 ≤ a 1 ,得 a 1 =a2。
9
二、 格
1.格的定义
定义7-4 设<L;≤>是一个偏序集,如果L中
任意两个元素都存在着最大下界和最小上界,则称<L; ≤>是格。
6 4
3
1
(6∧3)∨(6∧4)= 3∨1= 3
于是 6∧(3∨4)≠(6∧3)∨(6∧4)
21
定理7-10 设<L;≤>是格,则对任意
l1,l2,l3 L ,有
(a ) l1 (l2 l3)(l1 l2) (l1 l3) (b ) l1 (l2 l3)(l1 l2) (l1 l3)
由 (54) al1,al2l3 , 且 l2l3l2 , l2l3l3 ,
由传a递 l2,性 al3 ,
又 a l 1 由 ,a l 2 和 5 - 5 ) ( a l 1 有 l 2 ,
由 a l 1 l 2 和 a l 3 和 5 5 ) , a ( ( l 1 l 2 ) l 3 , 即 a b . 类似的方法b可 a以 。证 于明 是由反a对 b.称 17
∧都是二元运算,满足交换律,结合律和吸收律,则在L上必 存在一偏序关系,使得<L ; ≤ >是一个格。
③ => ① 设 l2 l1 ,
由自反l性 1 l1, 因此 l1l1, l1l2,
由 5 - 5 ( ) l1 l1 l2,
又7 由 4 ) l( 1 l2l1.
故由反对 l1称 l2性 l1 .定理结论得
14
定义7-5 设<L;≤>是格,P是包含 格的元素和符号=、≤、≥,∧ ,∨的命题, 将P中的≤、≥,∧和∨分别替换成≥、 ≤、 ∨和∧所得的命题PD称为P的对偶。
是可传递的。Βιβλιοθήκη 由上证得 ~也是偏序关系。
2
例1 设 A=1,2,3,6,定义 A 上的整除关系 :
当旦仅当 a 整除 b 时,有 a b 。
由定义 = ( 1 , 1 ) ( 1 , 2 ) ,( 1 , 3 ) , ( 1 , 6 ) ,2 , 2 ) ( ( 2 , 6 , ) ( 3 , 3 ) ,( 3 , 6 , ) ( 6 , 6 , )
第七章 格
一偏序集
1.偏序集
定义7-1 集合L和定义在 L 上的偏序关系 “≤”
一起称为偏序集,用<L;≤ >表示。
<R;≤>,<I:≤>,<2U;>和<N;|>都是偏 序集。
~
若 是集合A上的偏序关系,则 的逆关系 也必是A上的偏序关系,证明如下:
1
1.对任意的 a A,因为 自反,所以有
定理7-9 (格的保序性)
设<L;≤>是格,则对于任意 l1,l2,l3,l4L ,有
( 1 ) l2 若 l3,则 l1 l2l1 l3,l1 l2l1 l3
( 2 ) l1 若 l3,l2l4 ,则 l1 l2l3 l4,l1 l2l3 l4
证明 (1)
l1l3l1 l1l3l3
根据逆关系的定义
~ p= ( 1 , 1 ) ( 2 , 1 ) , ( 3 , 1 ) , ( 6 , 1 ) , 2 , 2 ) ( ( 6 , 2 , ) ( 3 , 3 ) ,( 6 , 3 , ) ( 6 , 6 , )
的次序图如下
~ p的次序图如下
6
1
2
3
1
2
3
6
3
若<L; >是一个偏序集,则对于任意元素
由 传 递 性 l1, l2 l有 3l4
20
例4 设 L = 1,3,4,6,1 2 ,L上的整除关系
与L构成一个格,记作<L;≤>,
12
3∨( 6 ∧ 4 ) = 3 ∨ 1= 3 (3∨6)∧(3∨4) = 6 ∧ 12 = 6 于是 3∨(6∧4)≠(3∨6)∧(3∨4)
6∧(3∨4) = 6∧12 = 6
1
2
两个元素,如果 1 和 有glb,则glb是唯一的,
2
如果
和 1
有l ub,则lub是唯一的。 2
证明 设 a 1 和 a2 都是 1和 2 的glb,
由定义7-1,则 a2 ≤ a1, a1 ≤ a2 ,于是有 a1= a。2
类似地可以证明, 1 和 2 若存在lub,则
由于6 12,6 18,6 6,因此,lub(2,3)=6。
6 ≤ 12,6 ≤ 18;2 ≤ 12,2 ≤ 18;3 ≤ 12,3 ≤ 18;1 ≤ 12,1 ≤ 18;
因1 ≤ 6,2 ≤ 6,3 ≤ 6,所以glb(12,18)=6。
6
例3 设A= 1,2,3,1,1 8,2 36,整除关系是A上
证明 (a)由(5-4)有
2l3l2, 2l3l3
于是,根据定理5-19有 l1(l2l3)l1l2
又由(5-4)有
l1(l2l3)l1l3
l1 (l2 l3 ) (l1 l2 ) (l1 l3 ) 22
7.2 格是一种代数系统
定理7-10 设<L;∨,∧ >是一个代数系统,其中∨和
最小上界,简记作b=lub( 1, 2)
5
例2 设A= 1,2,3,6,9,1,1 2,2 87“整除”关系是A上
的偏序关系,其次序图如下,因此,它们构成一个
27
偏序集<A; >。
12 18
lub(2,3)=?, glb(12,18)=?, lub(18,27)=?
6
9
2
3
1
有2 6,3 6;2 12,3 12;2 18,3 18。
1, 2, 3 L,有以下六个关系式成立:
1 1
若 1 2 ,2 1,则 1= 2
(7-1) (7-2)
若 1 2 ,2 3,则 1 3 1 1
(7-3)
(7- 1 )
若 1 2 , 2 1,则 1= 2 (7- 2 )
(7 4) (75 ) (74 ) (75 )
(71)~(75)、(71)~(75)这十个 关系式代表了格。 的定义
12
2.格的性质
定理7-3 在格<L;≤>中,对于任意 1,2L
以下三式中若任意一式成立,那么其它两式也成立.
( 1 )( l 1 l 2 l 1 )( 2 ; )( l 1 l 2 l 2 )( 3 ; ) ( l 2 l 1 )
lub也一定是唯一的。 8
3 最小元素和最大元素
定义7-3 设<L;≤>是一偏序集。
(1) 如果存在元素aL,使得对于所有的元素 L,
有a ≤ ,则称a是<L;≤>的最小元素。
(2) 如果存在元素bL,使得对于所有的元素 L,
有 ≤b,则称b是<L;≤>的最大元素。 定理7-2 如果偏序集<L;≤>有最小元素,则最
设 1和 2是偏序集<L;>中的两个元素,
元素a L,如果满足a 1,a 2 ,则称a是 1和 2的
下界。
如果元素a是 1和 2的下界。且对于任意 aL,若 a 也是 1和 2的下界,便有 a a ,则称a是 1和 2的 最大下界,简记作a=glb( 1 , 2).
证明 ① => ② 设 l1l2 l1 ,
由7( 4)l有 2l1,又由自 l2反 l2, 性
于是 75 由 ) l2 ( l1l2.
另一方面 由(7, 4) l1 l2 l2 , 故由反对称 l1 性 l2 有 l2
13
② => ③ 设 l1l2l2,
由 ( 5 4 )l 1 l2 l 1 ,即 l2 l 1
定理7-6 (吸收律)
设<L;≤>是格,则对任意 l1 , l2 L ,有
( a ) l 1 ( l 1 l 2 ) l 1 ; ( b ) l 1 ( l 1 l 2 ) l 1
证明 (b) 由(5-4) l1 (l1 l2 ) l1 (1 )
另一方面,由(5-1)l1l1,由 (54)l1l1l2
(a,a),于是(a,a)~,因此 ~
也是自反的。
2.对任意 a ,b A ,若(a,b)~且(b,a)~ ,
则有(b,a) 且(a,b) ,必有a = b,
因此 ~是反对称的。
3.对任意a,b,c A,若(a,b)~,(b,c)~,
则有(c,b)且(b,a),必有 (c,a),于是(a,c)~ ,因此 ~
定义7-2 设 1和 2是偏序集<L; >中的两个元素,
元素 b L ,如果满足 1 b, 2 b,则称 b是 1 和 2的上界。
如果元素 b是 1和 2的上界,且对于任意bL,若 b
也是 1和 2的上界,便有b b,则称 b 是 1和 2的
的偏序关系,其次序图如下
36
试问 glb(18,12)=?, lub(2,3)=?
2≤18,2 ≤ 12;3 ≤ 18,3 ≤ 12,1 ≤ 18,1 ≤ 12。
18
12
2
3
1
但glb(18,12)不存在。
类似地,12,18 和 36 均是 2 和 3 的上界, 但 lub(2,3)不存在。
7
定理7-1 设 和 是偏序集<L;≤>的
若 1 2 , 2 3,则 1 3 (7- 3)
相关文档
最新文档