离散数学平面图
离散数学PPT课件10着色与对偶图(ppt文档)

不同颜色.
四. 图G的正常着色(简称着色):
1. 对G的每个结点指定一种颜色,使得相邻接的两个结点
着不同颜色. 如果G着色用了n种颜色,称G是 n-色的.
2.对G着色时,需要的最少颜色数,称为G的着色数,记作
x(G) .
3.对G着色方法:(下面介绍韦尔奇.鲍威尔法)
3.对G着色方法:(介绍韦尔奇.鲍威尔法 Welch.Powell) ⑴将G中的结点按照度数递减次序排序,(此排序可能不唯 一,因为可能有些结点的度数相同) ⑵用第一种颜色对第一个结点着色,并按照排序,对与前面 着色点不邻接的每一个点着上相同颜色. ⑶用另一种颜色对尚未着色的点, 重复执行⑵和⑶,直到
⑶当且仅当ek只是一个面Fi的边界时, vi*上有一个环ek* 与ek相交.
v3*
则称图G*是G的对偶图.
v5
F1 v1*
F3
可见G*中的结点数等于
F2 v2*
G中的面数.
二. 自对偶图:如果图G对偶图G*与G同构,则称G是自对偶
图. (如下图) 三.对偶图与平面图着色的关系:
对平面图面相邻面用不同颜 色的着色问题,可以归结到对 其对偶图的相邻接的结点着
有共同的学生在读, 就在两门课程之间连一直线.得到图:
结点度数递减排序:
A
B,C,D,G,A,E,F 对图正常着色后, 标有同一种颜色的 G
课,可以同时考试.安排考试日程: 周一: A 周二: B,F 周三:C,E 周四: D,G
F E
作业 P189 – 8.16 8.17
B C
D
所有结点都着上颜色为止.
B C
例如:结点排序:A,B,E,F,H,D,G,C A
离散数学 第八章

欧拉图(续)
例 图中, (1), (4)为欧拉图; (2), (5)为半欧拉图; (3),(6)既不 是欧拉图, 也不是半欧拉图. 在(3), (6)中各至少加几条边才能成为欧拉图?
13
欧拉图的判别法
定理 无向图G为欧拉图当且仅当G连通且无奇度顶点. 无向图G是半欧拉图当且仅当G连通且恰有两个奇度顶点. 定理 有向图D是欧拉图当且仅当D连通且每个顶点的入度都 等于出度. 有向图D具有欧拉通路当且仅当D连通且恰有两个奇度顶 点, 其中一个入度比出度大1, 另一个出度比入度大1, 其余 顶点的入度等于出度.
9
8.2 欧拉图
欧拉通路 欧拉回路 欧拉图 半欧拉图
10
哥尼斯堡七桥问题
欧拉图是能一笔画出的边不重复的回路.
11
欧拉图
欧拉通路: 图中行遍所有顶点且恰好经过每条边一次的通路. 欧拉回路: 图中行遍所有顶点且恰好经过每条边一次的回路. 欧拉图: 有欧拉回路的图. 半欧拉图: 有欧拉通路而无欧拉回路的图. 几点说明: 上述定义对无向图和有向图都适用. 规定平凡图为欧拉图. 欧拉通路是简单通路, 欧拉回路是简单回路. 环不影响图的欧拉性.
第8章 一些特殊的图
8.1 二部图 8.2 欧拉图 8.3 哈密顿图 8.4 平面图
1
8.1 二部图 二部图 完全二部图 匹配 极大匹配 最大匹配 匹配数 完备匹配
2
二部图
定义 设无向图 G=<V,E>, 若能将V 划分成V1 和 V2 (V1V2=V, V1V2=), 使得G中的每条边的两个端 点都一个属于V1, 另一个属于V2, 则称G为二部图, 记为<V1,V2,E>, 称V1和V2为互补顶点子集. 又若G 是简单图, 且V1中每个顶点都与V2中每个顶点相邻, 则称G为完全二部图, 记为Kr,s, 其中r=|V1|, s=|V2|. 注意: n 阶零图为二部图.
离散数学符号表

