离散数学_第14章_图的基本概念分析.pptVIP

第四部分 图论 第十四章 图的基本概念 无序积与多重集合 设A，B为任意的两个集合，称 a,b |a∈A∧b∈B 为A与B的无序积，记作AB。 可将无序积中的无序对 a,b 记为 a,b ，并且允许a＝b。 无论a,b是否相等，均有 a,b ＝ b,a ，因而AB＝BA。 元素可以重复出现的集合称为多重集合或者多重集，某元素重复出现的次数称为该元素的重复度。 例如 在多重集合 a,a,b,b,b,c,d 中， a,b,c,d的重复度分别为2,3,1,1。 第一节 图 关于图的一些概念和规定 G表示无向图，但有时用G泛指图 无向的或有向的 。 D只能表示有向图。 V G ，E G 分别表示G的顶点集和边集。 若|V G |＝n，则称G为n阶图。 若|V G |与|E G |均为有限数，则称G为有限图。 若边集E G ＝?，则称G为零图，此时，又若G为n阶图，则称G为n阶零图，记作Nn，特别地，称N1为平凡图。 在图的定义中规定顶点集V为非空集，但在图的运算中可能产生顶点集为空集的运算结果，为此规定顶点集为空集的图为空图，并将空图记为?。 标定图与非标定图、基图 将图的集合定义转化成图形表示之后，常用ek表示无向边 vi,vj （或有向边 vi,vj ），并称顶点或边用字母标定的图为标定图，否则称为非标定图。 将有向图各有向边均改成无向边后的无向图称为原来图的基图。 易知标定图与非标定图是可以相互转化的，任何无向图G的各边均加上箭头就可以得到以G为基图的有向图。 关联与关联次数、环、孤立点 设G＝ V,E 为无向图，ek＝ vi,vj ∈E， 称vi,vj为ek的端点，ek与vi或ek与vj是彼此相关联的。 若vi≠vj，则称ek与vi或ek与vj的关联次数为1。 若vi＝vj，则称ek与vi的关联次数为2，并称ek为环。 任意的vl∈V，若vl≠vi且vl≠vj，则称ek与vl的关联次数为0。 设D＝ V,E 为有向图，ek＝ vi,vj ∈E， 称vi,vj为ek的端点。 若vi＝vj，则称ek为D中的环。 无论在无向图中还是在有向图中，无边关联的顶点均称为孤立点。 相邻与邻接 设无向图G＝ V，E ，vi，vj∈V，ek，el∈E。 若?et∈E，使得et＝ vi，vj ，则称vi与vj是相邻的。 若ek与el至少有一个公共端点，则称ek与el是相邻的。 设有向图D＝ V，E ，vi，vj∈V，ek，el∈E。 若?et∈E，使得et＝ vi，vj ，则称vi为et的始点，vj为et的终点，并称vi邻接到vj，vj邻接于vi。 若ek的终点为el的始点，则称ek与el相邻。 邻域 设无向图G＝ V，E ，?v∈V， 称 u|u∈V∧ u,v ∈E∧u≠v 为v的邻域，记做NG v 。 称NG v ∪ v 为v的闭邻域，记做NG v 。 称 e|e∈E∧e与v相关联 为v的关联集，记做IG v 。 设有向图D＝ V，E ，?v∈V， 称 u|u∈V∧ v,u ∈E∧u≠v 为v的后继元集，记做Г+D v 。 称 u|u∈V∧ u,v ∈E∧u≠v 为v的先驱元集，记做Г-D v 。 称Г+D v ∪Г-D v 为v的邻域，记做ND v 。 称ND v ∪ v 为v的闭邻域，记做ND v 。 举例 NG v1 ＝ 图的度数的相关概念 在无向图G中， 最大度 △ G ＝max d v |v∈V G 最小度 δ G ＝min d v |v∈V G 在有向图D中， 最大出度 △+ D ＝max d+ v |v∈V D 最小出度 δ+ D ＝min d+ v |v∈V D 最大入度 △- D ＝max d- v |v∈V D 最小入度 δ- D ＝min d- v |v∈V D 称度数为1的顶点为悬挂顶点，与它关联的边称为悬挂边。度为偶数 奇数 的顶点称为偶度 奇度 顶点。 图的度数举例 d v1 ＝4 注意，环提供2度 ， △＝4，δ＝1， v4是悬挂顶点，e7是悬挂边。 问题：在一个部门的25个人中间，由于意见不同，是否可能每个人恰好与其他5个人意见一致？ 解答：不可能。考虑一个图，其中顶点代表人，如果两个人意见相同，可用边连接，所以每个顶点都是奇数度。存在奇数个度数为奇数的图，这是不可能的。 说明： 1 很多离散问题可以用图模型求解。 2 为了建立一个图模型，需要决定顶点和边分别代表什么。 3 在一个图模型中，边经常代表两个顶点之间的关系。 度数列 设G＝ V,E 为一个n阶无向图，V＝ v1,v2,…,vn ，称d v1 ，d v2 ，…，d vn 为G的度数列。 对于顶点标定的无向图，它的度数列是唯一的。