图
图：由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为：G(V, E)，其中G表示一个图，V是图G中顶点的集合，E是图G中边的集合。
特点
- 顶点集合不能为空
- 边的集合可以为空
各种图定义
无向图
若顶点v1到v2之间的边没有方向，则称这条边为无向边，用无序偶对(v1, v2)来表示。无向图就是图中任意两个顶点之间的边都是无向边。有向图
若从顶点v1到v2的边有方向，则称这条边为有向边，也称为弧。用有序偶对<v1, v2>来表示，v1称为弧尾，v2称为弧头。有向图就是图中任意两条边都是有向边。简单图
在图中，不存在顶点到其自身的边，并且同一条边不重复出现，称为简单图。完全图
如果在无向图中，任意两个顶点之间都存在边，则称为完全图。有向完全图
如果任意两个顶点之间都存在互为相反的两条弧，则称为又想完全图。