第5六章 图.docVIP

PAGE27 PAGE 43PAGE45第5六章 图教学目标了解有关图的基本概念及基本知识，掌握图的基本术语；掌握带权网、最小生成树和最短路径的基本概念和对应的数据结构表示；学会使用计算机编程实现图论中的一些基本算法，理解并掌握图的遍历、最小生成树、最短路径和最长路径等算法;；学会运用图论的主要算法解决生活中的实际问题，达到运用自如的程度。图（Graph）是一种较线性表和树更为复杂的非线性结构。在线性结构中，结点之间的关系是线性关系，除开始结点和终端结点外，每个结点只有一个直接前趋和直接后继。在树形结构中，结点之间的关系实质上是层次关系，同层上的每个结点可以和下一层的零个或多个结点（即孩子）相关，但只能和上一层的一个结点（即双亲）相关（根结点除外）。然而在图结构中，对结点（图中常称为顶点）的前趋和后继个数都是不加限制的，即结点之间的关系是任意的。图中任意两个结点之间都可能相关。由此，图的应用极为广泛，特别是近年来的迅速发展，已渗透到诸如语言学、逻辑学、物理、化学、电讯工程、计算机科学以及数学的其它分支中。56.1 基本术语56.1.1 图图论研究的对象是图，什么是图呢？图 56.1 图的示意图5648711103129图5图6.1所示就是一个图，它有若干个不同的点V1，V2，…，V11，我们称之为顶点(vertex)。这些顶点间中有一些是用直线段或曲线段连接的，我们把这些直线段和或曲线段称作边(edge)，如V1与V2之间有两条边。若连接两个顶点的边有多条，则这些边称之为平行边。V2与V3之间有一条边，V2与V4之间没有边，…，等等。图5图 56.1 图的示意图5648711103129由此可以得出图的定义：由若干个不同顶点与连接其中某些顶点的边所组成的图形就称为图。通常用一个大写字母G来表示图，记成G＝(V,E)，其中V是顶点的有穷非空集合，E是V中顶点偶对（称为边）的有穷集。通常，有时也将图G的顶点集和边集分别记为V(G)和E(G)。，E(G)可以是空集，若E(G)为空，则图G只有顶点而没有边，称为空图。如果顶点个数|V|与边的条数|E|都是有限的，图G就称为有限图。如果|V|＝1，|E|＝0，图G称为平凡图。这种仅含一个孤立点的图是有限图的一种特例。如果|V|或|E|是无限的，图G称为无限图。本书讨论的图形都是有限图。图 56.2 有向图123若图G中的每条边都是有方向的，则称G为有向图（Digraph）。在有向图中，一条有向边是由两个顶点组成的有序对，有序对通常用尖括号表示。例如，＜Vi，Vj＞表示一条有向边，Vi是边的始点（起点），Vj是边的终点。因此，＜Vi,，Vj＞和＜Vj,，Vi＞是两条不同的有向边。有向边也称为弧（Arc），边的始点称为弧尾（Tail），终点称为弧头（Head）。若(Vi，Vj)是一条无向边，则称顶点Vi和Vj互为邻接点(Adjacent)，或称Vi和Vj相邻接；称(Vi,Vj)关联(Incident)于顶点Vi和Vj，或称(Vi,，Vj)与顶点Vi和Vj相关联。如图5图6.2，与顶点Vl相邻接的顶点是V2，V3，而关联于顶点V2的边是(Vl，V2)，(V2,，V3)。若＜Vi,，Vj＞是一条有向边，则称顶点Vi邻接到Vj，顶点Vj邻接于顶点Vi，并称边＜Vi,，Vj＞关联于Vi和Vj或称＜Vi,，Vj＞与顶点Vi和Vj相关联。无向图中顶点V的度(Degree)是关联于该顶点的边的数目，记为D(V)。若G为有向图，则把以顶点V为终点的边的数目，称为V的人入度(Indegree)，记为ID(V)；把以顶点V为始点的边的数目，称为V的出度(Outdegree)，记为OD(V)；顶点V的度则定义为该顶点的入度和出度之和，即D(V)＝ID(V)+OD(V)。图5图6.2中，D(1)=ID(1图 56.2 有向图12356.1.2 子图和完全图如果对图G＝(V,E)与G＝(V,E)，G的顶点集是G的顶点集的一个子集(即V∈V)，G的边集是G的边集的一个子集(即E∈E)，我们说G是G的子图。例如，一个正方形就可以看作是图5图6.3（(ａa)）的一个子图，一个五边形也可以看作是图5图6.3（ｂb）的一个子图。（（ａa）　 图 56.3 子图　（ｂb）如果一个图没有环，并且每两个顶点之间最多只有一条边．，这样的图称之为简单图。在简单图中，连接Vi与Vj的边可以记成(Vi,Vj)。如果G是一个简单图，并且每两个顶点之间都有一条边，我们就称G为完全图。通常将具有n个顶点的完全图记为Kn。，例如图5图6.3 (b)就是一个完全图K5。如果G是一个简单图，它的顶点集合V由两个没有公共元素的子集X＝{Xl,X2,…,Xn}与Y={Y1,Y2, …,Ym}组成的，并且Xi与Xj(1≤i,j＝n)，Ys与Yt(1≤