数据结构简单概念和性质 -- 图

图（Graph）是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为 G(V, E)，其中，V（Vertex） 是图 G 中顶点的集合， E（Edge） 是图 G 中边的集合

概念

无向边：若顶点 $v_i$ 到 $v_j$ 之间的边没有方向，则称这条边为无向边（Edge），使用无序偶数对 ($v_i$, $v_j$) 来表示。如果图中任意两个顶点之间的边都是无向边，则称该图为无向图（Undirected graphs）。

有向边：若顶点 $v_i$ 到 $v_j$ 之间的边有方向，则称这条边为有向边，也称为弧（Arc）。用有序偶 <$v_i$, $v_j$> 来表示，$v_i$称为弧尾（Tail）， $v_j$称为弧头（Head），这里可以理解为 i 指向 j。如果图中任意两个顶点之间的边都是有向边，则称该图为有向图（Directed graphs）

简单图：若不存在顶点到其自身的边，且同一条边不重复出现，则称这样的图为简单图。

无向完全图：无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。

有向完全图：有向图中，如果任意两个顶点之间都存在边，则称该图为有向完全图。

网：图上的边加权的称为网

无向图的度：和顶点 v 相关联的边的数目，边的数目为各顶点度的总和的一半：$e=\frac{1}{2}{\sum }_{i=1}^{n}TD(v_i)$

入度和出度：有向图中，以顶点 v 为头的弧的数目称为 v 的入度（InDegree），以顶点 v 为为的弧的数目称为 v 的出度（OutDegree）。顶点 v 的度为 $TD(v)=ID(v)+OD(v)$，边的数目为各顶点入度和或者各顶点出度和：$e={\sum }_{i=1}^{n}ID(v_i)={\sum }_{i=1}^{n}OD(v_i)$

简单回路：第一个顶点到左后一个顶点路径相同的路径称为回路或环。序列中顶点不重复出现的路径称为简单路径。除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的回路，称为简单回路或者简单环。