图论课件--有向图
合集下载
图论课件--有向图33页PPT
45、自己的饭量自己知道。——苏联
41、学问是异常珍贵的东西，从任何源泉吸 收都不可耻。——阿卜·日·法拉兹
42、只有在人群中间，才能认识自 己。——德国
43、重复别人所说的话，只需要教育； 而要挑战别人所说的话，则需要头脑。—— 玛丽·佩蒂博恩·普尔
44、卓越的人一大优点是：在不利与艰 难的遭遇里百折不饶。——贝多芬
图论课件--Biblioteka 向图26、机遇对于有准备的头脑有特别的 亲和力 。 27、自信是人格的核心。
28、目标的坚定是性格中最必要的力 量泉源 之一， 也是成 功的利 器之一 。没有 它，天 才也会 在矛盾 无定的 迷径中 ，徒劳 无功。- -查士 德斐尔 爵士。 29、困难就是机遇。--温斯顿．丘吉 尔。 30、我奋斗，所以我快乐。--格林斯 潘。
41、学问是异常珍贵的东西，从任何源泉吸 收都不可耻。——阿卜·日·法拉兹
42、只有在人群中间，才能认识自 己。——德国
43、重复别人所说的话，只需要教育； 而要挑战别人所说的话，则需要头脑。—— 玛丽·佩蒂博恩·普尔
44、卓越的人一大优点是：在不利与艰 难的遭遇里百折不饶。——贝多芬
图论课件--Biblioteka 向图26、机遇对于有准备的头脑有特别的 亲和力 。 27、自信是人格的核心。
28、目标的坚定是性格中最必要的力 量泉源 之一， 也是成 功的利 器之一 。没有 它，天 才也会 在矛盾 无定的 迷径中 ，徒劳 无功。- -查士 德斐尔 爵士。 29、困难就是机遇。--温斯顿．丘吉 尔。 30、我奋斗，所以我快乐。--格林斯 潘。
图论课件-有向图
例3 求下图D的强连通分支、单向连通分支。
2
3
4
5
1
9
8
7
6
D
14
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
(1) D的强连通分支
2
3
4
5
｛1｝ ｛2, 3, 9, 8, 4, 7｝ ｛5｝ ｛6｝
1
9
8
7
6
D
上面点集导出的子图是 D的强 连通分支。
2
证明：“必要性”
设V(D)=｛v1,v2,…,vn｝。由于D是强连通图，所以，对任 意两点vi与vj, 都存在(vi, vj)路，同时也存在(vj ,vi)路。所以 存在如下闭途径：v1→v2→…→vn→v1。这是一条包含D的 所有顶点的回路。
12
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
(2) 在L中取v7, U中取点v6 , 作边<v7, v6>。令l (v6)=l (v7)+1=3, L =｛v1,v7,v6｝, U=｛v2,v3,…,v5｝, A=｛ <v1, v7>, <v7, v6> ｝
6
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
对 v V (D) ，有
d (v) d (v) 1
简要版PPT4图论方法4-5(完全图有向图之发掘性质)
温馨提示为了设计教学场景互动效果的需要，课件中采用了大量“播放后隐藏”的文本，从而导致预览模式下出现诸多文本重叠，影响阅读。
但在放映模式下，这些现象都不会出现。
另外，课件中的图像均不是一次性形成，而是展现了“尝试-修改-成形”等发生过程，这可能导致预览模式下出现诸多乱码，但在放映模式下，图形则非常生动、美观。
图论方法4-5（完全图有向图之发掘性质）●冯跃峰本讲内容本节为第4板块（图论方法）第4专题（完全图有向图）的第5小节（发掘性质），包含如下3个部分内容：第一部分，概述问题涉及的知识方法体系；第二部分，思维过程剖析。
这是课件的核心部分，重在发掘问题特征，分析如何找到解题方法。
按照教师场景授课互动效果设计，立足于启发思维；第三部分，详细解答展示。
提供笔者重新书写的解答（简称“新写”），力求严谨、流畅、简练。
所谓“完全图”，就是任何点都连边的图；所谓“有向图”，就是给每条边标注了一个方向。
特别地，一个图是完全图又是有向图，则称为“竞赛图”。
它们包括三种常见的思路：三种思路局部扩展从一点或边出发，逐步扩充为完全图反面剔除去掉若干引出虚边的点，使不再有虚边，得到完全图考察极端跃峰奥数本节介绍“局部扩展”的相关例子■。
在特定范围内取某种容量最大的图或考察元素的极端分布。
【图论方法（完全图、有向图）】【图论4-5】给定正整数n≥3，试证：n阶竞赛图Gn 存在一个三角形回路的充分必要条件是，Gn存在两个出度相等的点。
【题感】从目标看【1】，属于“存在性”问题【1】。
就充分性而言，是要找到“一个三角形回路【1】”；就必要性而言，是要找到“两个出度相等的点【1】”。
前者可采用构造的方法，后者有明显的“抽屉”影子，但无法用抽屉原理求解：题中唯一的条件“三角形回路”难以找到“空抽屉”，只能从反面来验证，导出矛盾（假定结论不成立，导出与“存在三角形回路”矛盾）。
先考虑充分性。
假定d+（Ai ）= d+（Aj），我们要找到一个长为3的有向圈，这可从Ai 、Aj出发，利用“局部扩展”策略，由边AiA j扩充为长为3的有向圈即可■。
chap14 有向图
19
有向H图的应用
任务的最佳排序问题：假设有任务t1, t2, …tn需在
同一设备上串行执行，从任务ti转到任务tj所需的 设备调整时间是aij，如何排任务执行次序，使设 备调整需时间最少？
1、建图：建立有向图D, 顶点对应于要执行的任务，
vivjA(D)当且仅当aijaji。边vivj带权aij。
T的高度为3 ;
T中的蓝色结点及弧构成 T的一个以v2为根的子树.
27
有序树
定义14.3.3：若对一个树T的结点(弧)从
上至下，同一层结点(弧)从左至右规定了 一个次序，则称T为有序树。 v0 有序树的编号：
v1 v2 v3
v21
v211 v212
v22
v213
v31
28
m元(有序)树
定义14.3.4：设T是(有序)树，m 1。
3 v3
D D’
17
竞赛图
竞赛图：完全图的定向图称为竞赛图。
n阶竞赛图可用来表示n个选手之间进行
循环赛的胜负状态。
有一人全胜，其余各胜 一场： 有一人全输，其余各胜 两场：
18
竞赛图都含有向H通路
有向图D的有向H通路是指一条包含D的所有顶
点的有向通路（有向哈密尔顿通路）。 推论14.2.1：每个竞赛图都含有向H通路。 证明：设D是竞赛图， D的基础图G是完全图， 于是， (G) = |V(D)| =p , 由定理14.2.1知，D中含长为p–1的有向通路， 也就是说，该通路上包含了所有的p个顶点， 即为有向H通路。
3(a). D 中任何一条有向(u, v)-通路(u≠v)P均满足 (u)≠(v) 3(b). D 中的任何弧(u,v) v 1 的首尾不同色 2 4. 总之，基础图G的 任何两个邻接的顶 点在下均不同色， 4 即是G的正常(k+1) v2 着色。 故k≥ (G) –1
有向H图的应用
任务的最佳排序问题：假设有任务t1, t2, …tn需在
同一设备上串行执行，从任务ti转到任务tj所需的 设备调整时间是aij，如何排任务执行次序，使设 备调整需时间最少？
1、建图：建立有向图D, 顶点对应于要执行的任务，
vivjA(D)当且仅当aijaji。边vivj带权aij。
T的高度为3 ;
T中的蓝色结点及弧构成 T的一个以v2为根的子树.
27
有序树
定义14.3.3：若对一个树T的结点(弧)从
上至下，同一层结点(弧)从左至右规定了 一个次序，则称T为有序树。 v0 有序树的编号：
v1 v2 v3
v21
v211 v212
v22
v213
v31
28
m元(有序)树
定义14.3.4：设T是(有序)树，m 1。
3 v3
D D’
17
竞赛图
竞赛图：完全图的定向图称为竞赛图。
n阶竞赛图可用来表示n个选手之间进行
循环赛的胜负状态。
有一人全胜，其余各胜 一场： 有一人全输，其余各胜 两场：
18
竞赛图都含有向H通路
有向图D的有向H通路是指一条包含D的所有顶
点的有向通路（有向哈密尔顿通路）。 推论14.2.1：每个竞赛图都含有向H通路。 证明：设D是竞赛图， D的基础图G是完全图， 于是， (G) = |V(D)| =p , 由定理14.2.1知，D中含长为p–1的有向通路， 也就是说，该通路上包含了所有的p个顶点， 即为有向H通路。
3(a). D 中任何一条有向(u, v)-通路(u≠v)P均满足 (u)≠(v) 3(b). D 中的任何弧(u,v) v 1 的首尾不同色 2 4. 总之，基础图G的 任何两个邻接的顶 点在下均不同色， 4 即是G的正常(k+1) v2 着色。 故k≥ (G) –1
第8章_有向图
图论及其应用
5
8.1 有向图——习题
10.1.1. 一个简单图有多少个定向图？ 10.1.2. 证明： = = 。 10.1.3. 设有向图D中无有向圈，则 d (v ) d (v ) v V v (a) = 0V； (b) 存在一个顶点排序v1，……，v ，使对1 i ，每条 以vi为 头的弧其尾都在{v1，……，vi-1} 中。 10.1.4. 证明：D是双向连通的 D是连通的，且D的每个块 是双向连通的。 10.1.5. D的逆图 是把D中每弧的方向都改为其反向所得的 有向图。试用逆图慨念及习题10.1.3.(a) 来证明： 若有向图D中 无有向圈，则+ = D 。 0 10.1.6. 证明：严格有向图包含长 max{ ，+}的有向路。 10.1.7. 证明：严格有向图中若max{ ，+} = k 1，则 D包含长 k+1 的有向圈。
图论及其应用
第8章 有向图
8.1 有向图
有向图（directed graph；digraph） D =（V，A） V(D) —— 顶点集。 a u v A(D) —— 弧集。 弧a = (u,v)：其头为v，其尾为u； 弧a从u连到(join to)v。 有向子图（subdigraph） 有向图D的基础图（underlying graph） 对应于D的无向图G（称D为G的一个定向 （orientation）图）
8.1 有向图
易见，有向图D = (V, A)中顶点间的双向连通性是V上 的一个等价关系，它的等价类确定了V的一个划分 （V1，……，Vm）， 使顶点u与v双向连通 u与v 同属某等价类Vi 。 称每个导出子图D[V1]，……，D[Vm]为有向图D的一 个双向分支（dicomponent；strong component）。 当D只有一个双向分支时，称D为双向连通的。 易见，D的任二双向分支之间的弧都是同一个方向的。 例
第七章 第一讲 无向图及有向图
完全图举例
K5
3阶有向完全图
4阶竞赛图
子图(subgraph)
定义8 设G＝<V,E>，G＝<V ,E>为两个图(同为无 向图或同为有向图)，若V V且E E，则称G 是G的子图，G为G 的母图，记作G G。 若V V或E E，则称G 为G的真子图。
若et∈E，使得et＝<vi，vj>，则称vi为et的始点，vj为 et的终点，并称vi邻接到vj，vj邻接于vi。
若ek的终点为el的始点，则称ek与el相邻(adjacent)。 el ek vi vj
定义3 在无向图中，关联一对顶点的无向边如果多于1条 ，则称这些边为平行边，平行边的条数称为重数。
3
欧拉：传奇的一生
年少时，听从父亲的安排，巴塞尔大学，学习神学和希伯来语 ，结果被约翰· 伯努利欣赏，17岁获得硕士学位之后，才开始 专供数学。
为获得圣彼得堡科学院的医学部的职位空缺，欧拉在巴塞尔便 全力投入生理学的研究，并出席医学报告会。1727年，等他到 达俄罗斯时，叶卡捷琳娜一世女皇去世，他进入数学部。 1733年，欧拉回到瑞士，并结婚，一生共生育13个孩子，5个 存活。 为了赢得巴黎奖金而投身于一个天文学问题，那是几个有影响 的大数学家搞了几个月时间的，欧拉在三天之后把它解决了。 可是过分的劳累使他得了一场病，病中右眼失明了。 欧拉到底出了多少著作，直至1936年人们也没有确切的了解。 但据估计，要出版已经搜集到的欧拉著作，将需用大4开本60 4 至80卷。彼得堡学院为了整理他的著作整整花了 47年。
解： (3,3,2,1)，(3,2,2,1,1) 不可以图化
(3,3,2,2)可以图化
(3,2,2,2,1)可以图化
图论的介绍ppt课件
chedules
工程项目的任务安排，如何满足限制条件，并在最短时 间内完成？
Program structure
大型软件系统，函数（模块）之间调用关系。编译器分 析调用关系图确定如何最好分配资源才能使程序更有效 率。
Graph Applications
Graph Problems and Algorithms
图论的介绍ppt课件
欧拉路径 解決哥尼斯保七桥问題
原來是一笔画问题啊！
数学家欧拉(Euler, 1707-1783) 于1736年严格的证明了上述哥尼斯堡 七桥问题无解，并且由此开创了图论的典型思维方式及论证方式
实际生活中的图论 Graph Model
电路模拟
例：Pspice、Cadence、ADS…..
哈密頓（Hamilton） 周遊世界问題
正十二面体有二十个顶点 表示世界上20个城市 各经每个城市一次 最后返回原地
投影至平面
哈密頓路径至今尚无有效方法來解決！
最短路径问題
(Shortest Path Problem)
最快的routing
最快航線
B 2
1
E
3
A
C 1
3 2F
1
3
D
3 3
G
最短路径算法Dijkstra算 法
二分图（偶图） Bipartite graphs
A graph that can be decomposed into two partite sets but not fewer is bipartite
It is a complete bipartite if its vertices can be divided into two non-empty groups, A and B. Each vertex in A is connected to B, and viceversa
工程项目的任务安排，如何满足限制条件，并在最短时 间内完成？
Program structure
大型软件系统，函数（模块）之间调用关系。编译器分 析调用关系图确定如何最好分配资源才能使程序更有效 率。
Graph Applications
Graph Problems and Algorithms
图论的介绍ppt课件
欧拉路径 解決哥尼斯保七桥问題
原來是一笔画问题啊！
数学家欧拉(Euler, 1707-1783) 于1736年严格的证明了上述哥尼斯堡 七桥问题无解，并且由此开创了图论的典型思维方式及论证方式
实际生活中的图论 Graph Model
电路模拟
例：Pspice、Cadence、ADS…..
哈密頓（Hamilton） 周遊世界问題
正十二面体有二十个顶点 表示世界上20个城市 各经每个城市一次 最后返回原地
投影至平面
哈密頓路径至今尚无有效方法來解決！
最短路径问題
(Shortest Path Problem)
最快的routing
最快航線
B 2
1
E
3
A
C 1
3 2F
1
3
D
3 3
G
最短路径算法Dijkstra算 法
二分图（偶图） Bipartite graphs
A graph that can be decomposed into two partite sets but not fewer is bipartite
It is a complete bipartite if its vertices can be divided into two non-empty groups, A and B. Each vertex in A is connected to B, and viceversa
图论讲义第8章-有向图
i =1
正整数。
定理 8.4.3 非平凡弱连通有向图 G 有 Euler 有向迹的充分必要条件是 G 中存在两个顶点 u 和
w 满足 d + (u) = d − (u) +1， d + (w) = d − (w) −1，而其它顶点都有 d + (v) = d − (v) 。
定理 8.4.4 设 G 是弱连通有向图，如果 G 中存在两个顶点 u 和 w 满足 d + (u) = d − (u) +k， d + (w) = d − (w) −k，(k 是一个正整数)，而其它顶点都有 d + (v) = d − (v) ，则 G 中从 u 到 w
这便定义出一个有向图。
注：（1）相应地，前面所说的边不带有方向的图称为无向图。 （2）一个无向图 G 可以对应若干个有向图，它称为所对应的有向图的基础图或底图。 （3）将有向图的顶点可用平面上的一个点来表示，弧可用平面上的有向线段来表示（直
的或曲的），这样画出的平面图形称为图（有向图）的图示。 （4）对一条弧 e=<u, v>，其第二分量顶点 v（即箭头指向的顶点）称为它的首顶点，另一
对任何顶点 v ∈V (G − A′) ，如果 G − A′ 中从 v 出发的最长有向路长为 i，则给 v 染色 i+1。 用 Vi 表示染有第 i 种色的顶点的集合。下证(V1,V2,···,Vk+1)是 G 的正常 k+1 顶点染色。为此， 先证明关于这种染色的两个结论。 （1） G − A′ 中任一有向路的起点与终点异色
连通的。 (3) 若对 G 的任二顶点 u, v，既存在有向路 P(u, v)，又存在有向路 P(v, u)，则称 G 是强连通
正整数。
定理 8.4.3 非平凡弱连通有向图 G 有 Euler 有向迹的充分必要条件是 G 中存在两个顶点 u 和
w 满足 d + (u) = d − (u) +1， d + (w) = d − (w) −1，而其它顶点都有 d + (v) = d − (v) 。
定理 8.4.4 设 G 是弱连通有向图，如果 G 中存在两个顶点 u 和 w 满足 d + (u) = d − (u) +k， d + (w) = d − (w) −k，(k 是一个正整数)，而其它顶点都有 d + (v) = d − (v) ，则 G 中从 u 到 w
这便定义出一个有向图。
注：（1）相应地，前面所说的边不带有方向的图称为无向图。 （2）一个无向图 G 可以对应若干个有向图，它称为所对应的有向图的基础图或底图。 （3）将有向图的顶点可用平面上的一个点来表示，弧可用平面上的有向线段来表示（直
的或曲的），这样画出的平面图形称为图（有向图）的图示。 （4）对一条弧 e=<u, v>，其第二分量顶点 v（即箭头指向的顶点）称为它的首顶点，另一
对任何顶点 v ∈V (G − A′) ，如果 G − A′ 中从 v 出发的最长有向路长为 i，则给 v 染色 i+1。 用 Vi 表示染有第 i 种色的顶点的集合。下证(V1,V2,···,Vk+1)是 G 的正常 k+1 顶点染色。为此， 先证明关于这种染色的两个结论。 （1） G − A′ 中任一有向路的起点与终点异色
连通的。 (3) 若对 G 的任二顶点 u, v，既存在有向路 P(u, v)，又存在有向路 P(v, u)，则称 G 是强连通
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
1 0.8
0.6 0.4 x 0.2
“充分性”
不失一般性，设C= v1→v2→…→vn→v1是包含D的所有顶 点的一条回路。对于D的任意两点vi与vj(i<j) ,一方面，由C 可得到vi到vj的途径vi →vi+1 →… →vj。另一方面，由C又可 得到vj到vi的途径vj →vj+1 →…vi-1 →vi。所以D中任意两点是 强连通的，即D是强连通图。
0.5
00
1 0.8
0.6 0.4 x 0.2
定义3 在一个有向图D中，如果没有有向环和平行边， 则称该图为简单有向图。
v1 e4
e7 e6
v2
v4
e5
e3
e1
e2
v3
非简单有向图D
v1 e4 v4
e2
e6
v2
e5 e1
v3
简单有向图D
定义4 设D是有向图，去掉D中边的方向后得到的无向 图G，称为D的基础图。又若G是无向图，给G的每条边 加上方向后得到的有向图D称为G的一个定向图。
7
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
对 v V (D) ，有
d (v) d (v) 1
2、性质
定理1 设D=(V, E)是有向图，则：
d (v) d (v) m(D)
vV (D)
vV (D)
证明：由出度与入度的定义立即可得上面等式。
v6 G
v3 v4
解: (1) 取点v1, 令l (v1)=1, L=｛v1｝, U=｛v2,v3,…,v7｝,A=Φ; (2) 在U中取点v7 , 作边<v1, v7>。令l (v7)=l (v1)+1=2, L =｛v1,v7｝, U=｛v2,v3,…,v6｝, A=｛ <v1, v7> ｝
21
例如：
v1 e4
e7 e6
v2
v4
e5
e3
e1
e2
v3
有向图D
e1 v3, v2
v3与v2分别是e1 的起点与终点。 定义2 在一个有向图D中，具有相同起点和终点的边 称为平行边。两点间平行边的条数称为该两点间的重数。
例如，在上图中，e6与e7是平行边。
4
1
0.5 n 0
0.5
1 2 1.5 t1
证明：“必要性”
设V(D)=｛v1,v2,…,vn｝。由于D是强连通图，所以，对任 意两点vi与vj, 都存在(vi, vj)路，同时也存在(vj ,vi)路。所以 存在如下闭途径：v1→v2→…→vn→v1。这是一条包含D的 所有顶点的回路。
13
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
v1(1)
v2
v3
v1(1)
v2
v3
v5
v5(4)
v7(2)
V6(3)
v4
v7(2)
V6(3)
v4
Gv5 , 作边<v6, v5>。令l (v5)=l (v6)+1=4,
L =｛v1,v7,v6,v5｝, U=｛v2,v3, v4｝, A=｛ <v1, v7>, <v7, v6> , <v6, v5> ｝
2、强连通定向算法
该算法采用顶点标号方法给边标上方向。设G=(V, E)是2 边连通图。
(1) 在G中任取顶点w, 令l (w)=1, L=｛w｝,U=V-｛w｝,A=Φ;
(2) 在L中求点v, 使得l (v)最大且满足在U中存在其邻点u。然 后作有向边<v, u>。令l (u)=l (v)+1 , L = L∪｛u｝,U=U-｛u｝ 且A=A∪｛ <v, u> ｝;
d (v) d (v) 1
证明：不失一般性，设G是连通图。G中奇度顶点个数必 然为偶数个，将偶数个奇数度顶点配对，然后在每一对配对 顶点间连一条边得到欧拉图G1。在G1中用Fluery算法求出G 的一欧拉环游C,然后顺次地在C上标上方向，由此得到C的 定向图C1。
在C1中，去掉添加的边后，得到G的定向图D.显然：
(2) 若D无环。称矩阵M=(mij)n×m是D的关联矩阵，其中
1,
vi是e
的始点，
j
mij -1，vi是边ej的终点，(1 i n,1 j m),
0, 其它.
9
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
例1 写出下面有向图D1的邻接阵和D2的关联阵。
0.6 0.4 x 0.2
但是，对于单向连通分支来说，D的某个顶点，可能会分 属于D的若干个单向连通分支。原因是单向连通关系不是等 价关系。
(三)、图的定向问题
图的定向问题是有向图中的一个典型问题之一，具有广 泛的应用背景。
城市交通网设计问题: 一座城市为某种需要，要把所有街 道改为单行道，使得人们在任意两个位置都可以相互到达。 如何设计单行道方向？
点v的出度与入度之和称为点v的度，记为d(v)。
d (v4 ) 2 d (v4 ) 2 d (v4 ) 4
v1
e4 v4
e7 e6
e5
v2 e1
e2
v3
有向图D
6
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
例1 一个简单图有多少个定向图？ 答：因为每条边有2种定向方式，所以共有2 m(G)种定向。 例2 求证：G存在一个定向图D，使得对 v V (D) ，有
3
4
1
5
6
9
8
7
16
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
(2) D的单向连通分支
2
3
4
5
D的单向连通分支就是D本身。 1
注：求D的强、弱连通分支比较 容易，求单向分支比较困难。
9
8
7
6
D
定理2： 有向图D=(V,E)的每个点位于且仅位于D的某个 强(弱)连通分支中。
图论建模：街道交叉口模型为图的顶点，两点连线当且 仅当该两点是某街道的端点。
18
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
问题等价于在模型图中给出其强连通定向。
对于任意一个无环图G，要对其作强连通定向，需要解 决两个问题：一是强连通定向的存在性问题，二是如何定向 问题。
证明：对于弱连通分支情形，命题结论是显然的。
对于强连通分支情形，因为不难证明：D中顶点间的强 连通关系是等价关系。该等价关系对应的等价类在D中的导 出子图必然是D的一个强分支。而D的一个强分支包含的顶 点也必然是该等价关系的一个等价类。
17
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
v1(1) v2(5)
v3
v1(1) v2(5)
v3(6)
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
图论及其应用
应用数学学院
1
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
本次课主要内容 有向图
(一)、有向图的概念与性质 (二)、有向图的连通性 (三)、图的定向问题 (四)、有向路与有向圈
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
(2) 在L中取v7, U中取点v6 , 作边<v7, v6>。令l (v6)=l (v7)+1=3, L =｛v1,v7,v6｝, U=｛v2,v3,…,v5｝, A=｛ <v1, v7>, <v7, v6> ｝
3) 若D的中任意两点是双向连通的，称D是强连通图；
D1
D2
D3
12
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
在上面三图中，D1是强连通的，D2是单向连通的，而D3 仅为弱连通图。
关于强连通图，我们有如下结论： 定理1： 有向图D=(V,E)是强连通的，当且仅当D中存在 包含D中所有顶点的回路。
例3 求下图D的强连通分支、单向连通分支。
2
3
4
5
1
9
8
7
6
D
15
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
(1) D的强连通分支
2
3
4
5
｛1｝ ｛2, 3, 9, 8, 4, 7｝ ｛5｝ ｛6｝
1
9
8
7
6
D
上面点集导出的子图是 D的强 连通分支。
2
如果e是D的一条边，而u与v是使得фD(u,v)=e的顶点， 那么称e是由u连接到v，记为e=<u, v>。同时，称u为e的 弧尾(起点), v为e的弧头(终点)。