《离散数学图的概念与表示》由会员分享，可在线阅读，更多相关《离散数学图的概念与表示（79页珍藏版）》请在金锄头文库上搜索。
1、第十六章 图的概念与表示,16.1 图的基本概念 16.2 链(或路)与圈(或回路) 16.4 图的矩阵表示,退出,16.1 图的基本概念,什么是图?可用一句话概括，即：图是用点和线来刻划离散事物集合中的每对事物间以某种方式相联系的数学模型。 因为它显得太抽象，不便于理解，所以有必要给出另外的回答。下面便是把图作为代数结构的一个定义。,定义16.1.1 一个图G定义为一个三元组，记作G=。其中V是个非空有限集合，它的元素称为结点；E也是个有限集合，其元素称为边，而是从E到V中的有序对或无序对的映射。,由定义可知，图G中的每条边都与图中的无序或有序结点对相联系的。若边eE与无序结点对vi，vj相
2、联系，则(e)=vi，vj，这时边e称为无向边，有时简称为边；若边eE与有序结点对相联系，则(e)=，此时边e称为有向边或弧，vi称为弧e的始结点，vj称为弧e的终结点。,若结点vi与vj由一条边(或弧)e所联结，则称结点vi和vj是边(或弧)e的端结点；同时也称结点vi与vj是邻接结点，记作vi adj vj；否则为非邻接结点，记作vi nadj vj；也说边(或弧)e关联vi与vj或说结点vi与vj关联边(或弧)e。关联同一个结点的两条边或弧称为邻接边或弧。而联结一结点与它自身的一条边，称为环。环的方向是无意义的。,如果把图G中的弧或边总看作联结两个结点，则图G可简记为G=，其中V是非空结
3、点集，E是联结结点的边集或弧集。 定义16.1.2 在图G=中，如果每条边都是弧，该图称为有向图；若每条边都是无向边，该图G称为无向图；如果有些边是有向边，另一些边是无向边，图G称为混合图。,定义16.1.3 在图G=中，如果任何两结点间不多于一条边(对于有向图中，任何两结点间不多于一条同向弧)，并且任何结点无环，则图G称为简单图；若两结点间多于一条边(对于有向图中，两结点间多于一条同向弧)图G称为多重图，并把联结两结点之间的多条边或弧，称为平行边或弧，平行边或弧的条数称为重数。,定义16.1.4 给每条边或弧都赋予权的图G=，称为加权图，记为G=，其中W表示各边之权的集合。 加权图在实际中有
4、许多应用，如在输油管系统图中权表示单位时间流经管中的石油数量；在城市街道中，权表示表示通行车辆密度；在航空交通图中，权表示两城市的距离等等。,定义16.1.5 在无向图G=中，如果V中的每个结点都与其余的所有结点邻接，即 (vi)(vj)(vi，vjVvi，vjE) 则该图称为无向完全图，记作K|V|。若|V|=n，该图记作Kn。,在一个图中，如果一个结点不与任何其他结点邻接，则该结点称为孤立结点。仅有孤立结点的图称为零图。显然，在零图中边集为空集。若一个图中只含一个孤立结点，该图称为平凡图。,定义16.1.6 在有向图G=中，对任意结点vV，以v为始结点的弧的条数，称为结点v的出度，记为d+
5、(v)；以v为终结点的弧的条条数，称为v的入度，记作d-(v)；结点v的出度与入度之和，称为结点的度数，记为d(v)，显然d(v)=d+(v)+d-(v)。 对于无向图G=，结点vV的度数等于联结它的边数，也记为d(v)。若v点有环，规定该点度因环而增加2。,显然，对于孤立结点的度数为零。 此外，对于无向图G=，记 (G)或=maxd(v)|vV (G)或=mind(v)|vV 它们分别称为图G的最大度和最小度。 关于无向图中的结点的度，欧拉给出一个定理，这是图论中的第一个定理。,定理16.1.1 给定无向图G=，则定理16.1.2 在任何无向图中，奇度结点的数目为偶数。,定义16.1.7 在
6、无向图G=中，如果每个结点的度是k，即(v)(vVd(v)=k)，则图G称为k度正则图。 显然，对于k度正则图G，(G)=(G)=k。,定义16.1.8 给定无向图G1=和G2=，于是 (1) 如果V2V1和E2E1，则称G2为G1的子图，记为G2G1。 (2) 如果V2V1，E2E1且E2E1，则称G2为G1的真子图，记为G2G1。 (3) 如果V2=V1，E2E1，则称G2为G1的生成子图，记为G2 G1。,定义16.1.9 设图G2=是图G1=的子图。若对任意结点u和v，如果u，vE1，有u，vE2，则G2由V2唯一地确定，并称G2是结点集合V2的诱导子图，记作或GV2；如果G2无孤立结
7、点，且由E2所唯一确定，则称G2是边集E2的诱导子图，记为或GE2。,定义16.1.10 设图G1=和图G2=是图G=的子图。如果E2=E-E1且G2=，则称图G2是相对于图G的子图G1的补图。,定义16.1.11 给定图G=，若存在图G1=，并且E1E=和图是完全图，则G1称为相对于完全图的G的补图，简称G1是G的补图，并记为G1= 。 显然，G与 互为补图。,在图的定义中，强调的是结点集、边集以及边与结点的关联关系，既没有涉及到联结两个结点的边的长度、形状和位置，也没有给出结点的位置或者规定任何次序。因此，对于给定的两个图，在它们的图形表示中，即在用小圆圈表示结点和用直线或曲线表示联结两个
8、结点的边的图解中，看起来很不一样，但实际上却是表示同一个图。因而，引入两图的同构概念便是十分必要的了。,定义16.1.12 给定无向图(或有向图)G1=和G2=。若存在双射fV2V1，使得对任意v，uV1，有u，vE1f(u)，f(v)E2(或E1E2)则称G1同构于G2，记为G1G2。 显然，两图的同构是相互的，即G1同构于G2，G2同构于G1。 由同构的定义可知，不仅结点之间要具有一一对应关系，而且要求这种对应关系保持结点间的邻接关系。对于有向图的同构还要求保持边的方向。,一般说来，证明两个图是同构的并非是轻而易举的事情，往往需要花些气力。请读者证明图16.1.13中两个图是同构的。,根据
9、图的同构定义，可以给出图同构的必要条件如下： (1) 结点数目相等； (2) 边数相等； (3) 度数相同的结点数目相等。,但这仅仅是必要条件而不是充分条件。 满足上述三个条件，然而并不同构。因此在(a)中度数为3的结点x与两个度数为1的结点邻接，而(b)中度数为3的结点y仅与一个度数为1的结点邻接。 寻找一种简单有效的方法来判定图的同构，至今仍是图论中悬而未决的重要课题。,人民邮电出版社,高等学校21世纪教材,例如图10.1.14中(a)与(b),图 10.1.13,返回,返回,图 1.1.14,16.2 链(或路)与圈(或回路),在无向图(或有向图)的研究中，常常考虑从一个结点出发，沿着一
10、些边(或弧)连续移动而达到另一个指定结点，这种依次由结点和边(或弧)组成的序列，便形成了链(或路)的概念。,定义16.2.1 给定无向图(或有向图)G=。令v0，v1，vmV，边(或弧)e1，e2，emE，其中vi-1，vi是ei的结点，交替序列v0e1v1e2v2emvm称为连接v0到vm的链(或路)。v0和vm分别称为链(或路)的始结点和终结点，而边(或弧)的数目称为链(或路)的长度。若v0=vm时，该链(或路)称为圈(或回路)。,定义16.2.2 在一条链(或路)中，若出现的边(或弧)都是不相同的，称该链(或路)为简单链(或简单路)；若出现的结点都是不相同的，称该链(或路)为基本链(或基
11、本路)。 显然，每条基本链(或基本路)必定是简单链(或简单路)。,定义16.2.3 在一圈(或回路)中，若出现的每条边(或弧)恰好一次，称该圈(或回路)为简单圈(或简单回路)；若出现的每个结点恰好一次，称该圈(或回路)为基本圈(或基本回路)。 可以看出，对于简单图来说，链(或路)和圈(或回路)能够仅用结点序列表示之。,定理16.2.1 在一个图中，若从结点vi到结点vj存在一条链(或路)，则必有一条从vi到vj的基本链(或基本路)。 定理16.2.2 在一个具有n个结点的图中，则 (1) 任何基本链(或路)的长度均不大于n-1。 (2) 任何基本圈(或路)的长度均不大于n。,定义16.2.4
12、在一个图中，若从vi到vj存在任何一条链(或路)，则称从vi到vj是可达的，或简称vi可达vj。 为完全起见，规定每个结点到其自身是可达的。 对于无向图G来说，不难证明结点间的可达性是结点集合上的等价关系。因此它将结点集合给出一个划分，并且划分中的每个元素形成一个诱导子图；两结点之间是可达的当且仅当它们属于同一个子图，称这种子图为图G的连通分图，图G的连通分图的个数，记为(G)。,定义16.2.5 若图G只有一个连通分图，则称G是连通图；否则，称图G为非连通图或分离图。 在图的研究中，常常需要考虑删去与增加结点、结点集、边和边集（或弧集）的问题。所谓从图G=中删去结点集S，是指作V-S以及从E
13、中删去与S中的全部结点相联结的边而得到的子图，记作G-S；特别当S=|v|时，简记为G-v；所谓从图G=中删去边集（或弧集）T，是指作E-T，且T中的全部边所关联的结点仍在V中而得到的子图，记为G-T；特别当T=e时，简记作G-e。,所谓图G=增加结点集S，是指作VT以及向E中并入S中、S与V中所成的边而得到的图，记作G+S；特别当S=v时，简记为G+v；图G=增加边集（或弧集）T是指作ET所得到的图，记作G+T，这里T中全部边（或弧）的关联结点属于V。,定义16.2.6 给定连通无向图G=，SV。若(G-S)(G)，但TS有(G-T)=(G)，则称S是G的一个分离结点集。若图G的分离结点集S
14、=v，则称v是G的割点。 类似地可定义图G的分离边集T；若图G的分离边集T=e，则称e是G的割边或桥。,对于连通的非平凡图G，称(G)= |S|S是G的分离结点集为图G的结点连通度，它表明产生不连通图而需要删去结点的最少数目。于是，对于分离图G，(G)=0；对于存在割点的连通图G，(G)=1。,类似地定义边连通度(G)= |T|T是G的分离边集，它表明产生不连通图而需要删去边的最少数目。可见，对于分离图G，(G)=0；对于完全图G，(G)=0；对于图K1，(K1)=0；对于存在割边的连通图G，(G)=1；对于完全图Kn，(Kn)=n-1。,下面是由惠特尼(H.Whitney)于1932年得到的
15、关于结点连通度、边连通度和最小度的不等式联系的定理： 定理16.2.3 对于任何一个无向图G，有(G)(G)(G)。 定理16.2.4 一个连通无向图G中的结点v是割点存在两个结点u和w，使得联结u和w的每条链都经过v。,定理16.2.5 一个连通无向图G中的边e是割边存在两个结点u和w，使得联结u与w的每条链都经过e。 下面再给出一个判定一条边是割边的充要条件。 定理16.2.6 连通无向图G中的一条边e是割边e不包含在图的任何基本圈中。,对于有向图而言，结点间的可达性不再是等价关系，它仅仅是自反的和传递的。一般说来，不是对称的。因此，有向图的连通概念较之无向图要复杂得多。 对于给定的有向力
16、G，要略去G中每条边的方向便得到一个无向图G1，称G1是G的基础图。,定义16.2.7 在简单有向图G中，若G中任何两个结点间都是可达的，则称G是强连通的；若任何两个结点间至少是从一个结点可达另一个结点，则称G是单向连通的；若有向图G不是单向连通的，但其基础图是连通的，则称G是弱连通的。 从上面定义可知，若图G是强连通的，则它必是单向连通的，但反之未必真；若图G是单向连通的，则它必是弱连通的，反之不真。,定理16.2.7 有向图G是强连通的G中有一回路，它至少通过每个结点一次。 令G是简单有向图，对于某种性质而言，若G中再没有其它包含子图G1的真子图具有这种性质，则称G1是G的关于该性质的极大子图。 定义16.2.8 在简单有向图中，具有强连通性质的极大子图，称为强分图；具有单向连通性质的极大子图，称为单向分图；具有弱连通性质的极大子图，称为弱分图。,
