第8章 图讲解.ppt

第八章 图 本章主要内容 图的定义 图的存储结构 图的遍历操作 图的几个典型问题 小结 一、图的定义和相关概念 1.定义: 是由非空的顶点集合和一个描述顶点之间关系(边或者弧)的集合组成，其二元组定义为： G＝(V，E) V＝{vi| vi∈dataobject} E＝{( vi，vj)| vi，vj ∈V∧P(vi，vj)} 2.图的相关概念 1) 无向图 :如果任意两个顶点构成的偶对(vi，vj)∈E是无序的，即顶点之间的连线是没有方向的，则称该图为无向图(Undigrpah) 2) 有向图: 如果任意两个顶点构成的偶对vi，vj∈E是有序的，即顶点之间的连线是有方向的，则称该图为有向图(Digrpah) 7) 无向完全图: 在一个无向图中，如果任意两顶点都有一条直接边相连接，则称该图为无向完全图(Undereted Complete Graph)。有n个顶点的无向完全图中，有n(n-1)/2条边。 8) 有向完全图:在一个有向图中，如果任意两顶点之间都有方向互为相反的两条弧相连接，则称该图为有向完全图(Directed Complete Graph)。有n个顶点的有向完全图中，有n(n-1)条边 9) 度、入度、出度: 顶点的度(degree)是指依附于某顶点v的边数，通常记D(v)。在有向图中，有顶点的入度与出度的概念。顶点v的入度(Indegree)是指以顶点v为终点的弧的数目，记为ID(v)；顶点v出度(Outdegree)是指以顶点v为始点的弧的数目，记为OD(v)。 有：D(v)=ID(v)＋OD(v) 10) 边的权、网图：如图的边或弧附带有数值信息，这种数值称为权(Weight)；每条边或弧都带权的图称为带权图或网络 11) 路径:在无向图G=(V，E)中，从顶点vp到顶点vq之间的 路径是一个顶点序列(vp=vi 0,vi1,vi2,…, vim=vq)， 其中，(vij-1,vij)∈E(1≤j≤m)。若G 是有向图，则 路径也是有方向的，顶点序列满足vij-1,vij∈E (1≤j≤m)。 12) 路径长度：路径上边的数目。 13) 回路(环)：第一个顶点和最后一个顶点相同的路径。 14) 简单路径：序列中顶点不重复出现的路径。 15) 简单回路(简单环)：除了第一个顶点和最后一个顶点外， 其余顶点不重复出现的回路。 16)子图：若图G=(V，E)，G=(V，E)，如果V?V 且E ? E ，则称图G是G的子图。 二、图的存储结构 图是一种结构复杂的数据结构，图的信息包括两部分，即图中顶点的信息以及描述顶点之间的关系(边或者弧)的信息。 图的存储需要实现顶点和边的信息的存储 1.邻接矩阵(Adjacency Matrix) 用一维数组存储图中顶点的信息，用一个二维数组表示图中各顶点之间的邻接关系信息，这个二维数组称为邻接矩阵。设图G=(V，E)有n个确定的顶点，即V={v0，v1，…，vn-1}，则表示G中各顶点相邻关系为一个n×n的矩阵，矩阵的元素为： 邻接矩阵的特点： (1)无向图的邻接矩阵一定是一个对称矩阵；有向图的邻接矩阵不一定是对称矩阵 (2)对于无向图，邻接矩阵的第i行(或第i列)非零元素(或非∞元素)的个数正好是第i个顶点的度TD(vi) (3)对于有向图，邻接矩阵的第i行(或第i列)非零元素(或非∞元素)的个数正好是第i个顶点的出度OD(vi)(或入度ID(vi)) 邻接矩阵的特点： (4)易确定图中任意两个顶点之间是否有边相连；但确定图中有多少条边，须按行、列对每个元素进行检测，花费的时间代价大 (5)在邻接矩阵表示法中，如果是顶点很多而边很少的图，将会表示成一个稀疏矩阵，浪费空间 算法实现邻接矩阵 typedef int VertexType; typedef int Edgetype; #define MaxVertexNum 30 class MGraph { public: MGraph( ); //默认构造函数 MGraph::～MGraph(); //默认析构函数 void CreatGraph( ); //建立图的存储矩阵成员函数 void Visit(int v); void MGraph::BFStraverse( ); //广度遍历图 void MGraph::BFS(int v); //从顶点v开始广度遍历图 int MGraph::MaxOutd