第四篇图论--第9章图.pptVIP

第四篇 图论 图论是一门很有实用价值的学科，它在自然科学、社会科学等各领域均有很多应用。自上世纪中叶以来，它受计算机科学蓬勃发展的刺激，发展极其迅速，应用范围不断拓广，已渗透到诸如语言学、逻辑学、物理学、化学、电讯工程、计算机科学以及数学的其它分支中。特别在计算机科学中，如形式语言、数据结构、分布式系统、操作系统等方面均扮演着重要的角色。 引言 教学目标 图是一类具有广泛实际问题背景的数学模型，有着极其丰富的内容，是数据结构等课程的先修内容。学习时应掌握好图论的基本概念、基本方法和基本算法，善于把实际问题抽象为图论的问题，然后用图论的方法去解决。 图论作为一个数学分支，有一套完整的体系和广泛的内容，本篇仅介绍图论的初步知识，其目的在于今后对计算机有关学科的学习和研究时，可以以图论的基本知识作为工具。 第9章 图 我们所讨论的图(Graph)与人们通常所熟悉的图，例如圆、椭圆、函数图表等是很不相同的。图论中所谓的图是指某类具体离散事物集合和该集合中的每对事物间以某种方式相联系的数学模型。如果我们用点表示具体事物，用连线表示一对具体事物之间的联系。那么，一个图就是由一个表示具体事物的点的集合和表示事物之间联系的一些线的集合所构成，至于点的位置和连线的长短曲直是无关紧要的。 9.0 内容提要 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的集合表示，这称为图的集合表示。 而为了描述简便起见，在一般情况下，往往只画出它的图形：用小圆圈表示V中的结点，用由u指向v的有向线段或曲线表示有向边u, v，无向线段或曲线表示无向边(u, v)，这称为图的图形表示。 例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的图形，并指出哪些是有向边，哪些是无向边？ 例9.2.2 分析 分析 由于V中有5个结点，因此要用5个小圆圈分别表示这5个结点，点的具体摆放位置可随意放。而对E中的6条边，圆括号括起的结点对表示无向边，直接用直线或曲线连接两个端点，尖括号括起的结点对表示有向边，前一个是始点，后一个始终点，用从始点指向终点的又向直线或曲线连接。 例9.2.2 解 G的图形如下图所示。 例9.2.3 设图G = V, E的图形如下图所示，试写出G的集合表示。 两种描述方法的优缺点 用集合描述图的优点是精确，但抽象不易理解； 用图形表示图的优点是形象直观，但当图中的结点和边的数目较大时，使用这种方法是很不方便的，甚至是不可能的。 图的矩阵表示 我们在学习中常常需