离散数学及其应用第8章-图的基本理论与算法(上).pptx

;;;;;;;;;;;;;【定义】由非空有限集合V和有限多重集E组成的二元组G = V, E称为图模型，简称为图，其中： （1）V = {v1, v2, …, vn}是有限非空集合，vi称为结点(Nodal Point)，简称点(Point)，V称为结点集(Nodal Set)。 （2）E是有限集合，称为边集(Frontier Set)。E中的每个元素都有V中的结点对与之对应，称之为边(Edge)。 ;【例题】设图模型G=V,E,V={v1,v2,v3,v4},E={e1,e2,e3,e4,e5,e6},其中e1是v1和v2组成的结点对，e2是v1和v3组成的结点对，e3是v2和v4组成的结点对，e4是v3和v4组成的结点对，e5是v4和v5组成的结点??，e6是v3和v5组成的结点对，每个边都没有方向，根据给定的二元组画出图模型 G.;【解】根据给定二元组画出图如图 8-2 所示。 ;定义中的结点对即可以是无序的，也可以是有序的。;【例题】将图 8-3 所示的G1和G2表示成G=V,E的形式。;【解】 对于G1图所示：V1 = {v1,v2,v3,v4,v5}, E1={(v1,v2),(v1,v4),(v1,v5),(v2,v3),(v2,v5),(v3,v4),(v3,v5),(v4,v5)} 对于G2图所示：V2 = {v1,v2,v3,v4}, E2={v1,v2),v1,v3,v1,v4,v2,v1,v3,v1,v3,v2,v3,v4,v4,v1,v4,v3} ;;;;;;按边有无方向分类 有向图、无向图、混合图 2.按有无重复边（平行边）分类 多重图、线图、简单图 3.按有无权重分类 赋权图、无权图 ;【定义】对于任意一个给定的图模型： 1）如果它的每条边都是无向边， 则称该图为无向图； 2）如果它的每条边都是有向边， 则称该图为有向图； 3）如果图中有些边是无向边，有些边是有向边， 则称该图为混合图。 ; 【例】试判断下图所示的三个图是无向图、有向图，还是混合图？;;【定义】对于任意一个有向图， 如果两结点间（包括结点自身间）， 若有同始点且同终点的多条边，则称这些边为平行边； 两结点间平行边的条数称为边的重数； 含有平行边的图称为多重图；非多重图称为线图；无环的线图称为简单图。 ;;;【定义】根据边或结点是否有权，可以将图划分为赋权图和无权图， 相关定义如下： 赋权图G一般可记为三重组V,E,g，其中V是结点的集合，E是边的集合，g是从E到到非负实数集合的函数（对边赋权）。 相应的有无向赋权图和有向赋权图之分。 非赋权图称为无权图。 ;;; 对于一个图模型G，如果将其记为G = V, E，并枚举V和E中所有元素，这称为图的集合表示。 只画出它的图形：用小圆圈表示V中的结点，用由u指向v的有向线段或曲线表示有向边u, v，无向线段或曲线表示无向边(u, v)，这称为图的图形表示。 ;【例】设图G = V, E，这里 V = {v1, v2, v3, v4, v5}， E = {e1, e2, e3, e4, e5, e6}， 其中：e1 = (v1, v2)，e2 = v1, v3，e3 = (v1, v4)，e4 = (v2, v3)，e5 = v3, v2，e6 = (v3, v3)。 试画出图G的图形，并指出哪些是有向边，哪些是无向边？ ;【分析】由于V中有5个结点，因此要用5个小圆圈分别表示这5个结点，点的具体摆放位置可随意放。而对E中的6条边，圆括号括起的结点对表示无向边，直接用直线或曲线连接两个端点，尖括号括起的结点对表示有向边，前一个是始点，后一个始终点，用从始点指向终点的又向直线或曲线连接。 ;【解】G的图形如下图所示。;【例】设图G = V, E的图形如下图所示，试写出G的集合表示。 ;两种描述方法的优缺点： （1） 用集合描述图的优点是精确，但抽象不易理解； （2） 用图形表示图的优点是形象直观，但当图中的结点和边的数目较大时，使用这种方法很不方便，甚至不可能。 ; 集合与图形都不适合计算机处理，所以要找到一种新的表示图的方法。这就是图的矩阵表示。 由于矩阵的行和列有固定次序，因此先要将图的结点进行排序。若不具体说明排序，则默认为书写集合V时结点的顺序。 ;;;;例：试写出下图所示图G的邻接矩阵。 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;例：求下图中图(a)、(b)、(c)的补图。;;;;; 而5个人的人群，可能出现既没有3个人彼此不认识，也