第8章 有向图.ppt
《第8章 有向图.ppt》由会员分享,可在线阅读,更多相关《第8章 有向图.ppt(23页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、图论及其应用图论及其应用第第8章章 有向图有向图 8.1 有向图有向图 有向图有向图(directed graph;digraph)D=(V,A)V(D)顶点集。A(D)弧集。弧弧a=(u,v):其头头为v,其尾尾为u;弧a从u连到连到(join to)v。有向子图有向子图(subdigraph)有向图D的基础图基础图(underlying graph)对应于D的无向图G(称D为G的一个定向定向(orientation)图图)u v a 2图论及其应用图论及其应用8.1 有向图有向图(无向)图的每个慨念在有向图中仍然有效例如,右图是2-连通图;有Hamiton 圈;有完美匹配;=3;vrswu
2、是它的一条(v,u)-路;vyzwsrv是它的一个圈,等等。此外,有向图还有一些与方向有关的慨念,如有向途径有向途径(directed walk)、有向迹有向迹(directed trail)、有向路有向路(directed path)、有有向向Euler环游环游(direted Euler tour)、有向圈有向圈(directed cycle)等等。例如右图中,(v,e1,x,e2,y,e3,z,e4,w,e5,u)为一 有向有向(v,u)-路路,可简记为(v,x,y,z,w,u);又,(y,z,w,s,r,x,y)为一 有向圈。称 顶点v为 从从u可达的可达的(reachable fro
3、m u)存在有向(u,v)-路。称 顶点u与v 为双向连通的双向连通的(diconnected;strongly connected)u与v彼此可达的。3图论及其应用图论及其应用8.1 有向图有向图易见,有向图D=(V,A)中顶点间的双向连通性是V上的一个等价关系,它的等价类确定了V的一个划分 (V1,Vm),使顶点u与v双向连通 u与v 同属某等价类Vi。称每个导出子图DV1,DVm为有向图D的一个双向分支双向分支(dicomponent;strong component)。当D只有一个双向分支时,称D为双向连通的。双向连通的。易见,D的任二双向分支之间的弧都是同一个方向的任二双向分支之间的
4、弧都是同一个方向的。l例 4图论及其应用图论及其应用8.1 有向图有向图入度入度(indegree)。出度出度(outdegree)。记号 +,:最小出、入度;+,-:最大出、入度。称有向图D为严格的严格的(strict)无环、且不存在两弧其端点及方向相同。5图论及其应用图论及其应用8.1 有向图有向图习题习题10.1.1.一个简单图有多少个定向图?10.1.2.证明:=。10.1.3.设有向图D中无有向圈,则 (a)=0;(b)存在一个顶点排序v1,v,使对1 i ,每条以vi为 头的弧其尾都在v1,vi-1 中。10.1.4.证明:D是双向连通的 D是连通的,且D的每个块是双向连通的。10
5、.1.5.D的逆图逆图 是把D中每弧的方向都改为其反向所得的有向图。试用逆图慨念及习题10.1.3.(a)来证明:若有向图D中无有向圈,则+=0。10.1.6.证明:严格有向图包含长 max,+的有向路。10.1.7.证明:严格有向图中若max,+=k 1,则D包含长 k+1 的有向圈。6图论及其应用图论及其应用8.1 有向图有向图习题(续)习题(续)10.1.8.设 矩阵A=aij 为有向图D的邻接矩阵,其中aij 是D中以vi为尾、以vj为头的弧数。证明:Ak的第(i,j)元素是D中长为k的(vi,vj)-有向途径的数目。10.1.9.设D1,Dm为D的双向分支。D的凝聚图凝聚图H是一有m
6、个顶点w1,w 的有向图。H中存在以wi为尾、以wj为头的弧,当且仅当D中存在尾在Di 、而头在Dj中的弧。证明:H中不包含有向圈。10.1.10.证明:任一图G都有一个定向图D,使对每个顶点v都有|d+(v)-d-(v)|1 10.1.11.证明:D是双向连通的 对10.1.12 在连通非空有向图D中,证明:D是双向连通的 D中每弧在一有向圈上 10.1.13.设D为一以以(顶点)u为根的有向图为根的有向图(对D中任一顶点,D中都存在一有向(u,v)-路),证明:D中有一以为根的有向树以为根的有向树,中每一(唯一)有向(u,v)-路是D中最短有向(u,v)-路。10.1.14.有向图中任一有
7、向闭迹恒可划分为一些边不重的有向圈的併。7图论及其应用图论及其应用8.1 有向图有向图习题(续)习题(续)10.1.15.设T=(V,A)为一有向树有向树(无向)树的一个定向),FA(T)。证明:存在一顶点x,它恰只是F中弧的头(即不能是尾)。8图论及其应用图论及其应用10.2 有向路有向路定理定理10.1 (Roy,1967;Gallai,1968)有向图有向图D包含一包含一长为长为 -1 的有向路的有向路。l证明:令D为D的极大极大无有向圈、有向生成子图(注:D 可由空生成子图作为开始,在保持无有向圈的条件下,通过逐步加弧而得)。令k为D 中最长有向路的长。今用色1,2,k+1对D 进行顶
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第8章 有向图
限制150内