一个图由顶点集V和边集E组成。每条边是一个点对
，其中
有向图：点对有序，即和
是不同的
邻接：顶点v和w邻接当且仅当，在无向图中，v和w邻接意味着w和v也邻接
路径：一个顶点序列，使得
，路径长是路径上的边数，等于
环：图含有一个节点到它自身的一条边，路径就是一个环
简单路径：所有顶点互异，除了开始和结束的顶点
圈：是一个常用于有向图中的一个概念，满足并且长度至少是1的路径，无圈的有向图称为有向无圈图DAG
连通：若一个无向图中每个顶点都有到其他所有顶点的路径，那么这个无向图是连通的，具有这样性质的有向图是强连通的，若有向图不是强连通的但是基础图是连通的，那么称为弱连通的
图的表示法：
1.邻接矩阵，一个二维数组，行和列都是顶点的条数，对稠密的图支持很好，但是对于稀疏的图浪费了大量空间
2.邻接表，每个顶点拉出来一个链表，保存所有邻接的顶点，空间只有