图是由顶点的有穷非空集合和顶点的边的集合组成,通常表示为G(V,E),其中,G表示一个图,V是图G中的顶点集合,E 是图G边的集合。
图中数据元素称之为顶点(Vertex)。但需要注意的是,在图结构中是不能没有顶点的,即定义中提到的顶点集合要是有穷非空集合。
在图中,任意两点之间都可能有关系,顶点之间的逻辑关系用边来表示,边集合可以是空的。
无向边:若顶点vi到vj之间的边没有方向,则称这条边卫无向边,用无序偶对(vi,vj)表示。如果图中,任意两个顶点之间的边都是无向边,则称该图为无向图。
有向边:若从顶点vi到vj的边有方向,则称这条边为有向边,也称为弧。用有序偶<vi,vj>表示,vi称为弧尾,vj称为弧头。
如果图中任意的两个顶点之间的边都是有向边,则称该图为有向图。