数据结构-6图1..docVIP

Pascal No.6数据结构—图 姓名：__________________（请妥善保留以备复习） 考查范围：（图——图的概念/图的存储结构：邻接矩阵/邻接链表/图的遍历/广度优先/深度优先/Prim算法/Kruskal算法/ 图的最短路径/最小生成树/拓扑排序/连通图-连通分量/图的应用） ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- 图的定义G=(V , E); 端点和邻接点 顶点的度（入度和出度） 有向图和无向图 带权图 完全图 稠密图 稀疏图 子图 二分图 路径和回路 连通图和强连通图 公式1： 公式2： 公式3： 公式4： 图的定义 图是一种数据结构，定义为：Graph=（V,E），V是点（称为’顶点’—数据元素）的非空有限集合，E是线（称为’边’）的集合，边一般用（Vx,Vy）表示，Vx,Vy 属于V。 无向图和有向图 如果边是没有方向的，称此图为”无向图”，用一对圆括号表示无向边。边集E是由无序顶点对而不是有序顶点对组成，其邻接关系是对称的，无向图中不允许有自身环。 如果边是有方向的，则称此图为“有向图”，用一对尖括号表示有向边。把 Vx,Vy 中Vx称为起点，Vy称为终点。有向图中的边又称为孤，起点称为弧头，终点称为弧尾。 如果两个顶点u、v之间有一条边相连，则称u、v这两个顶点是关联的。 带权图 一个图中的两顶点间不仅是关联的，而且在边上还标明了数量关系。这种数量关系可能是距离、费用、时间、电阻等等，这些数值称为相应边的权。边上带权的图称为带权图，也称为网（络）。 阶 图中顶点的个数称为图的阶。 度 图中与某个顶点相关联的边的数目，称为该顶点的度。 度为奇数的顶点称为奇点，度为偶数的顶点称为偶点。 在有向图中，把以顶点v为终点的边的数目为顶点v的入度，把以顶点u为起点的边的数目称为顶点u的出度，出度为0的顶点称为终端顶点。 【定理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是由两个没有公共的子集X={X1,X2……Xn}与Y={Y1,Y2……Ym}组成，并且Xi与Xj(1=i,j=n),与Ys与Yt(1=s,t=m)之间没有边连接，则图G叫做二分图。 如果在二分图中，|X|=N，|Y|=M，每一个Xi∈X与每一个Ys∈Y有一条边相连，则G叫做完全二分图。 路（径） 在一个G=（V，E）的图中，从顶点v到顶点v’的一条路径是一个顶点序列vi , 0，vi , 1，vi , 2，……，vi , ,m，其中vi , 0=v，vi , m=v’，若此图是无向图，则（vi , j-1,vi , j）∈E，1≤j≤m；若此图是有向图，则 vi , j-1,vi , j∈E，1≤j≤m。 路径长度是指路径上的边或弧的数目。 序列中顶点不重复出现的路径称为简单路径，顶点v和顶点v’相同的路径称为回路（或环）。 除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的回路，称为简单回路（或简单环）。 连通图 在无向图G中，如果从顶点u到顶点v有路径，则称u和v是连通的。 如果对于图G中的任意两个顶点u和v都是在连通的，则称图G是连通图，否则称为非连通图。 无向图的极大连通子图称作无向图的连通分量。 在有向图 G中，如果对于任意两个顶点u和v，从u到v和从v到u都存在路径，则称图G是强连通图。 有向图的极大强连通子图称作有向图的强连通分量。 ------------------------------------------------------------------------------------------------------------------------------