离散数学符号表∀ 全称量词任意量词∃ 存在量词├ 断定符公式在L 中可证╞ 满足符公式在E 上有效,公式在E 上可满足 ┐ 命题的“非”运算∧ 命题的“合取”“与”运算∨ 命题的“析取”“或”,“可兼或”运算 → 命题的“条件”运算↔ 命题的“双条件”运算的B A ⇔ 命题A 与B 等价关系B A ⇒ 命题A 与B 的蕴涵关系*A 公式A 的对偶公式wff 合式公式iff 当且仅当V 命题的“不可兼或”运算 “异或门” ↑ 命题的“与非” 运算 “与非门” ↓ 命题的“或非”运算 “或非门” □ 模态词“必然”◇ 模态词“可能”φ 空集∈ 属于∉不属于A μ· 集合A 的特征函数P A 集合A 的幂集A 集合A 的点数nA A A ⨯⨯⨯ n A 集合A 的笛卡儿积R R R =2 )(1R R R n n -= 关系R 的“复合” 0ℵ 阿列夫零ℵ 阿列夫⊇ 包含⊃ 真包含∪ 集合的并运算∩ 集合的交运算- ~ 集合的差运算⊕ 集合的对称差运算m + m 同余加m ⨯ m 同余乘〡 限制R x ][ 集合关于关系R 的等价类A /R 集合A 上关于R 的商集)(A R π 集合A 关于关系R 的划分)(A R π 集合A 关于划分π的关系][a 元素a 产生的循环群R a ][ 元素a 形成的R 等价类r C 由相容关系r 产生的最大相容类 I 环,理想)/(n Z 模n 的同余类集合)(mod k b a ≡ a 与b 模k 相等)(R r 关系R 的自反闭包)(R s 关系R 的对称闭包+R ,)(R t 关系R 的传递闭包*R ,)(R rt 关系R 的自反、传递闭包.i H 矩阵H 的第i 个行向量j H . 矩阵H 的第j 个列向量CP 命题演绎的定理CP 规则EG 存在推广规则存在量词引入规则ES 存在量词特指规则存在量词消去规则 UG 全称推广规则全称量词引入规则 US 全称特指规则全称量词消去规则 A I ,0R 恒等关系A 集合A 的补集X X 所有X 到自身的映射X Y 所有从集合X 到集合Y 的函数 )(][A A K 集合A 的势基数R 关系r 相容关系 R 否关系R 补关系1-R c R 逆关系S R 关系R 与关系S 的复合n nR R R R ,关系R 的n 次幂 r rB B B 222,⨯⨯ 布尔代数2B 的r 次幂 r B 2 含有r 2个元素的布尔代数domf 函数f 的定义域前域ranf 函数f 的值域Y X f →: Y X f −→−f 是X 到Y 的函数 ),(y x GCD y x ,最大公约数 ),(y x LCM y x ,的最小公倍数 e 幺元θ 零元1-a 元素a 的逆元 )(Ha aH H 关于a 的左右陪集 )(f Ker 同态映射f 的核或称f 的同态核 A,B,C 合式公式⎪⎪⎭⎫ ⎝⎛k n 二项式系数 ⎪⎪⎭⎫ ⎝⎛p n n n n ,,,21 多项式系数1,n 1到n 的整数集合)1()1(][+--=k x x x x k)1()1(][-++=k x x x x kk n C 组合数),(v u d 点u 与点v 间的距离 )(v d 点v 的度数 )(v d + 点v 的出度 )(v d - 点v 的入度 ),(E V G = 点集为V ,边集为E 的图 G 图G 的补图G G '≅ 图G 与图G '同构 *G 平面图G 的对偶图 WG 图G 的连通分支数 )(G κ 图G 的点连通度 )(G λ 图G 的边连通度 )(G δ图G 的最小点度 )(G ∆图G 的最大点度 AG图G 的邻接矩阵 PG图G 的可达矩阵 MG图G 的关联矩阵 n Kn 阶完全图 m n K ,完全二分图 C复数集 N自然数集包含0在内 +N正自然数集 P素数集 Q有理数集 +Q正有理数集 -Q负有理数集 R实数集 Z整数集 m Z]}[,,]2[,]1{[m Set集范畴 Top拓扑空间范畴 Ab交换群范畴 Grp群范畴Mon 单元半群范畴Ring 有单位元的结合环范畴Rng 环范畴CRng 交换环范畴R-mod 环R的左模范畴mod-R 环R的右模范畴Field 域范畴Poset 偏序集范畴。
离散数学课件_9 树与平面图

1.概念:有向树,根树,树叶,内点,分支
点,层数,树高,祖先,后代,父亲,儿子,
兄弟,有序树,m叉树,完全m叉树,根子树,
左子树,右子树,带权二叉树,最优二叉
树,前缀,前缀码,二元前缀码,二叉树遍
历等;
4
返回本章首页
2019/12/4
第三节 有向树与根树(2)
2.定理: 设T是一棵根树,r是T的树根,则 对于T的任一顶点v,存在唯一的有向路 从r到v;
3.算法:最优二叉树的Huffman算法;
4.前缀码问题:前缀码与二叉树的对应关 系;
5.二叉树的遍历:三种遍历方法,即先根遍 历,中根遍历,后根遍历法.
返回本章首页
5 2019/12/4
第四节 平面图
平面图是很多实际问题的模型. 例如在 集成电路的布线设计中就遇到了平面图 的问题.
1.基本概念:平面图,平面嵌入,面,无限 面(外部面),内部面,边界,次数等;
第九章 树与平面图
树是一类结构较为简单的图,是用途极 为广泛的离散数学模型,特别是二叉树, 它在计算机科学中用得最多.因此在学习 时应很好地掌握好诸如树的充要条件、 生成树、最优生成树、根树、树的各种 算法、及二叉树的访问次序等内容.平面 图是实际背景很强的一类图,能用本章 介绍的方法判断一个图是否为平面图.
2.基本非平面图:K3,3与K5; 3.平面图的欧拉公式; 4.平面图的判定:库拉图斯基定理.
返回本章首页
6 2019/12ቤተ መጻሕፍቲ ባይዱ4
本章小结
本章我们介绍树与平面图,但以介绍树 为主.给出树的定义及树的充要条件, 生成树、最优生成树及最优生成树的克 鲁斯卡尔算法,特别是二叉树,我们讨 论 了 二 叉 树 的 Huffman 算 法 、 前 缀 码 、 二叉树的遍历等问题.最后介绍了一类 实际背景很强的一类图——平面图.
离散数学第七章图论习题课

P286 1、在无向图G中,从结点u到结点v有一条长度为 偶数的通路,从结点u到结点v又有一条长度为奇 数的通路,则在G中必有一条长度为奇数的回路。
证明 :
2、运用 (1) 判断有向图或无向图中通路(回路)的类型。 (2) 求短程线和距离。 (3) 判断有向图连通的类型。
三、图的矩阵表示
1、基本概念。 无向图的邻接矩阵A 根据邻接矩阵判断:各结点的度, 有向图结点 出,入度。 由Ak可以求一个结点到另一个结点长度为k 的路条数. 有向图的可达矩阵P 用P可以判定:各结点的度. 有向图的强分图。 关联矩阵M:是结点与边的关联关系矩阵. 用M判定:各结点的度
设给定图G(如由图所示),则图G的点割集
是
.
应该填写:{f},{c,e}。
定义 设无向图G=<V, E>为连通图,若有点集
V1V,使图G删除了V1的所有结点后,所得的子
图是不连通图,而删除了V1的任何真子集后,所
得的子图是连通图,则称V1是G的一个点割
集.若某个结点构成一个点割集,则称该结点为
割点。
a c
a c
b
d
b
d
a c
a c
b
d
b
d
推论:任何6人的人群中,或者有3人互相认识,或者有 3人彼此陌生。(当二人x,y互相认识,边(x,y)着红色, 否则着兰色。则6人认识情况对应于K6边有红K3或者 有兰K3。)
证明简单图的最大度小于结点数。
证明: 设简单图G有n个结点。对任一结点u,由于G没
离散数学CH04_图论_根树

4.6 树
4.6 树
图中的三棵树T1,T2和T3都是带权2,2,3,3,5
的二叉树,它们的权分别是:
W(T1)=2×2+2×2+3×3+5×3+3×2=38 W(T2)=3×4+5×4+3×3+2×2+2×1=47 W(T3)=3×3+3×3+5×2+2×2+2×2=36 以上三棵树都是带权2,2,3,3,5的赋权二叉树,但不 是最优树。
【例】求图所示的二叉树产 生的前缀码。 解:在图(a)中,每一个 分枝点引出的左侧边标记0, 右侧边标记1。由根结点到 树叶的路经上各边的标记组 成的0、1序列作为对应树叶 的标记,如图 (b)所示。产 生的前缀码为: 01,11,000,0010,0011
4.6 树
定理 任意一个前缀码,都对应一个二叉树。 证明:
4.6 树
给定了一个前缀码,设h是其中最长序列的长度。画出一个高为 h的正则二叉树。按定理9.6.7中描述的办法给各边标记0或1。 每一个结点对应一个0、1序列,它是由根结点到该结点的路经 上各边的标记组成的。如果某个0、1序列是前缀码的元素,则 标记该结点。将已标记结点的所有后代和该结点的射出边全部删 除,得到了一个二叉树,再删除未加标记的树叶,就得到要求的 二叉树。
在通信中常用0、1字符串表示英文字母,即用二进制 数表示英文字母。最少用多少位二进制数就能表示26
个英文字母呢?1位二进数可以表示2=21个英文字母
,两位二进制数可以表示4=22个英文字母,……,n 位二进制数可以表示2n个英文字母。如果规定,可以 用1位二进制数表示英文字母,也可以用两位二进制数 表示英文字母。
4.6 树
定理 在完全m叉树中,其树叶数为t,分枝点数为i,则 (m1)*i=t-1。 证明:
离散数学第17章 平面图

6/2/2013 9:05 PM
Discrete Math. , Chen Chen
19
平面图与对偶图的 阶数、边数与面数之间的关系
CHAPTER seventeen
定理17.17 设G*是连通平面图G的对偶图,n*, m*, r*和n, m, r分别为G*和G的顶点数、边数和面数,则 (1) n*= r (2) m*=m (3) r*=n (4) 设G*的顶点v*i位于G的面Ri中,则dG*(v*i)=deg(Ri) 证明线索 (1)、(2)平凡. (3) 应用欧拉公式. (4) 的证明中注意,桥只能在某个面的边界中,非桥边在两 个面的边界上.
定理17.12 设G为n(n3)阶m条边的简单平面图,则m3n6. 证 设G有k(k1)个连通分支,若G为树或森林,当n3时, m3n6为真. 否则G中含圈,每个面至少由l(l3)条边围成 ,又 l 2 1 l2 l2 在l=3达到最大值,由定理17.11可知m3n6. 定理17.13 设G为n(n3)阶m条边的极大平面图,则m=3n6. 证 由定理17.4, 欧拉公式及定理17.7所证. 定理17.14 设G 为简单平面图,则 (G)5. 证 阶数 n6,结论为真. 当n7 时,用反证法. 否则会推出 2m6n m3n,这与定理17.12矛盾.
轮图都是自对偶图. 图中给出了W6和W7. 请画出它们的对偶图, 从而说明它们都是自对偶图.
6/2/2013 9:05 PM Discrete Math. , Chen Chen 22
第十七章 习题课
CHAPTER seventeen
主要内容 平面图的基本概念 欧拉公式 平面图的判断 平面图的对偶图
平面图有4个面, deg(R1)=1, deg(R2)=3, deg(R3)=2, deg(R0)=8. 请写各面的边界. 定理17.4 平面图各面次数之和等于边数的两倍.
《离散数学》图论 (上)

无向图与有向图
v2
e1
e2
e3
v3
e4
v1
e5 (e1)={( v42, v24 )}
v4
(e2)={( v32, v23 )} (e3)={( v3, v4 )}
(e4)=({ v43, v34 )}
(e5)=({ v4,}v4 )
13
无向图与有向图
A B C
D E F
14
无向图与有向图
第八章 图论
第八章 图论
§8.1 基本概念
§8.1.1 无向图、有向图和握手定理 §8.1.2 图的同构与子图 §8.1.3 道路、回路与连通性 §8.1.4 图的矩阵表示
§8.2 欧拉图 §8.3 哈密尔顿图 §8.4 平面图 §8.5 顶点支配、独立与覆盖
2
无向图与有向图
3
无向图与有向图
一个无向图(undirected graph, 或graph) G 指一个三元组 (V, E, ),其中
vV
vV
24
特殊的图
假设 G=(V, E, ) 为无向图,若 G 中所有 顶点都是孤立顶点,则称 G 为零图(null graph)或离散图(discrete graph);若 |V|=n,|E|=0,则称 G 为 n 阶零图 所有顶点的度数均相等的无向图称为正 则图(regular graph),所有顶点的度数 均为 k 的正则图称为k度正则图,也记作 k-正则图 注:零图是零度正则图
19
握手定理
定理(图论基本定理/握手定理)
假设 G=(V, E, ) 为无向图,则deg(v) 2 E , vV
即所有顶点度数之和等于边数的两倍。
推论
在任何无向图中,奇数度的顶点数必是偶 数。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
又因为任取K3,3中三个结点,至少有两个点不邻接, 所以不能组成一个面,即K3,3中任何 一个面至少由四条边围成,即:所有面 的次数之和deg(r) >=4r=20 又由定理1知:deg(r)=2|E|=18 即18>=20矛盾不。论怎所么以画,K总3,有3不交是叉点平面图。
❖ 平面图基本性质
设G是一个有v个结点e条边的连通简单平面图,若v3, 则:e<=3v-6。等价于: 若不满足e<=3v-6,则G不是连通平面图。
例题:证明k5图不是平面图。
K5图中,v=5,e=10,10 3*v-6=35-6=9
但定理的条件只是必要条件。
如K3,3中v= 6,e =9, e<3v-6=12 满足条件,但K3,3不是平面图。
离散数学
❖ 图论
1 图的基本概念 2 路与回路 3 图的矩阵表示 4 欧拉图与汉密尔顿图 5 平面图 6 对偶图与着色 7 树与生成树
❖ 平面图基本概念
定义1:设G=<V,E>是一个无向图,如果能把G的所有结点和
边画在平面上,且使得任何两条边除了端点外没有其他的交点, 就称G是一个平面图。
(1)
G为k条边,再添加一条边,只有下述两种情况:
面数不变 点树加1 边数加1
点数不变 面数加1 边数加1
(Vk+1)-(ek+1)+rk=2成立
(Vk)-(ek+1)+(rk+1)=2成立
通过上述归纳法证明欧拉公式v-e+r=2成立。
❖ 平面图基本性质
例1:证明K3,3不是平面图
证:假设K3,3是平面图,
K5为非平面图
定义3:给定两个图G1和G2,如果 • 它们是同构的, • 或者通过反复插入或删除度数为2的结点后,它们是同构的, 则称G1,G2在2度结点内是同构的。
G
插入度数为2的结点
G’
删除度数为2的结点
G
G”
G中插入/删除度数为2的点后所得图G’ 与 G” 与 G具有 同样的平面性
定理4:一个图是平面图,当且仅当它不包含与
一个无限面。
例如:右图每个面的次数为:
C r4
r5
Deg(r1)=3 Deg(r2)=3 Deg(r3)=5 Deg(r4)=4 Deg(r5)=3
A e1 B r2
E
F r1 e2 r3
e3
D
4
❖ 平面图基本性质
定理1:一个有限平面图,面的次数之和等于边数的2倍,
即:deg(r)=2|E| 证明:eE,e只能以下面两种情况存在:
❖ 对偶图与着色
图形着色问题是与平面图密切相关的图论的应用问 题,该问题最早起源于地图的着色:
一个地图中相邻国家着以不同颜色,那么最小需要多 少种颜色?(四色问题)
为了叙述图形的着色的 有关定理,下面先介绍 对偶图的概念,然后再学习 图的着色。
18
❖ 对偶图与着色
定义1:给定平面图G=<V,E>,它具有面F1,F2,…Fn。
K33或K5在2度结点内同构的子图。
a
d
e
b
c
f
K5
a
bcdFra bibliotekef
K33
例题:
判断下图是否是平面图?
删除度数为2 的结点
G
同构 K33
G包含一个子图G就是它本身,删除1个2度结点后,与K33同构, 所以,G包含一个与K33 在2度结点内同构的子图G。 所以G不是平面图。
❖ 平面图基本性质
例4:证明彼得森图是非平面图
❖ 平面图基本性质 小结:判定给定图是否平面图
• 是否满足e<=3v-6(v>=3),若不满足,则不是平面图; • 若满足e<=3v-6,有可能是,也可能不是平面图(K33),再判断是否有2度顶点内同构于K3
或K5的子图。 若有则是非平面图,否则是平面图。
16
❖ 图论
1 图的基本概念 2 路与回路 3 图的矩阵表示 4 欧拉图与汉密尔顿图 5 平面图 6 对偶图与着色 7 树与生成树
若存在图G*=<V*,E*>满足下列条件:
1.对于图G的每一个面Fi,内部有且仅有一个点vi* V*;
2.对于图G的面Fi,Fj的公共边界ek,有且仅有一条边ek*E* 使
ek*=(vi*,vj*),且ek与ek*相交; 3.当且仅当ek只是一个面Fi的
e1*
v1*
边界时,vi*存在一个环ek*和ek 相交。则图G*为G的对偶图。
8
定理3:设G是一个有v个结点e条边的连通简单平面图, 若v3,则:e<=3v-6。
证明:设G的面数为r,当v=3,e=2时,满足e<=3v-6,即2<=3*3-6=3
若v3,e3时,连通简单G中每一个面的次数deg(ri)3
…… G的总次数deg(ri)=2|E|3r,即2e3r,代入欧拉公式 可得:e<=3v-6。
1.e作为两个面的公共边界 2.e作为一个面的边界
以上两种情况中,e都被重复计算两次,所以公式成立。
C
r5
r4
A
B r2
E
r1
r3F
D
5
定理2(欧拉定理):连通平面图G,共有v个结点e条边和 r个面,则欧拉公式:v-e+r=2成立。
证明:1)若G为平凡图,则v=1,e=0,r=1,v-e+r=2成立。 2)若G为一条边,则具有以下两种情况。
证:(1)反证法
设该图是平面图,由欧拉公式v-e+r=2
得10-15+r=2,解得r=7
h
又在图中任取四点,必有两点不邻接, g
所以每个面至少由5条边包围,
即deg(r)>=5,所以deg(r)>=5r=35
j
又因为deg(r)=2e=30,而30>=35矛盾 i
所以该图不是平面图
d
c fe
b a
14
v=2,e=1,r=1,v-e+r=2
v=1,e=1,r=2,v-e+r=2
3)若G为两条边,则有下述几种情况:
v=3,e=2,r=1,v-e+r=2
v=2,e=2,r=2,v-e+r=2 v=1,e=2,r=3,v-e+r=2
v=2,e=2,r=2 v-e+r=2
4)设G为k条边时公式成立,即vk-ek+rk=2成立,则证明 在G为k+1条边时是否成立:而:
(2)
(3)
非平面图
平面图
平面图
3
❖ 平面图基本概念
定义2
1) 设G是一连通平面图,由图中的边所包围的区域,在区域内既不 包含图的结点,也不包含图的边,这样的区域称为G的一个面, 包围该面的边所构成的回路称为这个面的边界。
2) 面边界的回路长度称作该面的次数,记作deg(r) 。
3) 若面的面积有限称为有限面,否则称为无限面。每个平面图有