第7章图的基本概念.docVIP

第7章 图的基本概念 图论（graphic theory）的起源可追溯到18世纪，数学家欧拉1736年发表了关于图论的第一篇论文，解决了著名的哥尼斯堡七桥问题。但直到20世纪中后期，尤其是计算机科学与技术的发展，图的理论研究和应用研究才得到广泛的重视，图论作为一个重要的数学分支，才真正确立了自己的地位。 离散数学研究的图是不同于几何图形、机械图形的另一种数学结构,不关心图中顶点的位置、边的长短和形状, 只关心顶点与边的联结关系。 欧拉图的概念是瑞士数学家欧拉（LeonhardEuler）在研究哥尼斯堡（K nigsberg）七桥问题时形成的。在当时的哥尼斯堡城，有七座桥将普莱格尔（Pregel）河中的两个小岛与河岸连接起来（见图3.1（a）），当时那里的居民热衷于一个难题：一个散步者从任何一处陆地出发，怎样才能走遍每座桥一次且仅一次，最后回到出发点？ 这个问题似乎不难，谁都想试着解决，但没有人成功。人们的失败使欧拉猜想：也许这样的解是不存在的，1936年他证明了自己的猜想。 为了证明这个问题无解，欧拉用AB，C，D四个顶点代表陆地，用连接两个顶点的一条弧线代表相应的桥，从而得到一个由四个顶点、七条边组成的图（见图3.1（b）），七桥问题便归结成：在图3.1（b）所示的图中，从任何一点出发每条边走一次且仅走一次的通路是否存在。 欧拉指出，从某点出发再回到该点，那么中间经过的顶点总有进入该点的一条边和走出该点的一条边，而且路的起点与终点重合，因此，如果满足条件的路存在，则图中每个顶点关联的边必为偶数。图3.1（b）中每个顶点关联的边均是奇数，故七桥问题无解。欧拉阐述七桥问题无解的论文通常被认为是图论这门数学学科的起源。 7.1 无向图及有向图 1、无序积 设A,B为两集合,称 {{a,b}｜a∈A∧b∈B}为A与B的无序积,记作A＆B．将无序对{a,b}记作(a,b). 2、无向图 定义7.1 一个无向图G是一个二元组V,E,即 G＝V,E,其中, (1)V是一个非空的集合,称为G的顶点集,V中元素称为顶点或结点； (2)E是无序积V＆V的一个多重子集,称E为G的边集,E中元素称为无向边或简称边. 元素可重复出现的集合为多重集 例如： G=V,E,V={v1, v2, v3, v4, v5}, E= { (v1, v2),(v2, v2),(v2, v3),(v1, v3), (v1, v3),(v1, v4)} G的图形为： 3、有向图 定义7.2 一个有向图D是一个二元组V,E,即 D＝V,E,其中, (1)V同无向图中的顶点集； (2)E是卡氏积的多重子集,其元素称为有向边,也简称边. 有时用V(D),E(D)分别表示图D的顶点集和边集。 例如： D=V,E,V={v1, v2, v3, v4, v5}, E= { v1, v1,v3, v2 ,v3, v2 ,v3, v4 , v2, v4 ,v4, v5 ,v5, v4 ,v1, v2 } G的图形为： 4、几个概念： 设G＝V,E为一无向图或有向图 (1)若V,E都是有穷集合,则称G是有限图. (2)若｜V｜＝n,则称G为n阶图． (3)若E＝(,则称G为零图．特别是,若此时又有｜V｜＝1,则称G为平凡图. 5阶图 零图 平凡图 定义7.3 设ek＝(vi,vj)为无向图G＝V,E中的一条边,称vi,vj为ek的端点, ek与vi(或vj)是彼此关联的. 无边关联的顶点称为孤立点.若一条边所关联的两个顶点重合,则称此边为环. 定义7.4 设无向图G=V,E,vi, vj∈V, ek,el∈E. (1)若存在一条边e以vi、vj为端点,即e=(vi, vj),则称vi, vj是彼此相邻的,简称相邻的． (2)若ek, el至少有一个公共端点,则称ek, el是彼此相邻的,简称相邻的． 对有向图若ek＝〈vi,vj〉,除称vi, vj是ek的端点外,还称vi是ek的始点, vj是ek的终点,vi邻接到vj,vj邻接于vi. 定义7.5 设G＝V,E为一无向图,vi∈V,称vi作为边的端点的次数之和为vi的度数,简称度,记作d(vi).称度数为1的顶点为悬挂顶点,它所对应的边为悬挂边. 设D＝V,E为一有向图,vj∈V, 称vj作为边的始点的次数之和,为vj的出度,记作d+(vj)； 称vj作为边的终点的次数之和,为vj的入度,记作d-(vj)； 称vj作为边的端点的次数之和,为vj的度数,简称度,记作d(vj). 显然d(vj)＝d+(vj)＋d-(vj). 例：