离散数学第9章 图.ppt

第四篇 图论 图论是一门很有实用价值的学科，它在自然科学、社会科学等各领域均有很多应用。自上世纪中叶以来，它受计算机科学蓬勃发展的刺激，发展极其迅速，应用范围不断拓广，已渗透到诸如语言学、逻辑学、物理学、化学、电讯工程、计算机科学以及数学的其它分支中。特别在计算机科学中，如形式语言、数据结构、分布式系统、操作系统等方面均扮演着重要的角色。 第9章 图 我们所讨论的图(Graph)与人们通常所熟悉的图，例如圆、椭圆、函数图表等是很不相同的。图论中所谓的图是指某类具体离散事物集合和该集合中的每对事物间以某种方式相联系的数学模型。 如果我们用点表示具体事物，用连线表示一对具体事物之间的联系。那么，一个图就是由一个表示具体事物的点的集合和表示事物之间联系的一些线的集合所构成，至于点的位置和连线的长短曲直是无关紧要的。 9.1 内容提要 9.2 图的基本概念 9.2.1 图的定义 例9.2.1(1)考虑一张航线地图，图中用点表示城市，当两个城市间有直达航班时，就用一条线将相应的点连接起来。这种航线地图的一部分如下图所示； 例9.2.1(2) 假设有4台计算机，分别标记为A、B、C和D，在计算机A和B、C和D以及B和C之间有信息流。这种情形可用下图表示，通常称这种图为通信网络； 例9.2.1(3) 假设有一群人和一组工作，这群人中的某些人能够做这组工作中的某些工作。例如，有3个人A、B和C，3件工作D、E和F，假设A只能做工作D, B能做工作E和F, C能做工作D和E。则这种情形可用下图表示，其中，在人和这个人能够做的工作之间画有线。 基本思想 用图形表示一组对象，其中有些对象对是有联系的。当然，这几个图形也可以表示其它的含义。例如在（3）的图中点A、B、C、D、E和F分别表示6家企业，如果某两家企业有业务往来，则其对应的点之间用线连接起来，这时的图形又反映了这6家企业间的业务关系。 对于这种图形，我们感兴趣的只是有多少个点和哪些结点之间有线连接，至于连线的长短曲直和结点的位置却无关紧要，只要求每一条线都起始于一个点，而终止于另一个点。 定义9.2.1 一个图(Graph)是一个序偶V, E，记为G = V, E，其中： (1) V = {v1, v2, …, vn}是有限非空集合，vi称为结点(Nodal Point)，简称点(Point)，V称为结点集(Nodal Set)。 (2) E是有限集合，称为边集(Frontier Set)。E中的每个元素都有V中的结点对与之对应，称之为边(Edge)。 与边相关的几个概念 定义9.2.1中的结点对即可以是无序的，也可以是有序的。 9.2.2 图的表示 对于一个图G，如果将其记为G = V, E，并写出V和E的集合表示，这称为图的集合表示。 例9.2.2 设图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的图形如下图所示。 例9.2.3 设图G = V, E的图形如下图所示，试写出G的集合表示。 两种描述方法的优缺点 用集合描述图的优点是精确，但抽象不易理解； 用图形表示图的优点是形象直观，但当图中的结点和边的数目较大时，使用这种方法是很不方便的，甚至是不可能的。 图的矩阵表示 我们在学习中常常需要分析图并在图上执行各种过程和算法，也许必须用计算机来执行这些算法，因此必须把图的结点和边传输给计算机，由于集合与图形都不适合计算机处理，所以要找到一种新的表示图的方法，这就是图的矩阵表示。 定义9.2.2 设图G = V, E，其中V = {v1, v2, …, vn}，并假定结点已经有了从v1到vn的次序，则n阶方阵AG = (aij)nxn称为G的邻接矩阵(Adjacency Matrix)，其中 例9.2.4 试写出下图所示图G的邻接矩阵。 说明 由定义9.2.2可看出，图G = V, E的邻接矩阵依赖于V中元素的次序。对于V中各元素不同的排序，可得到同一图G的不同邻接矩阵。但是，G的任何一个邻接矩阵可以从G的另一邻接矩阵中通过交换某些行和相应的列而得到，其交换过程