1.基本概念
图（Graph）是一种较线性表和树更为复杂的非线性结构。是对结点的前趋和后继个数不加限制的数据结构，用来描述元素之间"多对多"的关系(即结点之间的关系是任意的)。
一个图G = （V，E）由顶点（vertex）集V（G）和边（edge）集E（G）组成。E中的每一条边连接V中两个不同的顶点。
1、有向图（digraph）
如果图中每一条边上两个顶点都是有序的，那么图就叫做是有向图（directed graph）。 可以用带尖括号的有序点对<ν，ω>来表示有向图的一条边，其中ν，ω∈V（G）。 有向图中的边都是有方向的，称之为有向边。对于有向边来说，<ν，ω>和<ω，ν>表示的是两条方向相反的边。 有向图中的边也可称之为弧（arc），ν可称之为弧尾（tail）或初始点（initial node），ω可称之为弧头（head）或终端点（terminal node）。
V（G1）={ν1，ν2，ν3，ν4}
E（G1）={<ν1，ν2>，<ν2，ν1>，<ν3，ν1>，<ν3，ν4>，<ν2，ν4>}
2、无向图（undigraph）
如果图中每一条边上两个顶点都是无序的，那么图就叫做是无向图（undirected graphy） 可以用带圆括号的点对（ν，ω）来表示无向图的一条边，其中ν，ω∈V（G）。 无向图中的边都是没有方向的，称之为无向边。其中，（ν，ω）和（ω，ν）表示的是同一条边。
V（G2）={1，2，3，4}
E（G2）={（1，2），（1，3），（1，4），（2，3），（2，4），（3，4）}
3、邻接点
如果图G = （V，E）为无向图，若存在一条边（v，v'）∈E（G），则称点v和v'互为邻接点，即v和v'相邻接，边（v，v'）依附于顶点v和v'，或者说（v，v'）和顶点v和v'相关联。 如果图G = （V，E）为有向图，若存在一条弧 <v，v'> ∈E（G），则称顶点v邻接到顶点v'，顶点v'邻接自顶点v，弧 <v，v'>和顶点v和v'相关联。
4. 度、入度和出度
顶点的度 ：顶点v的度TD(V)=和v相关联的边的数目
在无向图中, 顶点所具有的边的数目称为该顶点的度
入度和出度：
对于有向图G={V,{A}}：
v的入度ID(v) = 以顶点v为头的弧的数目
v的出度OD(v) = 以顶点v为尾的弧的数目
有向图中，顶点的度 = 入度 + 出度
一个有n个顶点，e条边的图满足下列等式：
即边(或弧)的总数 = 各个顶点的度的总数的一半
5、完全图、稀疏图与稠密图
设n为顶点数，e为边或弧的条数
对无向图有：0 ≤ e ≤ n(n-1)/2
有向图有：0≤ e ≤ n(n-1)
证明：每个顶点至多有n-1条边与其它的n-1个顶点相连，则n个顶点至多有n(n-1)条边。但每条边连接2个顶点，故最多为n(n-1)/2。
完全图：边达到最大的图
无向完全图：具有n(n-1)/2条边的简单图称为无向完全图
有向完全图：具有n(n-1)条边的有向图。
稀疏图： 边或弧很少的图。
稠密图： 边或弧很多的图。
6. 路径与回路
路径：在图G 中，如果存在一个顶点序列（ω1，ω2，ω3，...，ωN），使得（ωi，ωi+1）∈E（G），1 ≤ i ＜ N，则称这个顶点序列为顶点ω1到顶点ωN的一条路径（path）。
G1中{ 1，2，5，7 }是一条路径
G2中{ 1，2，3，5，6 }是一条路径
如果G是有向图，则路径也是有向的
路径长度：路径上边或弧的数目或沿路径各边权值之和
回路：第一个顶点和最后一个顶点相同的路径
简单路径：序列中顶点不重复出现的路径(即不含回路的路径)
简单回路：除了第一个顶点和最后一个顶点外，其余顶点不重复出现的回路叫简单回路
7、子图
设有两个图 G＝(V, E) 和 G'＝(V', E')。若 V'真包含于 V 且 E'真包含于E, 则称 图G' 是 图G 的子图。
8、连通图
连通图 ：在无向图G中，如果从顶点v到顶点v'有路径，则称v和v'是连通的
如果对于图中的任意两个顶点vi和vj都是连通的，则称G是连通图
是否连通是对无向图来说的
连通分量 ：
无向图中的极大连通子图 连通图只有一个连通分量，就是它本身，而非连通图有多个连通分量。
强连通图 ：
在有向图G中，如果每一对vi,vj，都存在从vi到vj和从 vj到vi的路径的路径，则称G为强连通图
是否强连通是对有向图来说的
强连通分量 ：
有向图中的极大强连通子图
显然,强连通图只有一个强连通分量,即本身
非强连通图有多个强连通分量。
有n个顶点的有向强连通图最多有n(n-1)条边(构成一个有向完全图的情况)；最少有n条边(n个顶点依次首尾相接构成一个环的情况)。
9、生成树
生成子图 ：包括所有顶点的子图，成为生成子图
生成树 若生成的子图是树，则称为生成树。
一个连通图的生成树是指一个极小连通子图，它含有图中的全部顶点，但只有足以构成一个树的n-1条边。
一颗有n个顶点的生成树有且仅有n-1条边，如果图中多于n-1条边，则一定有回路。
如果一个图具有n个顶点且边数小于n-1条，则该图一定是非连通图。
一个连通图的生成树不唯一。
10、网
权：某些图的边或弧具有与它相关的数, 称之为权。权可以代表一个顶点到另一个顶点的距离、耗费等。
网：这种带权连通图一般称为网。
若无向图G中每一条边都有一个对应的数，则称G为带权图或网。类似的，边上带权的有向图称为有向网。
