一个图(graph)G=(V,E)是由顶点集V和边集E组成。每一条边就是一个顶点对(v,w)，其中v,w∈V。如果点对是有序的，那么图就是有向图。
图中的一条路径path是一个顶点序列w1,w2,w3，…，wk，使得(wi，wi+1)∈E，1<=i<=k。路径的长是该路径上的边数。
1、二维数组表示
用邻接矩阵表示，空间需求为Θ(V²)：
若图很稠密(边很多)，则邻接矩阵是合适的表示方法。如果很稀疏，更好的解决方法是邻接表.
2、邻接表表示
对于每一个顶点，用一个表存放所有邻接的顶点，此时的空间需求为Θ(E+V)。