第五章 图论5

合集下载

图论第5章

图论第5章

例如:
上图是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-因子的连通分支为一个圈。

第五章 图论

第五章 图论
第五章 图论
图论可应用于多个领域,如信息论,控制论, 运筹学,运输网络,集合论等(如用关系图来 描述一个关系)。
计算机领域,其可应用于人工智能,操作系统, 计算机制图,数据结构)
§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)}

运筹学-图论

运筹学-图论
以可允许的10个状态向量作为顶点,将可能互相转移的状态用线段连接起 来构成一个图。
根据此图便可找到渡河方法。
(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讲
nce?
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教学讲义
有向边(directed edge) 无向边(indirected edge) 平行边(parallel edge ) 自回路(环)(Self-loop / Ring)8来自图的基本概念 2(2)
边(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
图论的应用
网络技术的理论基础和重要的研究工具 生物和化学:区别分子式相同但结构不同的两
种化合物。 计算机和通信:用于通信网络和计算机网络的
设计,交通网络的合理分布

《运筹学教程》胡云权第五版第五章图与网络分析

《运筹学教程》胡云权第五版第五章图与网络分析

最小支撑树问题
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章
由于|M|=|K |,所以 |M| = |M*|, | K~ | = |K|。
定理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′中的边交错组成的路。

图论第五章

图论第五章

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.
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 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的回路总数为
相关文档
最新文档