6.1 图的逻辑结构
6.1.1 图的定义和基本用语
在树中常将数据元素称为顶点。
1.定义
★图是由顶点的有穷非空集合和顶点之间边的集合组成,通常表示为:G=(V,E)。其中:G表示一个图,V是图G中顶点的集合,E是图G中顶点之间边的集合。
★注意:在线性表中,元素个数可以为零,称为空表;
在树中,结点个数可以为零,称为空树;
在图中,顶点个数不能为零,但可以没有边。
★若顶点vi和vj之间的边没有方向,则称这条边为无向边,表示为(vi,vj);如果图的任意两个顶点之间的边都是无向边,则称该图为无向图。
★若从顶点vi到vj的边有方向,则称这条边为有向边,表示为<vi,vj>;如果图的任意两个顶点之间的边都是有向边,则称该图为有向图。
2.基本术语
●简单图:在图中,若不存在顶点到其自身的边,且同一条边不重复出现。
●邻接、依附
无向图中,对于任意两个顶点vi和顶点vj,若存在边(vi,vj),则称顶点vi和顶点vj互为邻接点,同时称边(vi,vj)依附于顶点vi和顶点vj。
有向图中,对于任意两个顶点vi和顶点vj,若存在弧<vi,vj>,则称顶点vi邻接到顶点vj,顶点vj邻接自顶点vi,同时称弧<vi,vj>依附于顶点vi和顶点vj 。
●逻辑关系的对比:
(1)在线性结构中,数据元素之间仅具有线性关系;
在树结构中,结点之间具有层次关系;
在图结构中,任意两个顶点之间都可能有关系。
(2)在线性结构中,元素之间的关系为前驱和后继;
在树结构中,结点之间的关系为双亲和孩子;
在图结构中,顶点之间的关系为邻接。
●无向完全图:在无向图中,如果任意两个顶点之间都存在边,则称该图为无向完全图。
有向完全图:在有向图中,如果任意两个顶点之间都存在方向相反的两条弧,则称该图为有向完全图。
含有n个顶点的无向完全图有n×(n-1)/2条边。
含有n个顶点的有向完全图有