1、图论基本概念1第五部分第五部分 图论图论本部分主要内容本部分主要内容l 图的基本概念图的基本概念l 欧拉图、哈密顿图欧拉图、哈密顿图l 树树图论基本概念2绪论绪论图论的历史:图论的历史:图论的第一篇论文是瑞士数学家欧拉(图论的第一篇论文是瑞士数学家欧拉(Euler)发表于)发表于1736年出版的年出版的圣彼得堡科学院刊物中。圣彼得堡科学院刊物中。讨论一个所谓讨论一个所谓Konigsberg Seven Bridges Problem。图论基本概念3绪论绪论图论的作用:图论的作用:l 图与计算机:计算机中数据结构,离不开数组、串、各种图与计算机:计算机中数据结构,离不开数组、串、各种链接表、树和
2、图,因此图是计算机中数据表示、存储和运链接表、树和图,因此图是计算机中数据表示、存储和运算的基础算的基础 l 图与网络:图与网络:最大流问题:假设从城市最大流问题:假设从城市P到城市到城市Q的一个公路网,的一个公路网,公路网中每段公路上每天可以通过的汽车的数量有上限,公路网中每段公路上每天可以通过的汽车的数量有上限,那么经过该公路网,每天最多可以有多少辆汽车从城市那么经过该公路网,每天最多可以有多少辆汽车从城市P开到城市开到城市Q?最优支撑树问题:某一地区有若干个主要城市,拟最优支撑树问题:某一地区有若干个主要城市,拟修建高速公路把这些城市连接起来,使得从其中任何一个修建高速公路把这些城市连接
3、起来,使得从其中任何一个城市都可以经高速公路直接或间接到达另一个城市。假设城市都可以经高速公路直接或间接到达另一个城市。假设已经知道了任意两个城市之间修建高速公路的成本,那么已经知道了任意两个城市之间修建高速公路的成本,那么应如何决定在哪些城市间修建高速公路,使得总成本最小?应如何决定在哪些城市间修建高速公路,使得总成本最小?图论基本概念4第十四章第十四章 图的基本概念图的基本概念主要内容主要内容l 图图l 通路与回路通路与回路l 图的连通性图的连通性l 图的矩阵表示图的矩阵表示l 图的运算图的运算预备知识预备知识l 多重集合多重集合元素可以重复出现的集合元素可以重复出现的集合l 无序集无序集
4、A B=(x,y)|x A y B图论基本概念514.1 图图 无向图无向图G=,其中其中(1)V 为顶点集,元素称为顶点为顶点集,元素称为顶点 Vertex(2)E为为V V 的多重集,其元素称为无向边,简称边的多重集,其元素称为无向边,简称边 Edge实例实例 设设 V=v1,v2,v5,E=(v1,v1),(v1,v2),(v2,v3),(v2,v3),(v2,v5),(v1,v5),(v4,v5)则则 G=为一无向图为一无向图图论基本概念6有向图有向图 有向图有向图D=,只需注意只需注意E是是V V 的多重子集的多重子集图图2表示的是一个有向图,试写出它的表示的是一个有向图,试写出它的
5、V 和和 E 注意:图的数学定义与图形表示,在同构(待叙)的意义下注意:图的数学定义与图形表示,在同构(待叙)的意义下是一一对应的是一一对应的图论基本概念7相关概念相关概念1.图图 可用可用G泛指图(无向的或有向的)泛指图(无向的或有向的)V(G),E(G),|V(G)|,|E(G)|n阶图:阶图:n 个顶点的图个顶点的图2.有限图有限图3.n 阶零图(阶零图(0条边)与平凡图(条边)与平凡图(1个顶点)个顶点)4.空图空图(运算中出现)(运算中出现)5.用用 ek 表示无向边或有向边表示无向边或有向边图论基本概念8相关概念相关概念6.顶点与边的关联关系顶点与边的关联关系 关联、关联次数关联、
6、关联次数 环环 孤立点孤立点7.顶点之间的相邻与邻接关系顶点之间的相邻与邻接关系图论基本概念9)()()(),()(|)(vvNvNvvuGEvuGVuuvNv 的的闭闭邻邻域域的的邻邻域域)(|)(关关联联与与veGEeevI )()()()()()(,)(|)()(,)(|)(vvNvNvvvvNvvuDEvuDVuuvvvuDEuvDVuuvvDDDDDDD 的的闭闭邻邻域域的的邻邻域域的的先先驱驱元元集集的的后后继继元元集集8.邻域与关联集邻域与关联集 v V(G)(G为无向图为无向图)v 的关联集的关联集 v V(D)(D为有向图为有向图)9.标定图与非标定图标定图与非标定图(顶点和
7、边指定编号的)顶点和边指定编号的)10.基图(有向图的有向边改为无向边)基图(有向图的有向边改为无向边)相关概念相关概念图论基本概念10多重图与简单图多重图与简单图定义定义14.3 (1)无向图中的平行边及重数无向图中的平行边及重数 关联一对顶点的边多于一条,条数称为重数关联一对顶点的边多于一条,条数称为重数(2)有向图中的平行边及重数(注意方向性)有向图中的平行边及重数(注意方向性)(3)多重图多重图(4)简单图(无平行边和环)简单图(无平行边和环)简单图是极其重要的概念简单图是极其重要的概念 图论基本概念11顶点的度数顶点的度数 (1)设设G=为无向图为无向图,v V,d(v)v的度数的度
8、数,简称度简称度 (2)设设D=为有向图为有向图,v V,d+(v)v的出度的出度 d(v)v的入度的入度 d(v)v的度或度数的度或度数 (3)(G)(最大度)(最大度),(G)(最小度)(最小度)无向图中无向图中 (4)+(D),+(D),(D),(D),(D),(D)(5)度数为度数为1的点称为悬挂点,关联的边为悬挂边;的点称为悬挂点,关联的边为悬挂边;奇顶点度与偶度顶点奇顶点度与偶度顶点图论基本概念12mvdnii2)(1 mvdvdmvdniiniinii 111)()(,2)(且且定理定理 设设G=为任意无向图,为任意无向图,V=v1,v2,vn,|E|=m,则则证证 G中每条边中
9、每条边(包括环包括环)均有两个端点,所以在计算均有两个端点,所以在计算G中各顶点中各顶点度数之和时,每条边均提供度数之和时,每条边均提供2度,度,m 条边共提供条边共提供 2m 度度.此二定理是欧拉此二定理是欧拉17361736年给出,是图论的基本定理年给出,是图论的基本定理握手定理握手定理 设设D=为任意有向图,为任意有向图,V=v1,v2,vn,|E|=m,则则图论基本概念13握手定理推论握手定理推论推论推论 任何图任何图(无向或有向无向或有向)中,奇度顶点的个数是偶数中,奇度顶点的个数是偶数.证证 设设G=为任意图,令为任意图,令 V1=v|v V d(v)为奇数为奇数 V2=v|v V
10、 d(v)为偶数为偶数 则则V1 V2=V,V1 V2=,由握手定理可知,由握手定理可知由于由于2m,均为偶数,所以均为偶数,所以 为偶数,但因为为偶数,但因为V1中中顶点度数为奇数,所以顶点度数为奇数,所以|V1|必为偶数必为偶数.21)()()(2VvVvVvvdvdvdm 2)(Vvvd 1)(Vvvd图论基本概念14图的度数列图的度数列1.V=v1,v2,vn为无向图为无向图G的顶点集,称的顶点集,称d(v1),d(v2),d(vn)为为G的度数列的度数列 2.V=v1,v2,vn为有向图为有向图D的顶点集,的顶点集,D的度数列:的度数列:d(v1),d(v2),d(vn)D的出度列:
11、的出度列:d+(v1),d+(v2),d+(vn)D的入度列:的入度列:d(v1),d(v2),d(vn)3.非负整数列非负整数列d=(d1,d2,dn)是可图化的,是可简单图化的是可图化的,是可简单图化的.易知:易知:(2,4,6,8,10),(1,3,3,3,4)是可图化的,后者又是可是可图化的,后者又是可简单图化的,而简单图化的,而(2,2,3,4,5),(3,3,3,4)都不是可简单图化都不是可简单图化的,特别是后者也不是可图化的的,特别是后者也不是可图化的图论基本概念15图的同构图的同构 设设G1=,G2=为两个无向图为两个无向图(两个有向两个有向图图),若存在双射函数,若存在双射函
12、数f:V1V2,对于对于vi,vj V1,(vi,vj)E1 当且仅当当且仅当(f(vi),f(vj)E2 (E1 当且仅当当且仅当 E2)并且并且,(vi,vj)()与)与(f(vi),f(vj)()的重数相)的重数相同,则称同,则称G1与与G2是同构的,记作是同构的,记作G1 G2.l 图之间的同构关系具有自反性、对称性和传递性图之间的同构关系具有自反性、对称性和传递性.l 能找到多条同构的必要条件,但它们全不是充分条件:能找到多条同构的必要条件,但它们全不是充分条件:边数相同,顶点数相同边数相同,顶点数相同;度数列相同度数列相同;对应顶点的关联集及邻域的元素个数相同,等等对应顶点的关联集
13、及邻域的元素个数相同,等等 若破坏必要条件,则两图不同构若破坏必要条件,则两图不同构l 判断两个图同构是个难题判断两个图同构是个难题图论基本概念16图同构的实例图同构的实例图中图中(1)与与(2)的度数列相同,它们同构吗?为什么?的度数列相同,它们同构吗?为什么?(1)(2)(3)(4)图中,图中,(1)与与(2)不同构(度数列不同),不同构(度数列不同),(3)与与(4)也不同构也不同构.(1)(2)图论基本概念17n 阶完全图与竞赛图阶完全图与竞赛图定义定义14.6(1)n(n 1)阶无向完全图阶无向完全图每个顶点与其余顶点均相邻的每个顶点与其余顶点均相邻的无向简单图,记作无向简单图,记作
14、 Kn.简单性质:边数简单性质:边数(2)n(n 1)阶有向完全图阶有向完全图每对顶点之间均有两条方向相每对顶点之间均有两条方向相反的有向边的有向简单图反的有向边的有向简单图.简单性质:简单性质:(3)n(n 1)阶竞赛图阶竞赛图基图为基图为Kn的有向简单图的有向简单图.简单性质:边数简单性质:边数1,2)1(nnnm 1),1(2),1(nnnnm 1,2)1(nnnm 图论基本概念18n 阶阶 k 正则图正则图(1)为为K5,(2)为为3阶有向完全图,阶有向完全图,(3)为为4阶竞赛图阶竞赛图.(1)(2)(3)n 阶阶k正则图正则图=k 的无向简单图的无向简单图简单性质:边数(由握手定理
15、得)简单性质:边数(由握手定理得)Kn是是 n 1正则图,正则图,彼得松图(见书上图彼得松图(见书上图14.3(1)所示,记住它)所示,记住它)2nkm 图论基本概念19子图子图 G=,G=(1)GG G 为为G的子图,的子图,G为为G 的母图的母图(2)若若GG且且V=V,则称,则称G 为为G的生成子图的生成子图(3)若若VV或或EE,称,称G 为为G的真子图的真子图(4)V(VV且且V)的导出子图,记作)的导出子图,记作GV(5)E(EE且且E)的导出子图,记作)的导出子图,记作GE 图论基本概念20例例2 画出画出K4的所有非同构的生成子图的所有非同构的生成子图实例实例图论基本概念21补
16、图补图 设设G=为为n阶无向简单图,以阶无向简单图,以V为顶点集,以所有使为顶点集,以所有使G成为完全图成为完全图Kn的添加边组成的集合为边集的图,称为的添加边组成的集合为边集的图,称为G的的补图,记作补图,记作 .若若G ,则称则称G是自补图是自补图.相对于相对于K4,求上面图中所有图的补图,并指出哪些是自补图求上面图中所有图的补图,并指出哪些是自补图.问:互为自补图的两个图的边数有何关系?问:互为自补图的两个图的边数有何关系?GG图论基本概念2214.2 通路与回路通路与回路 给定图给定图G=(无向或有向的),(无向或有向的),G中顶点与中顶点与边的交替序列边的交替序列 =v0e1v1e2
17、elvl,vi 1,vi 是是 ei 的端点的端点.(1)通路与回路:通路与回路:为通路;若为通路;若 v0=vl,为回路,为回路,l 为回路长为回路长 度度.(2)简单通路与回路:所有边各异,简单通路与回路:所有边各异,为简单通路,又若为简单通路,又若v0=vl,为简单回路为简单回路(3)初级通路初级通路(路径路径)与初级回路与初级回路(圈圈):中所有顶点各异,则中所有顶点各异,则称称 为初级通路为初级通路(路径路径),又若除,又若除v0=vl,所有的顶点各不相,所有的顶点各不相同且所有的边各异,则称同且所有的边各异,则称 为初级回路为初级回路(圈圈)(4)复杂通路与回路:有边重复出现复杂通
18、路与回路:有边重复出现图论基本概念23几点说明几点说明表示法表示法 定义表示法定义表示法 只用边表示法只用边表示法 只用顶点表示法(在简单图中)只用顶点表示法(在简单图中)混合表示法混合表示法环环(长为(长为1的圈)的长度为的圈)的长度为1,两条平行边构成的圈长度为,两条平行边构成的圈长度为 2,无向简单图中,圈长,无向简单图中,圈长 3,有向简单图中圈的长度,有向简单图中圈的长度 2.不同的圈(以长度不同的圈(以长度 3的为例)的为例)定义意义下定义意义下 无向图:图中长度为无向图:图中长度为l(l 3)的圈,定义意义下为)的圈,定义意义下为2l个个 有向图:图中长度为有向图:图中长度为l(
19、l 3)的圈,定义意义下为)的圈,定义意义下为l个个 同构意义下:长度相同的圈均为同构意义下:长度相同的圈均为1个个试讨论试讨论l=3和和l=4的情况的情况图论基本概念24通路与回路的长度通路与回路的长度 在在n 阶图阶图G中,若从顶点中,若从顶点vi 到到vj(vi vj)存在通路,)存在通路,则从则从vi 到到 vj 存在长度小于或等于存在长度小于或等于n 1 的通路的通路.推论推论 在在 n 阶图阶图G中,若从顶点中,若从顶点vi 到到 vj(vi vj)存在通路,则)存在通路,则从从vi 到到vj 存在长度小于或等于存在长度小于或等于n 1的初级通路(路径)的初级通路(路径).在一个在
20、一个n 阶图阶图G中,若存在中,若存在 vi 到自身的回路,则一到自身的回路,则一定存在定存在vi 到自身长度小于或等于到自身长度小于或等于 n 的回路的回路.推论推论 在一个在一个n 阶图阶图G中,若存在中,若存在 vi 到自身的简单回路,则一到自身的简单回路,则一定存在长度小于或等于定存在长度小于或等于n 的初级回路的初级回路.图论基本概念25 图的连通性图的连通性无向图的连通性无向图的连通性(1)顶点之间的连通关系:顶点之间的连通关系:G=为无向图为无向图 若若 vi 与与 vj 之间有通路,则之间有通路,则 vi vj 是是V上的等价关系上的等价关系 R=|u,v V且且u v(2)G
21、的连通性与连通分支的连通性与连通分支 若若 u,v V,u v,则称,则称G连通连通 V/R=V1,V2,Vk,称,称GV1,GV2,GVk为连通分为连通分 支,其个数支,其个数 p(G)=k (k 1);k=1,G连通连通图论基本概念26短程线与距离短程线与距离(3)短程线与距离短程线与距离 u与与v之间的短程线:之间的短程线:u v,u与与v之间长度最短的通路之间长度最短的通路 u与与v之间的距离:之间的距离:d(u,v)短程线的长度短程线的长度 d(u,v)的性质:的性质:d(u,v)0,u v时时d(u,v)=d(u,v)=d(v,u)d(u,v)+d(v,w)d(u,w)图论基本概念
22、27无向图的连通度无向图的连通度1.删除顶点及删除边删除顶点及删除边 G v 从从G中将中将v及关联的边去掉及关联的边去掉 G V 从从G中删除中删除V 中所有的顶点中所有的顶点 G e 将将e从从G中去掉中去掉 G E 删除删除E 中所有边中所有边 2.点割集与边割集点割集与边割集 点割集与割点点割集与割点 G=,VV V 为点割集为点割集p(G V)p(G)且有极小性且有极小性 v为割点为割点v为点割集为点割集 G=,EE E 是边割集是边割集p(G E)p(G)且有极小性且有极小性 e是割边(桥)是割边(桥)e为边割集为边割集图论基本概念28点割集与割点点割集与割点例例3 v1,v4,v
23、6是点是点割集,割集,v6是割点是割点.v2,v5是点割集吗?是点割集吗?e1,e2,e1,e3,e5,e6,e8等是边割集,等是边割集,e8是是桥,桥,e7,e9,e5,e6 是边割是边割集吗?集吗?几点说明:几点说明:l Kn中无点割集,中无点割集,Nn中既无点割集,也无边割集,其中中既无点割集,也无边割集,其中Nn为为 n 阶零图阶零图.l 若若G 连通,连通,E 为边割集,则为边割集,则 p(G E)=2,V 为点割集,则为点割集,则 p(G V)2 图论基本概念29点连通度与边连通度点连通度与边连通度 G为连通非完全图为连通非完全图 点连通度点连通度 (G)=min|V|V 为点割集
24、为点割集 规定规定 (Kn)=n 1 若若G非连通,非连通,(G)=0 若若 (G)k,则称,则称G为为 k-连通图连通图 设设G为连通图为连通图 边连通度边连通度(G)=min|E|E 为边割集为边割集 若若G非连通,则非连通,则(G)=0 若若(G)r,则称,则称G是是 r 边边-连通图连通图图中,图中,=1,它是,它是 1-连通图连通图 和和 1边边-连通图连通图图论基本概念30几点说明几点说明l (Kn)=(Kn)=n 1l G非连通,则非连通,则 =0l 若若G中有割点,则中有割点,则=1,若有桥,则,若有桥,则=1l 若若(G)=k,则则G是是1-连通图,连通图,2-连通图,连通图
25、,k-连通图,但连通图,但不是不是(k+s)-连通图,连通图,s 1l 若若(G)=r,则则G是是1-边连通图,边连通图,2-边连通图,边连通图,r-边连通边连通图,但不是图,但不是(r+s)-边连通图,边连通图,s 1l ,之间的关系之间的关系.定理定理 (G)(G)(G)请画出一个请画出一个 的无向简单图的无向简单图图论基本概念31有向图的连通性有向图的连通性 D=为有向图为有向图 vi vj(vi 可达可达 vj)vi 到到vj 有通路有通路 vi vj(vi 与与vj 相互可达)相互可达)性质性质 具有自反性具有自反性(vi vi)、传递性、传递性 具有自反性、对称性、传递性具有自反性
26、、对称性、传递性 vi 到到vj 的短程线与距离的短程线与距离类似于无向图中,只需注意距离表示法的不同类似于无向图中,只需注意距离表示法的不同(无向图中无向图中d(vi,vj),有向图中,有向图中d)及及 d无对称性无对称性图论基本概念32有向图的连通性及分类有向图的连通性及分类 D=为有向图为有向图 D弱连通弱连通(连通连通)基图为无向连通图基图为无向连通图 D单向连通单向连通 vi,vj V,vivj 或或 vjvi D强连通强连通 vi,vj V,vivj易知,强连通易知,强连通单向连通单向连通弱连通弱连通判别法判别法 D强连通当且仅当强连通当且仅当D中存在经过每个顶点至少一次中存在经过
27、每个顶点至少一次的回路的回路 D单向连通当且仅当单向连通当且仅当D中存在经过每个顶点至少一中存在经过每个顶点至少一次的通路次的通路图论基本概念33扩大路径法扩大路径法无向图中无向图中设设G=为为 n 阶无向图,阶无向图,E.设设 l 为为G中一条路径,若中一条路径,若此路径的始点或终点与通路外的顶点相邻,就将它们扩到通此路径的始点或终点与通路外的顶点相邻,就将它们扩到通路中来,继续这一过程,直到最后得到的通路的两个端点不路中来,继续这一过程,直到最后得到的通路的两个端点不与通路外的顶点相邻为止与通路外的顶点相邻为止.设最后得到的路径为设最后得到的路径为 l+k(长度(长度为为 l 的路径扩大成
28、了长度为的路径扩大成了长度为 l+k 的路径),称的路径),称 l+k为为“极大路极大路径径”,称使用此种方法证明问题的方法为,称使用此种方法证明问题的方法为“扩大路径法扩大路径法”.有向图中类似讨论,只需注意,在每步扩大中保证有向边方有向图中类似讨论,只需注意,在每步扩大中保证有向边方向的一致性向的一致性.图论基本概念34实例实例由某条路径扩大出的极大路径不惟一,极大路径不一定是由某条路径扩大出的极大路径不惟一,极大路径不一定是图中最长的路径图中最长的路径上图中,上图中,(1)中实线边所示的长为中实线边所示的长为2的初始路径的初始路径,(2),(3),(4)中实线边所示的都是它扩展成的极大路
29、径中实线边所示的都是它扩展成的极大路径.还能找到另外的极大路径吗?还能找到另外的极大路径吗?(1)(2)(4)(3)图论基本概念35扩大路径法的应用扩大路径法的应用例例4 设设 G 为为 n(n 3)阶无向简单图,)阶无向简单图,2,证明,证明G 中存在中存在长度长度 +1 的圈的圈.证证 设设 =v0v1vl 是由初始路径是由初始路径 0 用扩大路径法的得到的极用扩大路径法的得到的极大路径,则大路径,则 l (为什么?)(为什么?).因为因为v0 不与不与 外顶点相邻,又外顶点相邻,又 d(v0),因而在,因而在 上除上除 v1外,至少还存在外,至少还存在 1个顶点与个顶点与 v0 相邻相邻
30、.设设 vx 是离是离 v0 最远的顶最远的顶点,于是点,于是 v0v1vxv0 为为 G 中长度中长度 +1 的圈的圈.图论基本概念36二部图二部图 设设 G=为一个无向图,若能将为一个无向图,若能将 V分成分成 V1和和V2(V1 V2=V,V1 V2=),使得,使得 G 中的每条边的两个端点都是中的每条边的两个端点都是一个属于一个属于V1,另一个属于,另一个属于V2,则称,则称 G 为二部图为二部图(或称二分或称二分图、偶图等图、偶图等),称,称V1和和V2为互补顶点子集,常将二部图为互补顶点子集,常将二部图G记为记为.又若又若G是简单二部图,是简单二部图,V1中每个顶点均与中每个顶点均
31、与V2中所有的顶点相中所有的顶点相邻,则称邻,则称G为完全二部图,记为为完全二部图,记为 Kr,s,其中,其中r=|V1|,s=|V2|.注意,注意,n 阶零图为二部图阶零图为二部图.图论基本概念37二部图的判别法二部图的判别法 无向图无向图G=是二部图当且仅当是二部图当且仅当G中无奇圈中无奇圈 由定理由定理14.10可知图可知图9中各图都是二部图,哪些是完全二部中各图都是二部图,哪些是完全二部图?哪些图是同构的?图?哪些图是同构的?图论基本概念3814.4 图的矩阵表示图的矩阵表示无向图的关联矩阵(对图无限制)无向图的关联矩阵(对图无限制)无向图无向图G=,|V|=n,|E|=m,令,令 m
32、ij为为 vi 与与 ej的关联次数,称的关联次数,称(mij)n m为为G 的关联矩阵,记为的关联矩阵,记为M(G).性质性质平行边的列相同平行边的列相同)4(2)3(),.,2,1()()2(),.,2,1(2)1(,11mmnivdmmjmjiijimjijniij 图论基本概念39 jiijmjmjiijiijniijmnivdmvdmmjm,1110)3(,.,2,1),()1(),()1()2(),.,2,1(0)1(的的终终点点为为,不不关关联联与与,的的始始点点为为jijijiijevevevm10,1有向图的关联矩阵(无环有向图)定义定义 有向图有向图D=,令,令则称则称(m
33、ij)n m为为D的关联矩阵,记为的关联矩阵,记为M(D).(4)平行边对应的列相同平行边对应的列相同性质性质有向图的关联矩阵图论基本概念40有向图的邻接矩阵(无限制)有向图的邻接矩阵(无限制)设有向图设有向图D=,V=v1,v2,vn,E=e1,e2,em,令为顶点令为顶点 vi 邻接到顶点邻接到顶点 vj 边的条数,称为边的条数,称为D的邻接矩的邻接矩阵,记作阵,记作A(D),或简记为,或简记为A.性质性质 的回路数的回路数中长度为中长度为的通路数的通路数中长度为中长度为1)4(1)3(,.,2,1),()2(,.,2,1),()1(1)1(,)1(1)1(1)1(DaDmanjvdani
34、vdaniiijiijjniijinjij 图论基本概念41推论推论 设设Bl=A+A2+Al(l 1),则),则 Bl中元素中元素为D中长度为 l 的通路总数,)(lija)(liia ninjlija11)(niliia1)(ninjlijb11)(niliib1)(设设 A为有向图为有向图 D 的邻接矩阵,的邻接矩阵,V=v1,v2,vn为顶点集,为顶点集,则则 A 的的 l 次幂次幂 Al(l 1)中元素)中元素为D中vi 到vj长度为 l 的通路数,其中为vi到自身长度为 l 的回路数,而为为D中长度小于或等于中长度小于或等于 l 的回路数的回路数为为D中长度小于或等于中长度小于或等
35、于 l 的通路数的通路数.邻接矩阵的应用邻接矩阵的应用为为D 中长度为中长度为 l 的回路总数的回路总数.图论基本概念42例例5 有向图有向图D如图所示,求如图所示,求 A,A2,A3,A4,并回答诸问题:,并回答诸问题:(1)D 中长度为中长度为1,2,3,4的通路各有多少条?其中回路分别为多的通路各有多少条?其中回路分别为多少条?少条?(2)D 中长度小于或等于中长度小于或等于4的通路为多少条?其中有多少条回路?的通路为多少条?其中有多少条回路?实例实例图论基本概念43 100401041005000101031003010400011002010210030001010110010102
36、0001432AAAA(1)D中长度为中长度为1的通路为的通路为8条,其中有条,其中有1条是回路条是回路.D中长度为中长度为2的通路为的通路为11条,其中有条,其中有3条是回路条是回路.D中长度为中长度为3和和4的通路分别为的通路分别为14和和17条,回路分别条,回路分别 为为1与与3条条.(2)D中长度小于等于中长度小于等于4的通路为的通路为50条,其中有条,其中有8条是回路条是回路.实例求解实例求解图论基本概念44 否否则则可可达达,1,0jiijvvp 1101110111110001P 设设D=为有向图为有向图.V=v1,v2,vn,令令 有向图的可达矩阵(无限制)有向图的可达矩阵(无
37、限制)称称(pij)n n 为为D的可达矩阵,记作的可达矩阵,记作P(D),简记为,简记为P.由于由于 vi V,vivi,所以,所以P(D)主对角线上的元素全为主对角线上的元素全为1.由定义不难看出由定义不难看出,D 强连通当且仅当强连通当且仅当 P(D)为全为全1矩阵矩阵.下图所示有向图下图所示有向图 D 的可达矩阵为的可达矩阵为图论基本概念45第十四章第十四章 习题课习题课主要内容主要内容l 无向图、有向图、关联与相邻、简单图、完全图、正则图、无向图、有向图、关联与相邻、简单图、完全图、正则图、子图、补图;握手定理与推论;图的同构子图、补图;握手定理与推论;图的同构l 通路与回路及其分类
38、通路与回路及其分类l 无向图的连通性与连通度无向图的连通性与连通度l 有向图的连通性及其分类有向图的连通性及其分类l 图的矩阵表示图的矩阵表示图论基本概念46基本要求基本要求l 深刻理解握手定理及推论的内容并能灵活地应用它们深刻理解握手定理及推论的内容并能灵活地应用它们l 深刻理解图同构、简单图、完全图、正则图、子图、补图、深刻理解图同构、简单图、完全图、正则图、子图、补图、二部图的概念以及它们的性质及相互之间的关系二部图的概念以及它们的性质及相互之间的关系l 记住通路与回路的定义、分类及表示法记住通路与回路的定义、分类及表示法l 深刻理解与无向图连通性、连通度有关的诸多概念深刻理解与无向图连
39、通性、连通度有关的诸多概念l 会判别有向图连通性的类型会判别有向图连通性的类型l 熟练掌握用邻接矩阵及其幂求有向图中通路与回路数的方熟练掌握用邻接矩阵及其幂求有向图中通路与回路数的方法,会求可达矩阵法,会求可达矩阵 图论基本概念4719阶无向图阶无向图G中,每个顶点的度数不是中,每个顶点的度数不是5就是就是6.证明证明G中至少有中至少有5个个6度顶点或至少有度顶点或至少有6个个5度顶点度顶点.练习练习1证证 关键是利用握手定理的推论关键是利用握手定理的推论.方法一:穷举法方法一:穷举法设设G中有中有x个个5度顶点,则必有度顶点,则必有(9 x)个个6度顶点,由握手定度顶点,由握手定理推论可知,
40、理推论可知,(x,9 x)只有只有5种可能:种可能:(0,9),(2,7),(4,5),(6,3),(8,1)它们都满足要求)它们都满足要求.方法二:反证法方法二:反证法否则,由握手定理推论可知,否则,由握手定理推论可知,“G至多有至多有4个个5度顶点并且度顶点并且至多有至多有4个个6度顶点度顶点”,这与,这与G是是 9 阶图矛盾阶图矛盾.图论基本概念482数组数组2,2,2,2,3,3能简单图化吗?若能,画出尽可能多的能简单图化吗?若能,画出尽可能多的非同构的图来非同构的图来.练习练习2只要能画出只要能画出6 阶无向简单图,就说明它可简单图化阶无向简单图,就说明它可简单图化.下图的下图的4个
41、图都以此数列为度数列,请证明它们彼此不同构,都是个图都以此数列为度数列,请证明它们彼此不同构,都是K6的子图的子图.图论基本概念49用扩大路径法证明用扩大路径法证明.情况一:情况一:+.证明证明D中存在长度中存在长度 +1的圈的圈.设设 =v0v1vl为极大路径,则为极大路径,则l (为什么为什么?).由于由于d(v0),所以在所以在 上存在上存在PLAYiiivvv,.,21010.21vvvvvviii邻接到v0,于是情况二:情况二:+,只需注意,只需注意d+(vl)+.3设设D=为有向简单图,已知为有向简单图,已知 (D)2,+(D)0,(D)0,证明,证明D中存在长度中存在长度 max
42、+,+1的圈的圈.为为D中长度中长度 +1的有向圈的有向圈练习练习3图论基本概念50(1)D中有几种非同构的圈?中有几种非同构的圈?(2)D中有几种非圈非同构的简单回路?中有几种非圈非同构的简单回路?(3)D是哪类连通图是哪类连通图?(4)D中中v1到到v4长度为长度为1,2,3,4的通路各多少的通路各多少 条?其中几条是非初级的简单通路?条?其中几条是非初级的简单通路?(5)D中中v1到到v1长度为长度为1,2,3,4的回路各多少的回路各多少 条?讨论它们的类型条?讨论它们的类型.(6)D中长度为中长度为4的通路(不含回路)有多少条?的通路(不含回路)有多少条?(7)D中长度为中长度为4的回
43、路有多少条?的回路有多少条?(8)D中长度中长度 4的通路有多少条?其中有几条是回路?的通路有多少条?其中有几条是回路?(9)写出写出D的可达矩阵的可达矩阵.4有向图有向图D如图所示,如图所示,回答下列诸问:回答下列诸问:练习练习4图论基本概念51解答解答(1)D中有中有3种非同构的圈,长度分别为种非同构的圈,长度分别为1,2,3,请画出它们的,请画出它们的图形图形.(2)D中有中有3种非圈的非同构的简单回路,它们的长度分别为种非圈的非同构的简单回路,它们的长度分别为 4,5,6.请画出它们的图形来请画出它们的图形来.(3)D是强连通的(为什么?)是强连通的(为什么?)为解为解(4)(8),只需先求,只需先求D的邻接矩阵的前的邻接矩阵的前4次幂次幂.1222234412222465012112220121222310010121100102210100100101000021432AAAA图论基本概念52(4)v1到到v4长度为长度为1,2,3,4的通路数分别为的通路数分别为0,0,2,2.其中只有其中只有长度为长度为4的两条是非初级的简单通路(定义意义下),见的两条是非初级的简单通路(定义意义下),见下图所示下图所示.解答解答