离散数学--6.4几种特殊的图
合集下载
离散数学--一些特殊的图ppt教学共39页文档
40、人类法律，事物有规律，这是不 容忽视 的。— —爱献 生
6、最大的骄傲于最大的自卑都表示心灵的最软弱无力。——斯宾诺莎 7、自知之明是最难得的知识。——西班牙 8、勇气通往天堂，怯懦通往地狱。——塞内加 9、有时候读书是一种巧妙地避开思考的方法。——赫尔普斯 10、阅读一切好书如同和过去最杰出的人谈话。——笛卡儿
Thank you
ห้องสมุดไป่ตู้离散数学--一些特殊的图ppt教学
36、如果我们国家的法律中只有某种 神灵， 而不是 殚精竭 虑将神 灵揉进 宪法， 总体上 来说， 法律就 会更好 。—— 马克·吐 温 37、纲纪废弃之日，便是暴政兴起之 时。— —威·皮 物特
38、若是没有公众舆论的支持，法律 是丝毫 没有力 量的。 ——菲 力普斯 39、一个判例造出另一个判例，它们 迅速累 聚，进 而变成 法律。 ——朱 尼厄斯
6、最大的骄傲于最大的自卑都表示心灵的最软弱无力。——斯宾诺莎 7、自知之明是最难得的知识。——西班牙 8、勇气通往天堂，怯懦通往地狱。——塞内加 9、有时候读书是一种巧妙地避开思考的方法。——赫尔普斯 10、阅读一切好书如同和过去最杰出的人谈话。——笛卡儿
Thank you
ห้องสมุดไป่ตู้离散数学--一些特殊的图ppt教学
36、如果我们国家的法律中只有某种 神灵， 而不是 殚精竭 虑将神 灵揉进 宪法， 总体上 来说， 法律就 会更好 。—— 马克·吐 温 37、纲纪废弃之日，便是暴政兴起之 时。— —威·皮 物特
38、若是没有公众舆论的支持，法律 是丝毫 没有力 量的。 ——菲 力普斯 39、一个判例造出另一个判例，它们 迅速累 聚，进 而变成 法律。 ——朱 尼厄斯
离散数学 第11章 特殊图
置可用二进制信号表示。试问如何选取鼓轮 16 个部分的材
料才能使鼓轮每转过一个部分得到一个不同的二进制信号， 即每转一周，能得到0000到1111的16个数。
2015/12/25 110-23
电子科技大学离散数学课程组——国家精品课程 双语示范课程
电子科技大学离散数学课程组——国家精品课程 双语示范课程
3、计算机鼓轮设计
假设一个旋转鼓的表面被等 分为 24 个部分，如图所示，其中 每一部分分别由导体或绝缘体构 成，图中阴影部分表示导体，空 白部分表示绝缘体，导体部分给 出信号 1 ，绝缘体部分给出信号 0 。 根据鼓轮转动时所处的位置， 四个触头 A 、B 、C 、 D 将获得一定的信息。因此，鼓轮的位
以上定义既适合无向图，又适合有向图。
2015/12/25
110-6
电子科技大学离散数学课程组——国家精品课程 双语示范课程
欧拉通路和欧拉回路的特征
欧拉通路是经过图中所有边的通路中长度最短 的通路，即为通过图中所有边的简单通路；
欧拉回路是经过图中所有边的回路中长度最短 的回路，即为通过图中所有边的简单回路。 如果仅用边来描述，欧拉通路和欧拉回路就是 图中所有边的一种全排列。
P12 = v1e1v2e2v3e3v4e4v5e5v6e6v7e7v8e9v2e10v4e11v6e12v8e8v1
110-18
2015/12/25
电子科技大学离散数学课程组——国家精品课程 双语示范课程
11.2.3 欧拉图的难点
1. 仅有欧拉通路而无欧拉回路的图不是欧拉图；
2. 图中是否存在欧拉通路、欧拉回路图的判定非 常简单，只需要数一下图中结点的度数即可； 3. 使用 Fleury 算法求欧拉通路 ( 回路 ) 时，每次走 一条边，在可能的情况下，不走桥。
《离散数学》课件第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。
第六章 几个典型的代数系统
普通乘法的幂、 关系的幂、 矩阵乘法的幂等具体的代 数系统都满足这个幂运算规则。
§64子群及其陪集(离散数学)-专业PPT文档-PPT精品文档
故（1）成立。
应用判别条件二 例
给定整数m，证明(mZ,+)是一个群。 证明：注意到(Z,+)是一个群， mZ是Z的非 空子集，因此，只需证(mZ,+)是(Z,+)的子 群。 对任意x,y∈ mZ,存在k,l ∈Z，使得 x=km, y=lm, 于是 x-y=km-lm=(k-l)m ∈ mZ 。 因此， (mZ,+)是(Z,+)的子群，当然本身是 一个群。
判别条件一
证明： 必要性
若H是G的子群，则(1)、(3)显然。
现要证（2）.
(错误证法：由H是G的子群知，H是群，故 对a∈H，有b∈H，使得ab=1，所以b是a 的逆，由a的逆的唯一性，知a-1 =b,而b ∈H ，故 a-1 ∈H 。)
判别条件一
先证H中的单位元就是G中的单位元。 设1G是G中的单位元，1H是H中的单位元。 任取a∈H，则在H中有： 1H a=a， 故在G中也成立。以a-1右乘得
6.4.1 子 群 的 定 义
子群 设（G，·）是一个群， H G，
如果 (H， ·) 仍是一个群，则 （H，·）叫做（G，·）的子群。
真子群 如果G的一个子群H不等于G，
即H G，则（H，·）叫做
（G，·）的真子群。 Note: G的子群H的运算必须与G的运算一样，
比如， （C*，·）不是（C，+）的子群。
❖例. 整数加法群（Z，+）是由1生成的循环群。 （mZ，+）是由m生成的循环群。
❖例.设G是4次对称群（本身不是循环群），由
（1 2）生成的循环子群为{I，（1 2）}。
元素的周期
看由元素a所生成的循环群（a）：
…，a-2，a-1，a0，a，a2，…
应用判别条件二 例
给定整数m，证明(mZ,+)是一个群。 证明：注意到(Z,+)是一个群， mZ是Z的非 空子集，因此，只需证(mZ,+)是(Z,+)的子 群。 对任意x,y∈ mZ,存在k,l ∈Z，使得 x=km, y=lm, 于是 x-y=km-lm=(k-l)m ∈ mZ 。 因此， (mZ,+)是(Z,+)的子群，当然本身是 一个群。
判别条件一
证明： 必要性
若H是G的子群，则(1)、(3)显然。
现要证（2）.
(错误证法：由H是G的子群知，H是群，故 对a∈H，有b∈H，使得ab=1，所以b是a 的逆，由a的逆的唯一性，知a-1 =b,而b ∈H ，故 a-1 ∈H 。)
判别条件一
先证H中的单位元就是G中的单位元。 设1G是G中的单位元，1H是H中的单位元。 任取a∈H，则在H中有： 1H a=a， 故在G中也成立。以a-1右乘得
6.4.1 子 群 的 定 义
子群 设（G，·）是一个群， H G，
如果 (H， ·) 仍是一个群，则 （H，·）叫做（G，·）的子群。
真子群 如果G的一个子群H不等于G，
即H G，则（H，·）叫做
（G，·）的真子群。 Note: G的子群H的运算必须与G的运算一样，
比如， （C*，·）不是（C，+）的子群。
❖例. 整数加法群（Z，+）是由1生成的循环群。 （mZ，+）是由m生成的循环群。
❖例.设G是4次对称群（本身不是循环群），由
（1 2）生成的循环子群为{I，（1 2）}。
元素的周期
看由元素a所生成的循环群（a）：
…，a-2，a-1，a0，a，a2，…
离散数学 一些特殊的图共38页
66、节制使快乐增加并使享受加强。 ——德 谟克利 特 67、今天应做的事没有做，明天再早也 是耽误 了。——裴斯 泰洛齐 68、决定一个人的一生，以及整个命运 的，只 是一瞬 之间。 ——歌 德 69、懒人无法享受休息之乐。——拉布 克 70、浪费时间是一桩大罪过。——卢梭
离散数学 一些特殊的图
•
6、黄金时代是在我们的前面，而不在 我们的 后面。
•
7、心急吃不了热汤圆。
•
8、你可以很有个性，但某些时候请收 敛。
•
9、只为成功找方法，不为失败找借口 (蹩脚 的工人 总是说 工具不 好)。乎 能克服 任何恐 惧。因 为，请 记住， 除了在 脑海中 ，恐惧 无处藏 身。-- 戴尔． 卡耐基 。
第8章 一些特殊的图 [离散数学离散数学(第四版)清华出版社]PPT课件
![第8章 一些特殊的图 [离散数学离散数学(第四版)清华出版社]PPT课件](https://img.taocdn.com/s3/m/0bbf8143f90f76c660371a1f.png)
若街道图（街道的交叉口为顶点）存在欧拉 通路，显然此路是全程最短。
9/16/2020
第四部分：图论（授课教师：向胜军）
11
有向欧拉图的例子
❖一个模数转换中的应用举例：
旋转鼓设计：只需要16个物理触点便可以表示0-15总共16个不同的状态。
如何安排这16个触点使每转过一个触点都得到一个不同的二进制信号。
❖ 连通有向图D具有欧拉通路当且仅当D中除了两个 顶点外，其余顶点的入度均等于出度。这两个特 殊的顶点中，一个顶点的入度比出度大1，另一个 顶点的入度比出度小1。
9/16/2020
第四部分：图论（授课教师：向胜军）
10
中国邮递员问题
(欧拉通路的应用)(加权图)
问题:
邮递员从邮局出发，走遍投递区域的所有街 道，送完邮件后回到邮局，怎样使所走的路线全 程最短。
第八章 一些特殊的图
9/16/2020
§1 二部图 §2 欧拉图 §3 哈密尔顿图 §4 平面图
第四部分：图论（授课教师：向胜军）
1
§1 二部图
无向图G是二部图当且
仅当G中无奇数长度的
❖ 二部图(偶图)：G=<V1,V2,E>
回路。
❖ 完全二部图(完全偶图)：Kn,m，其中|V1| =n, |V2|=m.
（求布鲁英序列）
0000
❖每转一个触点，信号1234变成2345，
000
前者后三位决定了后者的前三位。因此，可把所
0001
1000
001
1001
0010 010 0100
100
有三位二进制数作顶点，从每一个顶点123到 234引一条有向边表示1234这个4位二进
制数，做出表示所有可能的码变换的有向图。于
9/16/2020
第四部分：图论（授课教师：向胜军）
11
有向欧拉图的例子
❖一个模数转换中的应用举例：
旋转鼓设计：只需要16个物理触点便可以表示0-15总共16个不同的状态。
如何安排这16个触点使每转过一个触点都得到一个不同的二进制信号。
❖ 连通有向图D具有欧拉通路当且仅当D中除了两个 顶点外，其余顶点的入度均等于出度。这两个特 殊的顶点中，一个顶点的入度比出度大1，另一个 顶点的入度比出度小1。
9/16/2020
第四部分：图论（授课教师：向胜军）
10
中国邮递员问题
(欧拉通路的应用)(加权图)
问题:
邮递员从邮局出发，走遍投递区域的所有街 道，送完邮件后回到邮局，怎样使所走的路线全 程最短。
第八章 一些特殊的图
9/16/2020
§1 二部图 §2 欧拉图 §3 哈密尔顿图 §4 平面图
第四部分：图论（授课教师：向胜军）
1
§1 二部图
无向图G是二部图当且
仅当G中无奇数长度的
❖ 二部图(偶图)：G=<V1,V2,E>
回路。
❖ 完全二部图(完全偶图)：Kn,m，其中|V1| =n, |V2|=m.
（求布鲁英序列）
0000
❖每转一个触点，信号1234变成2345，
000
前者后三位决定了后者的前三位。因此，可把所
0001
1000
001
1001
0010 010 0100
100
有三位二进制数作顶点，从每一个顶点123到 234引一条有向边表示1234这个4位二进
制数，做出表示所有可能的码变换的有向图。于
离散数学特殊图
(1) 1,1,1,1,4 数为n-1的n阶无向树为星
(2) 1,1,1,2,3
形图，称唯一的分支点为 星心。
(3) 1,1,2,2,2
。 。。。
。
。 。。。 。
。 。。。 。
第8章 特殊图
例9.3：无向树G有5片树叶，3个2度分支点， 其余分支点均为3度，问G有多少个顶点？
解：由握手定理 2m=∑d(vi) 及定理9.1 n = m+1
则有序树。 ⑤ 若T是r元正则树，且所有树叶的层数相
同，则称T为r元完全正则树 ⑥ 若r元完全正则树T是有序树，则称T是
r元有序完全正则树。
第8章 特殊图
例 9.15 。
。。 。 。。 。 。。
二元(叉)树 二元(叉)正则树
。 。。 。 。。 。
二元(叉)完全正则树
在所有的r元有序正则树中，2 元有序 正则树最重要。
我们还可以从另一个角度来考虑最小成树 (最优树)问题，由G的圈（回路）最优条件， 我们也可以在原连通权图G中逐步删除构 成回路中权最大的边，最后剩下的无回路 的生成子图为最小成树(最优树)。我们把 这种方法称为“破圈法”。
第8章 特殊图
例 9.11 在图(a)中给出了一个连通图, 求此图的生 成树
定理9.3 无向图G具有生成树 G是连通图。 推论1 设G是n阶m条边的无向连通图，
则m ≥ n-1。 推论2 设G是n阶m条边的无向连通图，T为G
的生成树，则T的余树T'中含有 m-n+1边(即T'有m-n+1条弦)。
第8章 特殊图
定义9.3 设T是n阶m条边的无向连通图G的一棵生
成树，设e1,e2, … ,em-n+1为T的弦，设Cr为T 添加弦er产生的G的回路， r=1,2, …, m-n+1。 则称Cr为对应于弦er的基本回路，称 {C1,C2,Cm-n+1}为对应生成数T的基本回路系统，
离散数学离散数学第8章 一些特殊的图 PPT课件
在23岁时，他发表了他还是一个17岁的孩子时作出的“奇怪的发 现”，…即《光线系统理论》第一部分，这是一篇伟大的杰作，它对于 光学，就象拉格朗日的《分析力学》之于力学。
哈密尔顿最深刻的悲剧既不是酒精，也不是他的婚姻，而是他顽固地
相信，四元数是解决物质宇宙的数学关键。…从来没有一个伟大的数学
家这样毫无希望地错误过。
2
1
3
4
(2) 有限面与无限面：面积有限的区域称为有 限面(或内部面)，否则为无限面(或外部面) 。 上图中，面4是无限面。
7/1/2020 9:05 PM
第四部分：图论（授课教师：向胜军）
24
(3) 面的次数等于面边界的边数(注意：悬挂边算2 次)，记为deg(R).
(4) 平面图中面的次数之和等于边数m的两倍，即
d(u)+d(v)≥n-1 则G是半哈密尔顿图。
注意:
此定理条件显然不是必要条件，如n≥6的n边形，对于 任意不相邻的顶点u, v, d(u)+d(v)=4，4<n-1，而n边形显 然有哈密尔顿通路。
7/1/2020 9:05 PM
第四部分：图论（授课教师：向胜军）
18
哈密尔顿图的充分条件
❖ 设G是n(n≥3)阶无向简单图，若G中 任意不相邻的顶点对u,v均满足： d(u)+d(v)≥n 则G是哈密尔顿图。
a
bc
d
e
f g
h
i j
k
l
ba
d
g
e j
f
l
b
a
c
d
g
j
i
e
h
f
k
7/1/2020 9:05 PM
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
3
实例
非二部图
非二部图
4
实例
例1 某中学有3个课外活动小组:数学组, 计算机组和生物 组. 有赵,钱,孙,李,周5名学生, 问分别在下述3种情况下, 能 否选出3人各任一个组的组长? (1) 赵, 钱为数学组成员, 赵,孙,李为计算机组成员, 孙,李, 周为生物组成员. (2) 赵为数学组成员, 钱,孙,李为计算机组成员, 钱,孙,李,周 为生物组成员. (3) 赵为数学组和计算机组成员, 钱,孙,李,周为生物组成员.
14
哈密顿图的必要条件
定理6.10 若无向图G=<V,E>是哈密顿图, 则对于V的任意 非空真子集V1均有 p(GV1)|V1|. 证 设C为G中一条哈密顿回路, 有p(CV1) |V1|. 又因为 CG, 故 p(GV1) p(CV1) |V1|. 例如 当r≠s时, Kr,s不是哈密顿图 推论 有割点的图不是哈密顿图
说明： 上述定义对无向图和有向图都适用 规定平凡图为欧拉图 欧拉通路是简单通路, 欧拉回路是简单回路 环不影响图的欧拉性
8
欧拉图判别定理
定理6.8 无向图G具有欧拉回路当且仅当G是连通的且无 奇度顶点. 无向图G具有欧拉通路、但没有欧拉回路当且仅当G是连 通的且有2个奇度顶点, 其余顶点均为偶度数的. 这2个奇 度顶点是每条欧拉通路的端点. 推论 无向图G是欧拉图当且仅当G是连通的且无奇度顶点
17
存在哈密顿回路(通路)的充分条件
定理6.11 设G是n(n3)阶无向简单图, 若任意两个不相邻 的顶点的度数之和大于等于n1, 则G中存在哈密顿通路; 若任意两个不相邻的顶点的度数之和大于等于n, 则G中 存在哈密顿回路, 即G为哈密顿图.
推论 设G是n(n3)阶无向简单图, 若(G)n/2, 则G是哈密 顿图 当n3时, Kn是哈密顿图; 当r=s2时, Kr,s是哈密顿图. 定理6,12 设D是n(n2)阶有向图, 若略去所有边的方向后 所得无向图中含子图Kn, 则D中有哈密顿通路.
18
应用
例4 有7个人, A会讲英语, B会讲英语和汉语, C会讲英语、 意大利语和俄语, D会讲日语和汉语, E会讲德语和意大利 语, F会讲法语、日语和俄语, G会讲法语和德语. 问能否将 他们沿圆桌安排就坐成一圈, 使得每个人都能与两旁的人 交谈? 解 作无向图, 每人是一个顶点, G A 2人之间有边他们有共同的语言.
15
实例
例2 证明下述各图不是哈密顿图:
(a)
(b)
(c)
(c) 中存在哈密顿通路
16
实例
例3 证明右图不是哈密顿图 证 假设存在一条哈密顿回路, a,f,g是2度顶点, 边(a,c), (f,c)和 (g,c)必在这条哈密顿回路上, f d e a b c g
从而点c出现3次, 矛盾.
此外, 该图满足定理6.10的条件, 这表明此条件是必要、 而不充分的. 又, 该图有哈密顿通路.
6.4 几种特殊的图
• 6.4.1 二部图
– 二部图的充要条件
• 6.4.2 欧拉图
– 欧拉回路(通路)及其存在的充要条件
• 6.4.3 哈密顿图
– 哈密顿回路(通路)及其存在的必要条件和充 分条件
• 6.4.4 平面图
1
二部图
定义6.19 设无向图 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|.
5
实例(续)
解
数 计 生 数 计 生 数 计 生
赵 钱 孙 李 周
赵 钱 孙 李 周
赵 钱 孙 李 周有多种方案, (3) 不可能
6
欧拉图
哥尼斯堡七桥
7
欧拉图
欧拉通路:经过所有边且每条边恰好经过一次的通路 欧拉回路:经过所有边且每条边恰好经过一次的回路 欧拉图:有欧拉回路的图
9
实例
无欧拉通路
欧拉图
欧拉图
有欧拉通路 非欧拉图
有欧拉通路 非欧拉图
无欧拉通路
10
欧拉图判别定理(续)
定理6.9 有向图D有欧拉回路当且仅当D是连通的且所有 顶点的入度等于出度. 有向图D有欧拉通路、但没有欧拉回路当且仅当D是连通 的且有一个顶点的入度比出度大1、一个顶点的入度比出 度小1, 其余的顶点的入度等于出度. 推论 有向图D是欧拉图当且仅当D是连通的且所有顶点的 入度等于出度.
K23
K33
2
二部图的判别定理
定理6.7 无向图G=<V,E>是二部图当且仅当G中无奇长度 的回路 证 必要性. 设G=<V1,V2,E>是二部图, 每条边只能从V1到 V2, 或从V2到V1, 故任何回路必为偶长度. 充分性. 不妨设G至少有一条边且连通. 取任一顶点u, 令 V1={v | vV d(v,u)为偶数}, V2={v | vV d(v,u)为奇数} 则V1V2=V, V1V2=. 先证V1中任意两点不相邻. 假设存 在s,tV1, e=(s,t)E. 设Γ1, Γ2分别是u到s,t的短程线, 则 Γ1eΓ2是一条回路, 其长度为奇数, 与假设矛盾. 同理可 证V2中任意两点不相邻.
11
实例
欧拉图
无欧拉通路
无欧拉通路
有欧拉通路 无欧拉回路
无欧拉通路
有欧拉通路 无欧拉回路
12
周游世界问题(W.Hamilton, 1859年)
13
哈密顿回路与哈密顿通路
哈密顿通路: 经过图中所有顶点一次且仅一次的通路. 哈密顿回路: 经过图中所有顶点一次且仅一次的回路. 哈密顿图: 具有哈密顿回路的图. 说明： 哈密顿通路是初级通路 哈密顿回路是初级回路 有哈密顿通路不一定有哈密顿回路 环与平行边不影响图的哈密顿性
ACEGFDBA是一条哈密顿回路, 按此顺序就坐即可. F E D C
19
B
实例
非二部图
非二部图
4
实例
例1 某中学有3个课外活动小组:数学组, 计算机组和生物 组. 有赵,钱,孙,李,周5名学生, 问分别在下述3种情况下, 能 否选出3人各任一个组的组长? (1) 赵, 钱为数学组成员, 赵,孙,李为计算机组成员, 孙,李, 周为生物组成员. (2) 赵为数学组成员, 钱,孙,李为计算机组成员, 钱,孙,李,周 为生物组成员. (3) 赵为数学组和计算机组成员, 钱,孙,李,周为生物组成员.
14
哈密顿图的必要条件
定理6.10 若无向图G=<V,E>是哈密顿图, 则对于V的任意 非空真子集V1均有 p(GV1)|V1|. 证 设C为G中一条哈密顿回路, 有p(CV1) |V1|. 又因为 CG, 故 p(GV1) p(CV1) |V1|. 例如 当r≠s时, Kr,s不是哈密顿图 推论 有割点的图不是哈密顿图
说明： 上述定义对无向图和有向图都适用 规定平凡图为欧拉图 欧拉通路是简单通路, 欧拉回路是简单回路 环不影响图的欧拉性
8
欧拉图判别定理
定理6.8 无向图G具有欧拉回路当且仅当G是连通的且无 奇度顶点. 无向图G具有欧拉通路、但没有欧拉回路当且仅当G是连 通的且有2个奇度顶点, 其余顶点均为偶度数的. 这2个奇 度顶点是每条欧拉通路的端点. 推论 无向图G是欧拉图当且仅当G是连通的且无奇度顶点
17
存在哈密顿回路(通路)的充分条件
定理6.11 设G是n(n3)阶无向简单图, 若任意两个不相邻 的顶点的度数之和大于等于n1, 则G中存在哈密顿通路; 若任意两个不相邻的顶点的度数之和大于等于n, 则G中 存在哈密顿回路, 即G为哈密顿图.
推论 设G是n(n3)阶无向简单图, 若(G)n/2, 则G是哈密 顿图 当n3时, Kn是哈密顿图; 当r=s2时, Kr,s是哈密顿图. 定理6,12 设D是n(n2)阶有向图, 若略去所有边的方向后 所得无向图中含子图Kn, 则D中有哈密顿通路.
18
应用
例4 有7个人, A会讲英语, B会讲英语和汉语, C会讲英语、 意大利语和俄语, D会讲日语和汉语, E会讲德语和意大利 语, F会讲法语、日语和俄语, G会讲法语和德语. 问能否将 他们沿圆桌安排就坐成一圈, 使得每个人都能与两旁的人 交谈? 解 作无向图, 每人是一个顶点, G A 2人之间有边他们有共同的语言.
15
实例
例2 证明下述各图不是哈密顿图:
(a)
(b)
(c)
(c) 中存在哈密顿通路
16
实例
例3 证明右图不是哈密顿图 证 假设存在一条哈密顿回路, a,f,g是2度顶点, 边(a,c), (f,c)和 (g,c)必在这条哈密顿回路上, f d e a b c g
从而点c出现3次, 矛盾.
此外, 该图满足定理6.10的条件, 这表明此条件是必要、 而不充分的. 又, 该图有哈密顿通路.
6.4 几种特殊的图
• 6.4.1 二部图
– 二部图的充要条件
• 6.4.2 欧拉图
– 欧拉回路(通路)及其存在的充要条件
• 6.4.3 哈密顿图
– 哈密顿回路(通路)及其存在的必要条件和充 分条件
• 6.4.4 平面图
1
二部图
定义6.19 设无向图 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|.
5
实例(续)
解
数 计 生 数 计 生 数 计 生
赵 钱 孙 李 周
赵 钱 孙 李 周
赵 钱 孙 李 周有多种方案, (3) 不可能
6
欧拉图
哥尼斯堡七桥
7
欧拉图
欧拉通路:经过所有边且每条边恰好经过一次的通路 欧拉回路:经过所有边且每条边恰好经过一次的回路 欧拉图:有欧拉回路的图
9
实例
无欧拉通路
欧拉图
欧拉图
有欧拉通路 非欧拉图
有欧拉通路 非欧拉图
无欧拉通路
10
欧拉图判别定理(续)
定理6.9 有向图D有欧拉回路当且仅当D是连通的且所有 顶点的入度等于出度. 有向图D有欧拉通路、但没有欧拉回路当且仅当D是连通 的且有一个顶点的入度比出度大1、一个顶点的入度比出 度小1, 其余的顶点的入度等于出度. 推论 有向图D是欧拉图当且仅当D是连通的且所有顶点的 入度等于出度.
K23
K33
2
二部图的判别定理
定理6.7 无向图G=<V,E>是二部图当且仅当G中无奇长度 的回路 证 必要性. 设G=<V1,V2,E>是二部图, 每条边只能从V1到 V2, 或从V2到V1, 故任何回路必为偶长度. 充分性. 不妨设G至少有一条边且连通. 取任一顶点u, 令 V1={v | vV d(v,u)为偶数}, V2={v | vV d(v,u)为奇数} 则V1V2=V, V1V2=. 先证V1中任意两点不相邻. 假设存 在s,tV1, e=(s,t)E. 设Γ1, Γ2分别是u到s,t的短程线, 则 Γ1eΓ2是一条回路, 其长度为奇数, 与假设矛盾. 同理可 证V2中任意两点不相邻.
11
实例
欧拉图
无欧拉通路
无欧拉通路
有欧拉通路 无欧拉回路
无欧拉通路
有欧拉通路 无欧拉回路
12
周游世界问题(W.Hamilton, 1859年)
13
哈密顿回路与哈密顿通路
哈密顿通路: 经过图中所有顶点一次且仅一次的通路. 哈密顿回路: 经过图中所有顶点一次且仅一次的回路. 哈密顿图: 具有哈密顿回路的图. 说明： 哈密顿通路是初级通路 哈密顿回路是初级回路 有哈密顿通路不一定有哈密顿回路 环与平行边不影响图的哈密顿性
ACEGFDBA是一条哈密顿回路, 按此顺序就坐即可. F E D C
19
B