数据结构与算法笔记

（七）图

定义

图的定义：图是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示G（V,E）。V（Vertex）表示顶点集合，图结构中不允许没有顶点；通常用E（Edge）表示边的集合；

图（Graph）表示“多对多”的关系： 顶点 = 数据元素
线性表表示“一对一”的关系； 元素 = 数据元素
树表示“一对多”的关系。 结点 = 数据元素

无向边：顶点Vi到Vj之间的边是没有方向的，则成为无向边，用无序偶对（Vi，Vj）表示。任意两个顶点之间的边都是无向边，组成的图成为无向图。
有向边：<v,w>表示从v指向w的边（单行线）；组成的图成为有向图。
简单图：若不存在顶点到其自身的边，且同一条边不重复出现，即不考虑重边和自回路，称为简单图。
无向完全图：在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。
有向完全图：任意两个顶点之间存在方向互为相反的两条弧，称为有向完全图。
网：带权的图成为网。

图的顶点与边之间的关系

（1）对于无向图，边数是各顶点度数和的一半
各顶点的度数和：3+2+3+2=10 就有5条边
（2）对于有向图：
各顶点的出度 = 各顶点的入度 = 弧数

连通图的相关术语

无向图中，任意两个顶点都是连通的，称图G 为连通图。
（2图是连通图，1图不是）

连通分量：无向图中的极大连通子图；称为连通分量
（1） 要是子图；
（2） 子图要是连通的；
（3） 连通子图含有极大顶点数；
（4） 具有极大顶点数的连通子图包含依附于这些顶点的所有边。

有向图中，对于每一对顶点，Vi到Vj和Vj到Vi都存在路径，称G是强连通图。有向图中的极大强连通子图称为有向图的强连通分量。

图的抽象数据类型