图是一种： 数据元素间存在多对多关系的数据结构 加上一组基本操作构成的抽象数据类型。
图 (Graph) 是一种复杂的非线性数据结构，由顶点集合及顶点间的关系（也称弧或边）集合组成。可以表示为： G＝(V, VR)
其中 V 是顶点的有穷非空集合；
VR 是顶点之间 关系的有穷集合，也叫做弧或边集合。
弧是顶点的有序对，边是顶点的无序对。
特点：（相对于线性结构）
顶点之间的关系是任意的
图中任意两个顶点之间都可能相关
顶点的前驱和后继个数无限制
相关概念：
顶点(Vertex)：图中的数据元素。线性表中我们把数据元素叫元素，树中将数据元素叫结点。
边：顶点之间的逻辑关系用边来表示，边集可以是空的。
无向边(Edge)：若顶点V1到V2之间的边没有方向，则称这条边为无向边。
无向图(Undirected graphs)：图中任意两个顶点之间的边都是无向边。（A,D）=（D,A）
无向图中边的取值范围：0≤e≤n(n-1)/2
有向边：若从顶点V1到V2的边有方向，则称这条边为有向边，也称弧(Arc)。用<V1,V2>表示，V1为狐尾(Tail)，V2为弧头(Head)。（V1，V2）≠（V2，V1）。
有向图(Directed graphs)：图中任意两个顶点之间的边都是有向边。
有向图中弧的取值范围：0≤e≤n(n-1)
注意：无向边用“（）”，而有向边用“< >”表示。
简单图：图中不存在顶点到其自身的边，且同一条边不重复出现。
无向完全图：无向图中，任意两个顶点之间都存在边。
有向完全图：有向图中，任意两个顶点之间都存在方向互为相反的两条弧。
稀疏图：有很少条边。
稠密图：有很多条边。
邻接点：若 (v, v´) 是一条边，则称顶点 v 和 v´互为 邻接点，或称 v 和 v´相邻接；称边 (v, v´) 依附于顶点 v 和 v´，或称 (v, v´) 与顶点 v 和 v´ 相关联。
权（Weight）：与图的边或弧相关的数。
网（Network）：带权的图。
子图（Subgraph）：假设G=（V,{E}）和G‘=（V',{E'}），如果V'包含于V且E'包含于E，则称G'为G的子图。
入度：有向图中以顶点 v 为头的弧的数目称为 v 的入度，记为：ID(v)。
出度：有向图中以顶点 v 为尾的弧的数目称为 v 的出度，记为：OD(v)。
度（Degree）：无向图中，与顶点V相关联的边的数目。有向图中，入度表示指向自己的边的数目，出度表示指向其他边的数目，该顶点的度等于入度与出度的和。
回路（环）：第一个顶点和最后一个顶点相同的路径。
简单路径：序列中顶点（两端点除外）不重复出现的路径。
简单回路（简单环）：前后两端点相同的简单路径。
路径的长度：一条路径上边或弧的数量。
连通：从顶点 v 到 v´ 有路径，则说 v 和 v´ 是连通的。
连通图：图中任意两个顶点都是连通的。
连通分量：无向图的极大连通子图（不存在包含它的 更大的连通子图）；
任何连通图的连通分量只有一个，即其本身；非连通图有多个连通分量（非连通图的每一个连通部分）。
强连通图： 任意两个顶点都连通的有向图。
强连通分量：有向图的极大强连通子图；任何强连通 图的强连通分量只有一个，即其本身；非强连通图有多个 强连通分量。
生成树：所有顶点均由边连接在一起但不存在回路的图。（n个顶点n-1条边）
