图的基本概念及图演算法

回顾：数据的逻辑结构

一，图的定义的基本术语

图： G =（V，E）

• V：顶点(数据元素)的有穷非空集合；
• E：边的有穷集合。

无向图(Undirected graph)： 每条边的没有方向，eg：G1

• 無向圖G=(V,E)，V代表點集合，E代表邊集合。E 中的元素形式為集合 {u,v}，代表邊的兩端。

有向图(Directed graph)： 每条边都有方向，eg：G2

• 有向圖G=(V,E)，V代表點集合，E代表邊集合。E 中的元素形式為 (u,v)，u代表起點，v代表中點。
  

完全图： 任意两个顶点都有一条边相连（有去有回）

稀疏图： 有很少边或弧的图（e < n*log n）。

稠密图： 有较多边或弧的图。

网： 边 / 弧带权值的图。

邻接： 有边 / 弧相连的两个顶点之间的关系。

• 存在（v_i，v_j），则称 v_i 和 v_j 互为邻接点；
• 存在 <v_i，v_j>，则称 v_i 邻接到 v_j，v_j 邻接于 v_i。

关联(依附)： 边 / 弧与顶点之间的关系。

顶点的度： 与该顶点相关联的边的数目，记为：TD(v)

• 在有向图中，顶点的度等于该点的入度与出度之和。
• 顶点v的入度是以v为终点的有向边的条数，记作：ID(v)
• 顶点v的出度是以v为始点的有向边的条数，记作：OD(v)
  

那么，问：当有向图中仅1个顶点的入度为0，其余顶点的入度均为1，此时是什么形状？（答案：有向树，如下图）

路径： 接续的边构成的顶点序列。
路径长度： 路径上边或弧的数目 / 权值之和。
例，有无向图如上图，由 v₅ 到 v₃ 的路径可以是 [v₅，v₂，v₃] 也可以是 [v₅，v₄，v₃] 或 [v₅，v₂，v₄，v₃] 和 [v₅，v₄，v₂，v₃]。它们的路径长度分别为 2，2，3，3；若有权值的话需要将权值相加。

回路(环)： 第一个顶点和最后一个顶点相同的路径。（起点与重点相同）
简单路径： 除路径起点和终点可以相同外，其余顶点均不相同的路径。
简单回路(简单环)： 除路径起点和终点相同外，其余顶点均不相同的路径。

（a）简单路径：0 - 1 - 3 - 2，起点终点可以不同，但不能出现重复顶点。
（b）非简单路径：0 - 1 - 3 - 0 - 1 - 2，顶点 v₀ 和 v₁ 重复了。
（c）回路：0 - 1 - 3 - 0，起点和终点均为 v₀

连通图(强连通图)： 在无(有)向图 G = ( V, {E} )中，对任意两个顶点v、u，都存在从 v 到 u 的路径，则称G是连通图(强连通图)。

权与网： 图中边或弧所具有的相关数称为权（表明从一个顶点到另一个顶点的距离或耗费）。带权的图称为网。

子图： 设有两个图 G = ( V, {E} ) 和 G1 = ( V1, {E1} )，若 V1 包含于 V，E1 包含于 E，则称 G1 是 G 的子图。