第五章 图论5
图论第5章
![图论第5章](https://img.taocdn.com/s3/m/6cf4cc6e783e0912a2162ae2.png)
例如:
上图是3-正则图,且可以1-因子分解,但不存在Hamilton圈。
定理9 若3-正则图有割边,则不可1-因子分解。 证明 若3-正则图G可1-因子分解,因去掉G的不含割边的1-因子 后,图中每个点均为2度,从而每条边均在回路中,特别地割边 也在回路中,矛盾。 注:没有割边的3-正则图可能也没有1-因子分解,如彼得森图。
因与 S 中的顶点关联的边必与 N(S) 中的顶点关联,所以 我们可以推出E1 E2。 因此
k N S E2 E1 k S
由此可知
N S S
再根据Hall定理,可知G有一个饱和X的每个顶点的匹配M,
由于|X| = |Y|,所以M是完美匹配。
图G的一个覆盖: 指V(G)的一个子集 K,使得G的每条边都至 少有一个端点在 K 中。 G的最小覆盖: G中点数最少的覆盖。 例
|M|≤|M*|≤|
~ |≤|K|。 K
~ 由于|M|=|K |,所以 |M| = |M*|, | K | = |K|。
定理4(Kǒnig, 1931) 在偶图中,最大匹配的边数等于最小 覆盖的顶点数。 证明 设G 是具有二分类(X, Y)的偶图,M*是G的最大 匹配,用U 表示 X 中的 M* 非饱和顶点的集,用 Z 表示 由 M*交错路连接到 U 中顶点的所有顶点的集。
所以,G有完美匹配。
例 彼得森图满足推论的条件(即没有割边的 3-正则图),故它有完美匹配.
注: 有割边的3正则图不一定就没有完美匹配 。
有完美匹配
没有完美匹配
§5.4 因子分解
图G的因子: G的一个至少有一条边的生成子图; G的因子分解: 将G分解为若干个边不重的因子之并。 n-因子:指n度正则的因子。 例:1-因子的边集构成一个完美匹配。 2-因子的连通分支为一个圈。
第五章 图论
![第五章 图论](https://img.taocdn.com/s3/m/403dc8c250e2524de5187e3e.png)
图论可应用于多个领域,如信息论,控制论, 运筹学,运输网络,集合论等(如用关系图来 描述一个关系)。
计算机领域,其可应用于人工智能,操作系统, 计算机制图,数据结构)
§1
图论基本概念
1-1 图的实例 问题1、哥尼斯堡桥问题
A C B D C B A D
问题:一个散步者能否从任一块陆地出发,走过七 座桥,且每座桥只走过一次,最后回到出发点?
同理,结点间按别的对应方式,便都不存在一一对应
关系。
所以G1,G2不同构。
两图同构有必要条件:
(1)结点数相同; (2)边数同; (3)次数相同的结点数目相等。
1-5 多重图与带权图
1.5.1 多重图 定义11、一个结点对对应多条边,称为多重边。
包含多重边的图称为多重图,否则,成为简单图。
如:
如:基本通路:p1,p2,p3.
简单通路:p1,p2,p3,p5,p6. p4,p7既不是基本通路,也不是简单通路。
定义3、起始结点和终止结点相同的通路称为回路。 各边全不同的回路称为简单回路,各点全不同 的回路称为基本回路。
例2、上例中,1到1的回路有: c1: (1,1,),c2: (1,2,1),c3: (1,2,3,1), 1 2
例2、设有四个城市c1,c2,c3,c4;其中c1与c2间, c1与c4间,c2与c3间有高速公路直接相连,用图表 示该事实。 解:G=<V,E>,其中:V={c1,c2,c3,c4}, E={l1,l2,l3}={(c1,c2),(c1,c4),(c2,c3)} 例3、有四个程序p1,p2,p3,p4,其间调用关系为p1 p2, p1 p4,p2 p3,用图表示该事实。 解:G=<V,E>,V={p1,p2,p3,p4}, E={l1,l2,l3}={(p1,p2),(p1,p4),(p2,p3)}
运筹学-图论
![运筹学-图论](https://img.taocdn.com/s3/m/aaa2ce8cf705cc17552709e3.png)
根据此图便可找到渡河方法。
(1,1,1,1) (1,1,1,0) (1,1,0,1) (1,0,1,1) (1,0,1,0) (0,0,0,0) (0,0,0,1) (0,0,1,0) (0,1,0,0) (0,1,0,1)
简单链:(v1 , v2 , v3 , v4 ,v5 , v3 )
v2
简单圈: (v4 , v1 , v2 , v3 , v5 , v7 , v6 ,v3 , v4 )
v6
v4
v5
v3
v7
连通图:图中任意两点之间均至少有一条通路,否则称为不连通 图。
v1 v5
v1
v6
v2
v2
v4
v3
v5
v4
v3
连通图
以后除特别声明,均指初等链和初等圈。
不连通图
有向图:关联边有方向 弧:有向图的边 a=(u ,v),起点u ,终点v; 路:若有从 u 到 v 不考虑方向的链,且 各方向一致,则称之为从u到v 的 路; 初等路: 各顶点都不相同的路; 初等回路:u = v 的初等路; 连通图: 若不考虑方向是
无向连通图; 强连通图:任两点有路;
端点的度 d(v):点 v 作为端点的边的个数 奇点:d(v)=奇数;
偶点:d(v) = 偶数; 悬挂点:d(v)=1; 悬挂边:与悬挂点连接的边; 孤立点:d(v)=0; 空图:E = ,无边图
v1
v3
v5 v6
v2
v4
图 5.7
v5
v4
V={v1 , v2 , v3 , v4 , v5 ,v6 , v7 }
圈:若 v0 ≠ vn 则称该链为开链,否则称为闭链或 回路或圈;
ch5 图论第15讲
![ch5 图论第15讲](https://img.taocdn.com/s3/m/a1810f0ca0116c175f0e48d9.png)
c
Room A d Room B
e
h
f Room C
g
i
j d
c
b
A aD
e
B
fh j i g
C
定义给定有向图G,通过图中每边一次且仅一 次的一条单向路(回路),称作单向Euler路(回路)
定理有向图G具有单向Euler回路G连通的、 每点入度=出度。
有向图G具有单向Euler路G连通的、除两个端 点外,每点入度=出度。
定义5.3.3如果从某点出发,沿边前行不重走能 走遍所有的边,并回到起点则称为欧拉回路。
有欧拉回路的图也称为欧拉图。
欧拉回路是比欧拉路条件更苛刻!
5.4 哈密尔顿图
1859年,英国数学家哈密顿:用一个规则的实心 十二面体,标出世界著名的20个城市
5.4 哈密尔顿图
定义5.4.1 如果图中存在一条,经过所有结点一次也仅一 次的路,则称为哈密尔顿路。
If A[J,I]=1 Then 第J行=第J行∨第I行
Endif EndFor //行号J值加1 EndFor // 列号I值加1
0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0
0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
有欧拉回路的图也称为欧拉图。
欧拉回路是比欧拉路条件更苛刻!
定理5.3.1 无向图G有欧拉回路所有结点度数为偶数. 定理5.3.2无向图G有欧拉路所有结点度数为偶数,或 者只有2个结点度数为奇数。
左图:deg(a)=5、deg(b)=3、deg(c)=3、deg(d)=3,故 没有欧拉回路,故七桥问题无解。
图论GraphTheory教学讲义
![图论GraphTheory教学讲义](https://img.taocdn.com/s3/m/d2a1457a80eb6294dc886c59.png)
边(edge)
有向边(directed edge)
端点有始点和终点之分的边。 用有序二元组<始点,终点>表示
结点v的入度: 以v为终点的有向边的数目, 记为deg-(v)或d-(v)
有向图中结点v的度d(v):d(v)=d+(v)+d-(v)
a
deg+(c) = 2
deg-(c) = 3
b
c
deg(c) = deg+(c) + deg-(c) = 5
23
定理 1
设图G是具有n个顶点、m条边的有向图,
第五章 图 论 (Graph Theory)
1
图论的起源
Konigsberg(柯尼斯堡)七桥问题
能否从河岸或小岛出发,恰好通过每一座桥一次 再回到出发地?
2
欧拉引进了图论
瑞士数学家Euler(欧拉)于1736年从理论上圆满 解决这个问题。
A
抽象
D
B
D
A B
C
C
3
图论发展过程
1736年 - 欧拉解决柯尼斯堡七桥问题-图论产生 1936 年-图论第一部专著出现《有界图和无界图的
理论》 经过近六十多年的发展,逐渐成为一门相对独立的学
科。
4
图论的应用
网络技术的理论基础和重要的研究工具 生物和化学:区别分子式相同但结构不同的两
种化合物。 计算机和通信:用于通信网络和计算机网络的
设计,交通网络的合理分布
《运筹学教程》胡云权第五版第五章图与网络分析
![《运筹学教程》胡云权第五版第五章图与网络分析](https://img.taocdn.com/s3/m/25d6461c5a8102d276a22fda.png)
最小支撑树问题
1、树
连通且无圈的无向图
判断下面图形哪个是树:
(A)
(B)
(C)
树的性质: 1、树中任两点中有且仅有一条链; 2、树任删去一边则不连通,故树是使图保持连通且具有最 少边数的一种图形。
3、边数 = 顶点数 – 1。
最小支撑树问题
2、图的支撑树
若一个图 G =(V , E)的支撑子 图 T=(V , E´) 构成树,则称 T 为 G的支撑树,又称生成树、部分树。
v1
v3 7.5 v4
v5 v3
v4
最小支撑树问题
3、最小支撑树问题 问题:求网络的支撑树,使其权和最小。 v 5
2
v1
3 4 2
3.5
v5
算法1(避圈法):把边按权从小到大依次 5.5 添入图中,若出现圈,则删去其中最大边, 直至填满n-1条边为止(n为结点数) 。 【例】 求上例中的最小支撑树 5
第五章 图论与网络分析
学习目标
图的基本概念
图论起源——哥尼斯堡七桥问题
A C B D C A D
B
问题:一个散步者能否从任一块陆地出发,走过七 座桥,且每座桥只走过一次,最后回到出发点?
结论:每个结点关联的边数均为偶数。
图的基本概念
哈密尔顿回路问题:环球旅行遊戏
13 2 12 15 11 16 10 3 9 4 17 7 8 14 1 20 19 18 6 5
6
v2
2
1
v5
2
v8
6
3
v1
1
3
2
v3 v4
6
4
10
3
v9 v7
4
10
v6
图论第5章
![图论第5章](https://img.taocdn.com/s3/m/fa942ce7240c844768eaee20.png)
定理4(Kǒnig, 1931) 在偶图中,最大匹配的边数等于最小 覆盖的顶点数。
证明 设G 是具有二分类(X, Y)的偶图,M*是G的最大 匹配,用U 表示 X 中的 M* 非饱和顶点的集,用 Z 表示 由 M*交错路连接到 U 中顶点的所有顶点的集。
图(a)中,实线部分就是一个2-因子,它是
一个H圈:H1= v7v1v2v6v3v5v4v7。
2
P1=1(1+1)(1-1)(1+2)(1-2)(1+3)=126354 (mod 6) 3
若将1, 2, 3, 4, 5, 6绕中心按顺时针方向移 动一个位置,见图(b),则得另一个H 圈 H2= v7v2v3v1v4v6v5v7。
例 将K3,3作1-因子分解
解 我们将X的点用数字1,2,3标记,而Y的点用1’,2’,3’来标 记,用置换G来表示K3,3中X的点与Y的点间之匹配关系,即
1 2 3 G1 1 2 3
则
123
1 2 3
G2
2
3
1
1 2 3
G3
3
1
2
1’ 2’ 3’
K3,3
G1
G2
G3
定理8 具有Hamilton圈的3-正则图是1-可因子化的。 证明:因为G是3-正则图,故G的阶数是偶数。 具有偶数个顶点的圈可以分解为两个1-因子的并,从而得证。 注:1-可因子分解的3-正则图不一定有Hamilton圈。 例如:
H 的每个顶点在H中具有的度是1或2,因为它最多只 能和M的一条边以及 M′的一条边相关联。
因此 H 的每个分支或是由M和M′中的边交错组成的偶 圈,或是由M和M′中的边交错组成的路。
图论第五章
![图论第五章](https://img.taocdn.com/s3/m/041f6fe2f8c75fbfc77db20a.png)
Ch.5. Coloring of Graphs
4
Graph Theory
Clique number
5.1.6
The clique number of a graph G, written ω(G), is the maximum size of a set of pairwise adjacent vertices (clique) in G.
Ch.5. Coloring of Graphs
11
Graph Theory
Proposition 5.1.16. If G is an interval graph, then (G) =ω(G)
Proof: Order the vertices according to the left endpoints of the intervals in an interval representation. Apply greedy coloring, and suppose that x receives k, the maximum color assigned. Since x does not receive a smaller color, the left endpoint a of its interval belongs also to intervals that already have colors 1 through k-1. These intervals all share the point a, so we have a k-clique consisting of x and neighbors of x with colors 1 through k-1. Hence ω(G) ≥ k ≥ (G). Since (G) ≥ ω(G) always, this coloring is optimal.
图论第05讲
![图论第05讲](https://img.taocdn.com/s3/m/4a2f27ebe009581b6bd9eb6f.png)
5、平面图的边把图G所在的平面划分为若干 个区域,每个区域称为图G的面,封闭的区 域称为内面,无界的区域称为外面。 6、包围每个面的回路称为面的边界; 7、回路的边数称为面的次数。 容易发现,平面图G每增加1条边,图G总的 边(弧)数和面数都增加1。
边界
内面
外 面
8、欧拉公式定理(1750,必要条件 必要条件):如 必要条件 果平面连通图G有n个顶点,m条边,d个区域, 则 n-m+d=2 - + = 证明:对d进行归纳法证明。 设图G是有n个顶点一棵树,则 G n m=n-1,d=1,这时n-m+d=2成立。 G每增加1条边,即m增加1,这时d也增加1。 所以 (顶点数)-(边数)+(域数)=2 不变。 证毕。
a v1* d v2* f v3* c e b g h v4*
思考题
1.若连通平面图G1与G2同构,它们的对偶图 G1*与G2*是否同构? 2.若连通平面图G中有n个顶点,m条边,d个面, 则其对偶图G*中的顶点数,边数,面数分别 是什么?
课堂练习
分别画出下图的对偶图。
第一章内容回顾
图论的发展 图论几个著名的问题 图的基本概念 两个回路问题 图的矩阵表示法 中国邮路问题 平面图
§6
平面图
1、若图可以画在一个曲面上,任意两边都不 相交(端点除外),称图G被嵌入在曲面上。 2、如果曲面是平面——称G是可平面图。 3、如果图已经画在平面上,称图G为平面图。
可平 面图
图a
图b
平面 图
图c
非平面图
4、若有一个简单的平面图,再加一条边就是 不可平面,则称之为最大平面图。 再加一条边就 不是平面图了。 不是平面图了。
14、Kuratowski定理(1930): 图G是平面图的充要条件 充要条件是:G图不存在任何 充要条件 子图为K(1) 图或K(2)图。 证明较繁,在此不多述。 推论:所有树都是平面图。 树
第五章 图的基本概念-离散数学
![第五章 图的基本概念-离散数学](https://img.taocdn.com/s3/m/b6cb1d0abb68a98271fefa3d.png)
Co
e4
e7
bo
oc
8
图 论
无向完全图:每对顶点间均有边相连的无向 简单图。N阶无向完全图记作Kn.
o o K2 o K3 o o o o K4
1 2
o o
o o o K5 o o
无向完全图Kn, 有边数
n( n − 1)
竞赛图:在的每条边上任取一个方向的有 向图.
9
图 论
有向完全图:每对顶点间均有一对方向相反 的边相连的有向图。例如:
2
图 论
5.1 图的定义及相关术语 5.2 通路 回路 图的连通性 5.3 图的矩阵表示 5.4 无向树 5.5 欧拉图和哈密顿图 5.6 平面图
3
图 论
§5.1 图的定义及相关术语
例1. 多用户操作系统中的进程状态变换图:
就绪 r 进程调度 ro 执行 e o w V={r,e,w}
E={<r,e>,<e,w>,<w,r>}
图 论
2
2. 回路:如果一条路的起点和终点是一个顶 点,则称此路是一个回路. ov e e 如右图中的 v o ov e e L1=v0 e1v1 e5v3 e6v2e4v0 e e L2= v0 e1v1 e5v3e2v0
0 1 4 1 2 3 5 6
2
o v3
22
3. 迹与闭迹
图 论
简单通路(迹) 顶点可重复但边不可重复的通路。 简单回路(闭迹) 边不重复的回路。 4. 路径与圈 初级通路(路径) 顶点不可重复的通路。 初级回路(圈) 顶点不可重复的回路。 例如右图中: o v0 L1=v0 e1v1 e5v3 e6v2e4v0 e1 e4 L2= v0 e1v1 e5v3e2v0 o v2 e2 e3 L3=v0 e1v1 e5v3 e2v0 e3v3 e6v2e4v0 v1 o e5 e6 L1和L2是闭迹, 也是圈. o v3 L3是闭迹,而不是圈.
图论第五章答案
![图论第五章答案](https://img.taocdn.com/s3/m/4dd2dc452b160b4e767fcf93.png)
10 . 假定一个连通的平面性 二部图有 v个顶点和 e条边.证明:若 v 3,则 e 2v 4.
证:由“连通平面二部 图”知:该图每个面的 边数至少为4.(推论5.7的相关讲解注 释). 1 则由面的度数关系得: 4r 2e,即r e.又由欧拉公式知: v e r 2, 则e v r 2 2 1 v e 2,即e 2v 4. 2
2, n为偶数; 20. 对于圈图Cn (n 3),证明: ' (Cn ) { 3, n为奇数. 证:此题是讲义第五章 P1 例5.1(3.)的变式. 对圈图Cn (n 3)的边着色 对圈图Cn (n 3)的顶点着色 .
21 . 证明:每一简单、 3 正则、 Hamilton图,都有 ’ 3.
11 . 平面上有 n个点,其中任两个点之 间的距离至少是 1.证明:在这 n个点中,距 离恰好为1的点对数至多是 3n 6.
证:此题同讲义第五章 P10 例5.4. 首先建立图G (V , E ), 其中V就取平面上给定的 n个点(位置也不变),两点间距离 为1时,该两顶点之间用一 条直线段连接.只要证明G是平面图即可 . 由平面图定义(如图G能示画在曲面S上且使G的边仅在端点处相交 ),可反设在G 中存在相交的两条边 . 不妨设不同的边 uv和xy相交于非端点处 o,其夹角为 (0 ). 若 (或0),则如图(a.)所示,存在两点 (点u和x, 或点y和v)距离小于 1,矛盾. 若0 , 则如图(b.)所示,由边uv和xy的距离均为 1可知,在u, v, x, y中至少有两 1 1 1 点使从交点o到这两点的距离不超过 .不妨设这两点为u和x,则 ou , ox . 2 2 2 1 1 此时,在uox中, ux ou ox 1.因而,点u与x之间的距离小于 1,矛盾. 2 2 因此G为平面图. 从而由推论5.6知,图G的边不会超过3n 6. 故在这n个点中,距离恰好为 1的点对数至多是 3n 6.
《图论课件第五章匹配与因子分解》课件
![《图论课件第五章匹配与因子分解》课件](https://img.taocdn.com/s3/m/652a53fb1b37f111f18583d049649b6648d709d9.png)
二、因子分解
2.1 定义
因子分解是将图进行拆分,使得每个因子都是图的 一个子图。
2.2 贪心算法
贪心算法用于在因子分解时选择边或顶点。
2.3 DAG上的匈牙利算法
用于在有向无环图上寻找因子分解的算法。
2.4 Tutte定理
用于判断一个图是否存在完美匹配。
三、应用实例
1
3.1 二分图最大匹配的应用
《图论课件第五章匹配与 因子分解》PPT课件
图论课件第五章匹配与因子分解
一、匹配
1.1 定义
匹配指的是图中的一组边,这些边不相交并且 没有公共顶点。
1.3 最大匹配
最大匹配是图中包含边数最多的匹配。
1.2 匹配的分类
分类包括完美匹配、最大匹配和最小匹配。
1.4 匈牙利算法
匈牙利算法用于寻找二分图的最大匹配。
应用于任务分配、婚姻匹配等场景。
3.2 带权二分图匹配的应用
2
应用于资源分配、工作调度等场景。
3
3.3 双倍经验的关卡通关问题
使用匹配算法解决游戏中的关卡设计问
3.4 理发店问题
4
题。
利用匹配算法解决顾客理发需要和理发 师时间安排的问题。
四、参考资料
4.1 书籍
《图论导论》、《算法导论》等
4.3 网站
Grap h Alg orithm s, Grap h Theo ry Online等
4.2 论文
Graph Matching Alg orithm s: A C om prehensive C om parison
4.4 其他资源
相关研究报告、课程讲义等
图论讲义第5章-支配集
![图论讲义第5章-支配集](https://img.taocdn.com/s3/m/6432f9a1b0717fd5360cdcc8.png)
第五章 支配集、独立集、覆盖集和 Ramsey 数本章讨论图中具有某种特性的顶点子集和边子集,以及它们之间的关系。
本章所讨论的 图均为简单图。
§5.1 支配集、点独立集、点覆盖集一、支配集(Domination set)定义 5.1.1 设 D ⊆ V (G ) ,若对 ∀u ∈ V (G ) ,要么 u ∈ D ,要么 u 与 D 中的某些顶点相邻, 则称 D 为图 G 的一个支配集。
如果一个支配集的任何真子集都不是支配集,则称它为极小支 配集。
G 的含顶点最少的支配集称为最小支配集。
图 最小支配集的顶点个数称为 G 的支配数, 记为 γ (G ) 或 γ 。
例如,在下图中, D0 = {v0 } , D1 = {v1 , v 4 , v7 } , D2 = {v1 , v3 , v5 , v6 } 都是 G 的支配集, 前两个是极小支配集, D0 是最小支配集。
γ (G ) = 1 。
v1 v8 v7 v6 G v5 v0 v2 v3 v4注: (1)最小支配集必是一个极小支配集,反之不然。
(2)任一支配集必含有一个极小支配集。
(3)极小支配集不唯一,最小支配集一般也不唯一。
(4)对二部图 G = ( X , Y ) ,X 和 Y 都是支配集。
(5)若图 G 有完美匹配 M*,则从 M*中每边取一个端点构成的顶点集是一个支配集。
定理 5.1.1 设图 G 中无孤立顶点,则存在支配集 D,使得 D = V (G ) − D 也是一个支配集。
证明:无妨设 G 是连通图。
于是 G 有生成树 T。
任取 v0 ∈ V (G ) 。
令D = {v | v ∈ V (G ) 且 d T ( v0 , v ) =偶数},则 D = V (G ) − D = {v | v ∈ V (G ) 且 d T ( v0 , v ) =奇数},且 D 和 D 都是支配集。
证毕。
定理 5.1.2 设图 G 无孤立顶点, D1 是一个极小支配集,则 D1 = V (G ) − D1 也是一个支配集。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
定理2 欧拉通路的充要条件 连通图有欧拉通路而无欧拉回 路恰有两个奇数度顶点 证明:定理1的直接推论 有向图的欧拉通路和欧拉回路:类似与无向图
5.5.2哈密顿图 定义2 哈密顿通路:含所顶点的基本通路(G中每个顶点 恰在此陆中出现一次) 半哈密尔顿图:有哈密尔顿路的图
哈密顿回路:含所有顶点的简单回路 (u1=un,而u2…un恰在此路中出现一次) 哈密顿图:有哈密顿回路的图
例1 在图7-47里,哪些无向图具有欧拉回路?在没有欧拉 回路的那些图里,哪些具有欧拉通路?
解 图G1具有欧拉回路,例如a, e, c, d, e, b, a。G2和G3 都没有欧拉回路。但是G3具有欧拉通路,即a, c, d, e, b, d, a, b。G2没有欧拉通路。 图H2具有欧拉回路,例如a, g, c, b, g, e, d, f, a。H1 和H3都没有欧拉回路。H3具有欧拉通路,即c, a, b, c, d, b,但是H1没有欧拉通路。
n(n 1) 1 2 n (n 2 n 2) 2 2
当n为奇数时,每个点的度为偶数,有欧拉回路;当n为偶数时,只有在n=2时有 欧拉路 定理 设G=(V,E)是弱连通有向图,则G 是欧拉图的充要条件是G为强连通图且每 个顶点的出度与入度相等
例 见P253
(接上页)
算法1 构造欧拉回路 procedure Euler(G :所有顶点有偶数度的连通多重图) circuit:=在G中任选的顶点开始连续地加入边所形成的回到 该顶点的回路 H:=删除这条回路的边之后的G while H还有边 begin subcircuit:=在既是H中的顶点也是circuit一条边 的端点开始的H中的一条回路 H:=删除subcircuit的边和所有孤立点之后的H Circuit:=在适当顶点上插入subcircuit之后的circuit end{circuit 是欧拉回路}
定理1 欧拉图的充要条件 连通图是欧拉图每个顶点 的度 都为偶数
证明:先直观描述
:显然 : 1.回路的存在性 从连通图G中的任一节点v0开始,取关联于v0的边 e1={v0,v1},因为d(v1)为偶数,所以可以在G中继续取关 联于v1的边e2={v1,v2},…,直到取到一条边ek+1={vk,v0}, 得到一条简单回路h1: (v0,e1, v1,e2,…,v1,ei+1,…, ek+1,v0)。这里,ei≠ej(i≠j)。显然,h1G。
例7 Kn(n>2)是哈密顿图 解 :从Kn中的任意一个顶点开始来形成哈密顿回路。以 所选择的任意顺序来访问顶点,只要求通路在同一个顶点 开始和结束,而且恰好访问其他每个顶点一次。这样做是 可能的,因为在Kn中任意两个顶点之间都有边。
定理 哈密顿图的充分条件 若G是n个节点的无向连通简单 图,其任一节点v满足d(v)≥n/2,则G是哈密顿图。 证明:①为证这个结论,我们先给出一个引理:若 G=(V,E)是有n个节点的无向简单图,对于每一对不相邻的 节点u,v,有d(u)+d(v)≧n,则G是哈密顿图的充分必要条 件是H=(V,E∪{e})为哈密顿图,这里e是与节点u,v关联 的无向边。 (接下页)
Байду номын сангаас
例 下图是欧拉图,试找出欧拉回路 . 1 .1 2. .6 .5 2. .6 .5 .7 .7 3. .4 3. .4
2. 3.
.1 .6 .7 .4
.5
解 从顶点1开始找一条路C(123451),然后删去C中的边得图G’,在G’中找一条回 路C’(137561),再在G’中删去C’中的边得图G”,再在G”中找一条回路C”(62746) 。在G”中删去C”中的边后已成为空图。 找C与C’的一个公共顶点,比如1,把C与C’拼成含边数更多的回路 D:(12345137561),再把D与C”拼成G的欧拉回路(找公共点6)(123451375627461). Fleury算法: 设G=(V,E)是欧拉图 1.取u0 ∈V,令l0=u0 2.li=u0e1u1e2…eiui是已求出的一条路,按以下方法从E-{e1,e2,…,ei}中选取ei+1: a ei+1与ui相关联 b 除非无别的边可选取,否则ei+1不应是图G’=(V,E-{e1,e2,…ei})中的割边; 3.当2不能再进行时,算法停止 那么,最后所得的简单回路lm=u0e1u1e2…emum(um=u0)为G的一条欧拉回路
. 1
2. 3. .6 .5
1 .
.3
.5
.4 2. .4 .6 这两图均为哈密尔顿图,(1234561),(1236541)分别为哈密尔顿回路 哈密尔顿回路有下列一些简单性质 1.哈密尔顿回路是简单回路 若G有n个顶点,则每条哈密尔顿路含有n-1条边,哈密尔顿回路喊有n条边 2.若G有孤立点,则G无哈密尔顿路;若G有某点的度为1(这样的点称为悬挂点) ,则G 不是哈米尔顿图 3.设u是G的一个顶点,且u的度为2,若G有哈密尔顿回路,则以u为端点的两条边 必须出现在哈密尔顿回路中。。因此,如果连接G的度为2的边已构成回路,且还有 不在该回路中的点,则G 不是哈密尔顿图。 下图中(1234561)已构成回路,但顶点7不在该回路中,该图不是哈密尔顿 图 .1 2. .6
哈密顿图的必要条件 – 没有1度的顶点 – 2度顶点的边必定在哈密顿回路上 – 与一个顶点关联的边中有且仅有两条在哈密顿回路上 – 哈密顿回路中没有小回路 – 对V的任意非空子集S,有(G-S)≤S。G-S是从G中删除S中的顶点及 其关联边 后余下的图,(G-S)表示图G-S的连通分支的数目。 证:设C为G的哈密尔顿回路,C视为G的子图,在回路C中,每删除S中的一个 点及与该点相邻的两条边,最多增加一个分支,且删除S的第一点时分支 数不变,故有: W(C-S) ≤|S| 又C是G的支撑子图(顶点数相同),故C-S是G-S的支撑子图,且 W(G-S) ≤W(C-S) 因此 W(C-S) ≤S 例 见P256 例 设G是有割边的连通图,试证G不是哈密尔顿图 证 设G 是连通图。e是G的一条割边,e的端点为u,v,令S={u},则W(G-S)=2 G不是哈密尔顿图
第五章 图论
5.5欧拉图和哈密顿图 哥尼斯褒七桥问题 5.5.1欧拉图 定义1 欧拉通路:含所有边的简单通路(恰包含G的每条边 一次的简单路) 具有欧拉路的图称为半欧拉图 欧拉回路:含所有边的简单回路 欧拉图:有欧拉回路的图 1. .1 .5 .4 .5 2 . .5 1. .4 3 . 4 2. .3 2. .3 以上均为欧拉图,(a)中12345135241是欧拉回路,(b) 中12435231是欧拉回路
②现在我们来证明:若G中对于每一对不相邻的节点u,v, 有d(u)+d(v)≧n,则G是哈密顿图。因为若在G中每一对不 相邻节点u,v之间连一条无向边,得到图H,则H是n阶无 向完全图,从而H是哈密顿图,由引理,可知G是哈密顿 图。 ③由2,我们可直接推出若任一节点v满足d(v)≥n/2,则G是 哈密顿图。 例8 格雷码及其应用:构造长度为n的2进制编码的序列, 使相邻的码仅相差1位 用Qn来建模 (接下页)
例 试用Fleury算法求下列欧拉图G的欧拉回路 e1 . 1 e7 e6 . 6 2. .4 e5 e2 .3 e3 e4 . 5 解 先取定一顶点,比如1,连接顶点1的边由两条,这两条均不是割边,可任取其 一,设取e1,则有简单路le12,与 顶点2相连的边只有e2,(尽管e2是G去掉e1所得 的图的割边),下一边只有取e2,这样,有简单路le12e23.类似的,下一条边只有取 e3,又有更长的简单路1e12e23e34,下一条边得选取可以是e4,也可以是e6,若选取 e4,则最后的欧拉回路为e1e2e3e4e5e6e7;若选取e6,则最后的欧拉回路为 e1e2e3e6e5e4e7.需要稍加注意的是,在选定简单路e1e2e3后,下一步不能选e7(e7是 G删去边e1,e2,e3后构成的图的割边),否则fluery算法不能进行下去,得不出欧拉 回路。 定理 设G是无向连通图,则G是半欧拉图的充要条件是G恰含有两个奇数度点 证 必要性 设G是半欧拉图,P=u1e1u2…umemum+1是G的一条欧拉路,u1 ≠um+1,只 有u1与um+1是奇数度点。 充分性 设G中只有u,v两个顶点为奇数度点。在图G中增加一条连接u,v的边得一 个新图G’,G’(欧拉图中每个顶点的度均为偶数),于是在G’中存在一条欧拉回路, 在该回路中删去刚添加的边即的一条欧拉路,图G是半欧拉图 例见P252
(接下页)
2.若h1=G,则G是欧拉图,否则转下一步。 3.记H=G-h1,因为G是连通图,所以H与h1至少有一个节点 重合,不妨记为vi,又因为h1中d(vi)是偶数,故在H中d(vi) 仍是偶数,从而从图H的节点vi出发,重复步骤1的做法, 又可得简单回路h2: (vi,e1’,v1,e2’,…,vi)这里ei’≠ ej’(i≠j),那么 h1∪ h2所对应的简单回路是:(v0,e1,v1,e2,…,vi, e1’,v1,e2’,…,vi,ei+1,…,ek+1,v0)。不妨将h1∪ h2仍记为 h2,转步骤2。 对于有限图G,我们总可以在有限步骤中构造出简单回路 h1,使得h1=G,故G是欧拉图。
.7 3 . .4 .5 4.设u是图G的一个顶点,且d(u)>2,G有哈密尔顿回路,则该回路仅用以u为端点的
哈密顿的智力题: 木质十二面体,有十二个正五边形表面,二十个顶点,顶 点标记为不同的城市,每个顶点上有钉子,另有一细线。 目标是从一个城市开始,沿十二面体的边旅行,访问其他 19个城市,每个恰好一次,回到第一个城市结束。旅行经 过的回路用钉子和细线来标记。
例 试问n个顶点的完全图Kn中有多少回路?有没有欧拉路或欧拉回路 3 Cn 解 在Kn中, 3条边可以组成一个回路,有 个; 4条边也可以组成一个回 4 n Cn Cn 路,有 个,以此类推,n条边构成的回路有 个,故Kn的回路总数为