离散数学PPT教学图论.ppt
《离散数学PPT教学图论.ppt》由会员分享,可在线阅读,更多相关《离散数学PPT教学图论.ppt(60页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、欢欢迎迎进进入入第第11章章图图论论本章重难点本章重难点:重点了解图的各种概念,理解并掌握握手定理的应用以及各种矩阵的表示。难点是图的最短路径和关键路径的求法。第第11章章 图图 论论第一节第一节图的基本概念图的基本概念第二节第二节图的矩阵表示图的矩阵表示第三节第三节生成树、最短路径和关键路径生成树、最短路径和关键路径第四节第四节特殊图(欧拉图和哈密顿图等)特殊图(欧拉图和哈密顿图等)第五节第五节树、二叉树和哈夫曼树树、二叉树和哈夫曼树一一、图的基本概念、图的基本概念图的定义:图的定义:图图(graph)G由三个部分所组成:由三个部分所组成:(1)非空集合)非空集合V(G)称为图称为图G的的结
2、点集结点集,其成员称为节点或顶点(,其成员称为节点或顶点(nodes or vertices)(2)集合)集合 E(G),称为图,称为图G的的边集边集,其成员称为边,其成员称为边(edges)。(3)函数)函数G:E(G)(V(G),V(G),称为边称为边与顶点的与顶点的关联映射。关联映射。度的相关定义度的相关定义:在任何图中,结点在任何图中,结点v的的度度度度(degree)d(v)是是v所关联边的数目。所关联边的数目。而在有向图中,结点而在有向图中,结点v的的出度出度出度出度(out-degree)d+(v)是是v作为有向边起点的作为有向边起点的数目,数目,v的的入度入度入度入度(in-d
3、egree)d-(v)是是v作为有向边终点的数目,这时结点作为有向边终点的数目,这时结点v的度是它的出度与入度的和;结点的度是它的出度与入度的和;结点v的环使其度增加的环使其度增加2。一一、图的基本概念、图的基本概念连通图、强连通图、弱连通图连通图、强连通图、弱连通图 若无向图中的任意两个顶点都相互可达,则称无向图若无向图中的任意两个顶点都相互可达,则称无向图G是是连通连通连通连通的(的(connected););若有向图若有向图G的任何两个顶点都是相互可达的,则称有向图的任何两个顶点都是相互可达的,则称有向图G是是强连通强连通强连通强连通的;的;如果如果G的任何两个顶点都是相互可达的,称有向
4、图的任何两个顶点都是相互可达的,称有向图G是是单单单单向连通向连通向连通向连通的;的;如果如果G的任何两个顶点中,至少从一个顶点到另一个顶点的任何两个顶点中,至少从一个顶点到另一个顶点是可达的,称有向图是可达的,称有向图G是是弱连通弱连通弱连通弱连通的。的。一一、图的基本概念、图的基本概念邻接和关联邻接和关联无向图和有向图无向图和有向图零图和平凡图零图和平凡图简单图简单图完全图(无向完全图和有向完全图)完全图(无向完全图和有向完全图)有环图有环图一一、图的基本概念、图的基本概念有限图和无限图有限图和无限图 设图设图G为为(l)当)当V和和E为有限集时,称为有限集时,称G为为有限图有限图有限图有
5、限图,否则称,否则称G为为无限图无限图无限图无限图。(2)当)当G为单射时,称为单射时,称G为为单图单图单图单图;当;当G为非单射时,称为非单射时,称G为为重图重图重图重图,又称满足又称满足(e1)=(e2)的不同边的不同边e1,e2,为,为重边重边重边重边,或或平行边。平行边。平行边。平行边。正则图正则图 各顶点的度均相同的图称为各顶点的度均相同的图称为正则图正则图正则图正则图(regular graph)。)。各顶点度均为各顶点度均为k的正则图称为的正则图称为k-k-正则图正则图正则图正则图。同构图同构图一一、图的基本概念、图的基本概念子图、真子图、生成子图子图、真子图、生成子图设图设图G
6、1,G2,称称G1为为G2的的子图子图子图子图(subgraph););如果如果V1 V2,E1 E2,1 2,称,称G1为为G2的的真子图真子图真子图真子图;如果如果G1是是G2的子图,且的子图,且G1 G2,称,称G1为为G2的的生成子图生成子图生成子图生成子图(spanning subgraph);如果);如果G1是是G2的子图,且的子图,且V1=V2。握手定理的证明握手定理的证明每个图中,节点度数的总和等于边的每个图中,节点度数的总和等于边的2倍。倍。证明:因为每条边必关联两个节点,而一 条边给予关联的每个节点的度数为1,因此在一个图中,节点度数的总和等于边数的2倍。握手定理的运用握手
7、定理的运用定理定理1:在任何图中,度数为奇数的节点个在任何图中,度数为奇数的节点个数必定是偶数个。数必定是偶数个。证明:(自己思考!)定理定理2:在任何有向图中,所有节点入度之和在任何有向图中,所有节点入度之和等于所有节点的出度之和。等于所有节点的出度之和。证明:因为每一条有向边必对应一个入度及一个出度,所以有向图中各节点入度之和等于边数,各节点的出度之和也等于边数。例:设图例:设图G为下列情况:为下列情况:(1)16条边,每个顶点都是条边,每个顶点都是2度;度;(2)21条边,条边,3个个4度顶点,其余均为度顶点;度顶点,其余均为度顶点;(3)24条边,各节点的度数均相同;条边,各节点的度数
8、均相同;试求每个图有几个节点?试求每个图有几个节点?握手定理的应用握手定理的应用解答:利用握手定理,设图有x个节点,则x=16*2 x=1621*2=12+3*x x=10 故图中有个节点(3)x*m=24*2 二、图的矩阵表示二、图的矩阵表示1.关联矩阵关联矩阵2.邻接矩阵邻接矩阵3.可达矩阵可达矩阵4.布尔矩阵布尔矩阵5.代价矩阵代价矩阵 二、图的矩阵表示二、图的矩阵表示1.关联矩阵关联矩阵无向图的关联矩阵无向图的关联矩阵-以节点数为行,边数为列.若有环,则关联数为2,无关联则为0.每行之和为该顶点的度,列之和一定为2.有向图的关联矩阵有向图的关联矩阵-以节点数为行,边数为列.节点与边无关
9、系,为0,有关系,则起点为1,终点为-1;列之和一定为0,每行绝对值之和等于该节点的度数;其中1的个数为该节点的出度,-1的个数为对应节点的入度;所有元素的和为0,1的个数等于-1的个数,都等于边数m.二、图的矩阵表示二、图的矩阵表示2.邻接矩阵邻接矩阵无向图的邻接矩阵无向图的邻接矩阵-行和列均为节点的数目;是个对称距阵,行之和等于列之和,均等于该顶点的度;主对角线都为0,除非有环才为1;边的数目m为1的数目总和的一半.有向图的邻接矩阵有向图的邻接矩阵-行和列均为节点的数目;不是对称距阵,行之和等于该顶点的出度,列之和等于该顶点的入度;主对角线都为0,除非有环才为1;边的数目m为非0的数目的总
10、和.二、图的矩阵表示二、图的矩阵表示3.可达矩阵可达矩阵-行和列均为节点的数目;节点和节点之间若至少存在一条路则为1,不存在路则为0.4.布尔矩阵布尔矩阵-由可达距阵转变,把非0的数值均改为1即可.5.代价矩阵代价矩阵-若邻接距阵元素为1的以权值表示,距阵元素为0的则以表示.三、生成树、最短路径和关键路径三、生成树、最短路径和关键路径生成树定义生成树定义1、深度优先遍历2、广度优先遍历最小生成树最小生成树构造最小生成树的三种方法:1、Kruskal算法2、管梅谷算法3、Prim算法第四节 欧拉图和哈密顿图欧拉图的由来:哥尼斯堡七桥问题哥尼斯堡城市有一条横贯全城的普雷格尔河,河中有两个小岛,城的
11、各部分用七座桥连接,每逢假日,城中居民进行环城逛游,这样就产生了一个问题,能不能设计一次遍游,使得从某地出发对每座跨河桥只走一次,而在遍历了七桥之后却又能回到原地。第四节 欧拉图和哈密顿图通过图中所有边一次且仅一次行遍所有顶点的通路称为欧拉通路(欧拉路)。通过图中所有边一次且仅一次行遍所有顶点的回路称为欧拉回路。只有具有欧拉回路的图才能称为欧拉图。具有欧拉通路而无欧拉回路的图称为半欧拉图。第四节 欧拉图和哈密顿图 欧拉在1736年的论文中提出了一条简单准则,确定了哥尼斯堡七桥问题是不能解的。定理定理1:无向图是欧拉图当且仅当G是连通图且没有奇度顶点。定理定理2:无向图是半欧拉图当且仅当G是连通
12、的且恰有两个奇度顶点。第四节 欧拉图和哈密顿图定理定理3:有向图D是欧拉图当且仅当D是强连通的且每个顶点的 入度等于出度。定理定理4:有向图D是半欧拉图当且仅当D是单向连通的且恰有两个奇度顶点,其中一个顶点的入度比出度大1,另一个顶点出度比入度大1,而其余顶点的 入度等于出度。第四节 欧拉图和哈密顿图欧拉图的应用:一笔画问题:一个图能一笔画出是指从图某一点出发,不间断地画完整个图,最后回到起点。第四节 欧拉图和哈密顿图哈密顿图的由来周游世界问题:一个数学游戏,能不能在一个十二面体中找到一条回路,使它含有这个图的所有结点?把每个结点看成一个城市,连接两个结点的边看成是交通线,也即能否找到旅游线路
13、,沿着交通线经过每个城市恰好一次再回到原来的出发地?第四节 欧拉图和哈密顿图经过图中所有顶点一次且仅一次的通路称为哈密顿通路(哈密顿路)。通过图中所有顶点一次且仅一次的回路称为哈密顿回路。只有具有哈密顿回路的图才能称为哈密顿图。具有哈密顿通路而无哈密顿回路的图称为半哈密顿图。第四节 欧拉图和哈密顿图定理定理1(必要条件):设无向图G=是哈密顿图,则对于任意V1 V且V1 空集,均有 P(G-V1)V1定理定理2(充分条件):设G是n阶无向简单图,若对于G中任意不相邻的顶点u,v,均有 d(u)+d(v)n-1,则G中存在哈密顿通路。推论:推论:设G为n(n3)阶无向简单图,若对于G中任意两个不
14、相邻的顶点u,v均有 d(u)+d(v)n,则G中存在哈密顿回路。第四节 欧拉图和哈密顿图哈密顿图的应用在某次国际会议的预备会中,共有8人参加,他们来自不同的国家,已知他们中任何两个无共同语言的人,与其余有共同语言的人数之和大于或等于8,试证明能将这8个人排在圆桌旁,使其任何人都能与两边的人交谈。一、无向树一、无向树1.定义:定义:无回路的连通无向图称为无向树,简称树。无回路的连通无向图称为无向树,简称树。树中度数为树中度数为1的顶点称为树叶,度数大于的顶点称为树叶,度数大于1的顶点称为内部结点或分枝点。的顶点称为内部结点或分枝点。若图若图G的每个连通分图都是树的每个连通分图都是树,G称为森林
15、称为森林。第五节第五节 树、二叉树和哈夫曼树树、二叉树和哈夫曼树 2 2、树的五个等价定义、树的五个等价定义Th1.Th1.无向图无向图T T是树,当且仅当下列条件之一成立:是树,当且仅当下列条件之一成立:1.1.无回路且无回路且m=n-1m=n-1的图的图 2.2.连通且连通且m=n-1 m=n-1 的图的图 3.3.无无 回回 路路,但但 增增 加加 任任 一一 新新 边边,得得 到到 且且 仅仅 得得 到到 一个基本回路一个基本回路 4.4.连通但删去任一边,图便不连通。连通但删去任一边,图便不连通。(n=2)(n=2)5.5.每一对顶点间有唯一的一条通路。每一对顶点间有唯一的一条通路。
16、(n=2)(n=2)证明:证明思路证明:证明思路 (1)(1)树树=1=1 (2)1=2 (2)1=2 (3)2=3 (3)2=3 (4)3=4 (4)3=4 (5)4=5 (5)4=5 (6)5=6 (6)5=6 (1)(1)树树=1=1 即即无回路的连通无向图无回路的连通无向图=无回路且无回路且m=n-1m=n-1证明:对顶点数作归纳证明。证明:对顶点数作归纳证明。n=1n=1时,时,m=0m=0,m=n-1m=n-1成立成立 设设n=kn=k命命题题成成立立,当当n=k+1n=k+1时时,因因树树连连通通而而无无回回路路,所所以以至至少少有有一一个个度度数数为为1 1的的顶顶点点v v,
17、在在T T中中删删去去v v,及及其其关关联联边边,得得k k个个顶顶点点的的树树TT由由归归纳纳假假设设,它它有有k-1k-1条边。条边。原图原图T T边数为边数为k-1+1,k-1+1,顶点数为顶点数为k+1k+1m=n-1m=n-1成立。成立。树是无回路且树是无回路且m=n-1m=n-1的图。的图。(2)(2)无回路且无回路且m=n-1m=n-1的图的图=连通且连通且m=n-1 m=n-1 的图的图反证法反证法.证明:设证明:设T T不连通,有不连通,有k k个连通分图个连通分图 T T1 1.T.Tk k(k2)(k2),顶点数及边数分别为,顶点数及边数分别为 n n1 1.n.nk
18、k,m,m1 1.m.mk,k,因每个连通分图是无回路连通图,因每个连通分图是无回路连通图,故符合树的定义,所以故符合树的定义,所以n ni i=m=mi-1i-1成立成立 n=m-k k1,n=m-k k1,这与这与m=n-1m=n-1前提矛盾前提矛盾 T T连通且具有连通且具有m=n-1m=n-1的图的图(3)2=3 3)2=3 即连通且m=n-1 的图=无无回回路路,但但增增加加任任一一新边,得到且仅得到一个基本回路。新边,得到且仅得到一个基本回路。证明:证明:(a)T(a)T无回路,因无回路,因T T是连通是连通,并且并且m=n-1m=n-1的图,的图,故当故当n=1n=1时,时,m=
19、n-1=0,m=n-1=0,无回路无回路 设顶点数为设顶点数为n-1n-1时无回路。时无回路。当顶点数为当顶点数为n n时,时,m=n-1m=n-1,故至少有一个顶点,故至少有一个顶点v v,使使d(v)=1d(v)=1,删去,删去v v及其关连边得图及其关连边得图TT 则由归纳假设则由归纳假设TT无回路,再加回无回路,再加回v v及关联边得及关联边得 图图T T,则,则T T也无回路。也无回路。(b)在连通图在连通图T中中,任意取两点任意取两点vi,vj,因为因为T连通所以连通所以vi,vj存在一路经,存在一路经,若增加新边若增加新边(vi,vj),则得一回路,则得一回路,且该回路是唯一的。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 PPT 教学
限制150内