整理了图的常用术语0x01.图的定义
图（Graph）是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为：G(V,E)，其中，G表示一个图，V是图G中的顶点的集合，E是图G中边的集合。
图中数据元素称为顶点，顶点间的逻辑关系用边表示。
0x02.多种图的定义
无向边：若顶点 到
之间的边没有方向，则称之为无向边（Edge），用无序偶对（
）来表示。
无向图：任意两个顶点之间的边都是无向边的图。
有向边：若从顶点 到
的边有方向，则称这条边为有向边，也称为弧（Arc）。用有序偶 <
> 来表示，
称为弧尾，
称为弧头。有向边从弧尾指向弧头。（无向边用（）表示，有向边用 <> 表示。）
有向图：任意两个顶点之间的边都是有向边的图。
简单图：不存在顶点到自身的边，且同一条边不重复出现的图。
无向完全图：任意两个顶点之间都存在边的无向图。
有向完全图：任意两个顶点之间都存在方向互为相反的两条弧的有向图。
稀疏图：有很少的边或弧的图。
稠密图：有很多的边或弧的图。（稀疏和稠密是相对概念）
权：有图的边或弧相关的数。
网：带权的图。
子图：假设有两个图(
,{
})，
(
,{
})，如果
且
，则称
为
的子图。
0x03.顶点与边的关系
邻接点：对于无向图 G=(V,{E})，如果边 ()
，则称顶点
和
互为邻接点。
与
相邻接。
关联：边()依附于顶点
和
，也称相关联。
度：顶点的度是与顶点相关联的边的数目。
入度：有向图中，以顶点为头的弧的数目称为入度。（别的边指向自己的数目）
出度：有向图中，以顶点为尾的弧的数目称为出度。（自己指向别人的数目）
路径：从顶点 到
的过程中经过的顶点所排成的序列称为路径。
路径的长度：是路径上的边或弧的数目。
回路：第一个顶点到最后一个顶点相同的路径称为环或回路。
简单路径：序列中顶点不重复出现的路径称为简单路径。
简单回路：除第一个顶点和最后一个顶点之外，其余顶点都不重复出现的回路称为简单环或简单回路
0x04.连通图的相关概念
连通：在无向图中，如果一个顶点到另一个顶点有路径，则称这两个顶点是连通的。
连通图：任意两个顶点都是连通的图。
连通分量：无向图中的极大连通子图称为连通分量。
强连通图：在有向图 中，若对于每一对
,
，从
到
和从
到
都存在路径，则称
是强连通图。
生成树：一个连通图的极小连通子图，它含有图中全部的 n 个顶点，但只有 n-1 条边。
有向树：如果一个有向图恰有一个顶点的入度为0，其余顶点的入度均为1，那么这个有向图是以棵有向树。
生成森林：由若干棵由向树组成，含有图的全部顶点，但只有足以构成若干棵不相交的有向树的弧。
