[计算机软件及应用]图.pptVIP

* 1.图的定义和术语 定义： 图是由顶点集合V和顶点之间的关系集合R组成，记为G＝(V, R)。 其中，V是顶点的非空有限集 V={V1,V2,…,Vn}。 R是两点之间关系的集合，它是顶点的有序或无序对。 当图中顶点之间的关系为无序对时称为无向图， (Vi,Vj)=(Vj,Vi)称为边。无向图记为G=(V,E)。 当图中顶点之间的关系为有序对时称为有向图。 Vi,Vj称为弧。有向图记为G=(V,A)。 网：图中边或弧附有一个对应的权值。 （1）子图：设有两个图G＝(V, E)，G’=(V’, E’), 满足V’?V 且 E’?E，则称G’为G的子图。 V1 V3 V4 V2 G V1 G’’’ V1 V4 V2 G’’ V1 V2 G’ 术语： （2）顶点的度： 无向图中，为每个顶点相连的边数。 有向图中，顶点的度分为入度和出度。 入度：以该顶点为终端点的弧的数目。 出度：以该顶点为初始点的弧的数目。 V1 V3 V4 V2 V1 V3 V4 V2 （3）路径： 无向图中，从顶点Vp到Vq的路径是顶点序列 ｛Vp ,Vi,1,Vi,2,...,Vi,k,Vq}且(Vp ,Vi,1),(Vi,1,Vi,2),…， (Vi,k,Vq)均是E中的边。 有向图中，由顶点的弧组成的有向路径。 路径长度：路径上边或弧的数目。(网：权值之和) 简单路径：序列中顶点不重复出现的路径。 回路：第一个顶点和最后一个顶点相同的路径。 简单回路：除第一个顶点和最后一个顶点外，其余 顶点不重复出现的回路。 路径：V1, V4, V2, V1, V3 路径长度＝4 V1 V7 V4 V3 V5 V6 V2 回路：V1, V2, V5, V6, V2 , V1 路径长度＝5 V1 V3 V4 V2 （4）连通： 从顶点Vi到Vj存在路径，称Vi与Vj是连通的。 连通图： 无向图中任意两个顶点之间都连通。 强连通图：有向图中任意两个顶点之间都连通。 连通分量：非连通图中的每一个连通部分为连通分量。（最大连通子图） A E F D C B 非连通图G2 A D C B E F G2的两个连通分量 （5）完备图： 无向完备图：n个顶点的无向图最大边数为n(n-1)/2 有向完备图： n个顶点的有向图最大边数为n(n-1) V1 V2 V3 V4 V1 V2 V3 V4 e＝12 e＝6 2.图的存储结构 (1)邻接矩阵—表示顶点间关系的矩阵 实现：对于n个顶点的图G=(V,R)，可以用n×n矩阵 来表示。 有向/无向图: A[ i ][ j ]＝ 0 反之 1 若 (Vi, Vj)或Vi, Vj 是边或弧 有向/无向网: A[ i ][ j ]＝ 0 反之 wij 若(Vi, Vj)或 Vi, Vj 是边或弧 1 2 3 5 4 1 2 3 4 (2)邻接表—图的一种链式存储结构 实现：为图中每个顶点建立一个单链表，第i个单链表 中的结点表示依附于顶点Vi的边。 nextarc data adjvex 边或弧相关的信息（权值） 顶点的邻接点 firarc verdata 指向链表中的第一个结点 顶点信息 头结点 边结点 指向下一条边或弧 typedef struct tnode { int vexdata; struct node* firarc; }TD; TD ha[M]; typedef struct node { int adjvex,data; struct node* nextarc; }JD; 1 2 3 5 4 1 2 3 4 adjvex nextarc 5 4 3 2 1 2 ∧ 4 3 ∧ 5 2 1 ∧ 1 1 ∧ 3 ∧ 3 4 3 ∧ 2 1 2 3 4 ∧ 1 ∧ ∧ 3.图的遍历 （1）深度优先搜索（DFS） 从图G中选某个顶点V作为出发点，先访问V； 选择V的一个未被访问的邻接点W，从W出发继续深度优先搜索，直至V的邻接点都被访问完为止； 回溯，直到回到起始点，且所有顶点都被访问为止。 V1 出发点 DFS访问序列： V3 V2 V4 V9 V1 V6 V5 V2 V4 V3 V6 V5 V8 V7 V9 V8 V7 以邻接矩阵作为图的存储结构 void dfs(int a[ ][M], int v, int n,