图的初步.doc

图的初步 在我们学过的数据结构知识中，线性表是最常用的一类，不论是用数组表示还是用链表表示，线性表中的数据关系都是线性的，即除了表头元素只有后继，表尾元素只有前驱外，其余每个数据元素都有且仅有一个前驱和一个后继，本质上是1：1的关系。在日常生活和程序设计竞赛中，还经常遇到一个元素有多个后继，或者有多个前驱的情况，这时，我们就要用到另外两种常见的数据结构：树和图。树这种结构有着明显的层次关系，每个元素只有一个前驱，但有多个后继，本质上是1：N的关系。而图这种数据结构之间的关系是任意的，即每个元素的前驱和后继个数是不定的，本质上是M：N的关系，下面我们就介绍图。 第一节 图的基本概念 图论研究的问题源远流长。18世纪著名的柯尼斯堡七桥问题就是一个典型有趣的问题，它的意思是说，有两条河把一座城市分成了四部分，如图5_1中的左图，C、D为两岸，A、B为河中的两个孤岛，在A、B、C、D之间有7座桥相连。有人提出了这样一个有趣的问题：能否从A、B、C、D任一地出发，恰好经过每座桥一次，最后回到出发地？ 图5_1 这个问题看起来并不复杂，但当时谁也解决不了这个问题。直到1736年，著名数学家欧拉首先解决了这个问题，他用4个抽象的点A、B、C、D分别表示陆地，而陆地之间的每一座桥抽象成点与点之间的一条边，如图5_1中的右图，这样七桥问题就演变成了在一个图中能否从任一点出发经过每条边一次，最后返回到起点？本题的答案是否定的，因为对于每一个顶点，不论如何经过，必须有一条进路和一条出路，即与每一个顶点相邻的边（关联边）必须是偶数条，而此图中所有点都只有奇数条关联边。这就是著名的“欧拉问题”或“图的一笔画问题”，从此也开创了图论研究。 下面结合图5_2先给出图论中的一些基本概念。 图5_2 图的概念 简单讲，一个图是由一些点和这些点之间的连线组成的。严格意义讲，图是一种数据结构，定义为：graph=（V，E），V是点（称为“顶点”）的非空有限集合，E是线（称为“边”）的集合，边一般用（vx，vy）表示，其中vx，vy属于V。 图（A）共有4个顶点、5条边，表示为：V={v1，v2，v3，v4}，E={（v1，v2），（v1，v3），（v1，v4），（v2，v3），（v2，v4）} 无向图和有向图 如果边是没有方向的，称此图为“无向图”，如图（A）和图（C），用一对圆括号表示无向边，如图（A）中的边（v1，v2），显然（vx，vy）和（vy，vx）是两条等价的边，所以在上面E的集合中没有再出现边（v2，v1）。 如果边是有方向（带箭头）的，则称此图为“有向图”，如图（B），用一对尖括号表示有向边，如图（B）中的边v1，v2。把边Vx，Vy中Vx称为起点，Vy称为终点。显然此时边vx，vy与边vy，vx是不同的两条边。有向图中的边又称为弧，起点称为弧头，终点称为弧尾。 图（B）表示为：V={v1，v2，v3}，E={v1，v2，v1，v3，v2，v3，v3，v2} 如果两个顶点U、V之间有一条边相连，则称U、V这两个顶点是关联的。 带权图 一个图中的两顶点间不仅是关联的，而且在边上还标明了数量关系，如图（C），这种数量关系可能是距离、费用、时间、电阻等等，这些数值称为相应边的权。边上带有权的图称为带权图，也称为网（络）。 阶 图中顶点的个数称为图的阶。图（A）、图（B）、图（C）的阶分别为4、3、5。 度 图中与某个顶点相关联的边的数目，称为该顶点的度。度为奇数的顶点称为奇点，度为偶数的顶点称为偶点。图（A）中顶点v1，v2是奇点，v3，v4是偶点。 在有向图中，把以顶点V为终点的边的数目称为顶点V的入度，把以顶点U为起点的边的数目称为顶点U的出度，出度为0的顶点称为终端顶点。如图（B）中顶点v1的入度是0、出度是2，v2的入度是2、出度是1，v3的入度是2、出度是1，没有终端顶点。 定理1：无向图中所有顶点的度之和等于边数的2倍，有向图中的所有顶点的入度之和等于所有顶点的出度之和。 定理2：任意一个无向图一定有偶数个(或0个)奇点。 完全图 若无向图中的任意两个顶点之间都存在着一条边，有向图中的任意两个顶点之间都存在着方向相反的两条边，则称此图为完全图。n阶完全有向图含有n*(n-1)条边，n阶完全无向图含有 n*(n-1)/2条边，当一个图接近完全图时，称为稠密图；相反，当一个图的边很少时，称为稀疏图。 子图 设有两个图G =（V，E）和G’=（V’，E’），若V’是V的子集，E’是E的子集，则称G’为G的子图。 路（径） 在一个G =（V，E）的图中，从顶点v到顶点v’的一条路径是一个顶点序列vi0，vi1，vi2，……, vim，其中 vi0 = v， vim = v’，若此图是无向图，则(vij-1，vij)∈E，1≤