1.图的基本概念
前面我们聊到数据之间的关系有三种形式,一对一(线性表)、一对多(树),今天我们来聊聊第三种多对多数据的表示形式——图。下面第一幅图,顶点之间没有箭头,称为无向图;第二幅有箭头的称为有向图。如果从一个顶点出发,经过一定的路径后又回到自身,称为回环。图三中每条路径上面的数字称为权,带权的图称为网。如果两个顶点之间通过一定数量的路径连接,我们称为连通;如果图中任意两节点之间都是连通的,称图为连通图。对于非连通来说,各自连通的最大子图称为连通分量。如果有向图中任意两个节点A、B,从A到B至少有一条路径,从B到A也至少有一条路径,称这样的图为强连通图。非强连通的有向图,各自强连通的最大子图称为强连通分量。先介绍这些基本的概念,后续用到的时候再对相关的概念进行解释。
2.图的存储方式
1.邻接矩阵存储
邻接的意思就是两个顶点之间有边(无向图中节点的连线称为边)或者弧(有向图中节点的连线称为弧,无箭头一端称为弧尾,有箭头一端称为弧头)存在;
下图邻接矩阵中行表示某个顶点,行中的某一列数字表示该顶点与对应列数字的顶点是否邻接,邻接则为1,否则为0;
我们使用邻接矩阵存储顶点之间的关系,另外可以使用一个数组存储各节点对应的值。
2.邻接表存储
上面的邻接矩阵实际上是使用,为了表示顶点间的关系,我们还可以使用数组加链表的形式;使用数组存储每一个顶点中的值,使用链表存储与其相邻接的顶点。
邻接表即适合存储有向图,也适合存储无向图。
3.十字链表存储
十字链表更适合存储有向图,在每一个链表第一个位置成为首元结点,首元结点由三块构成,第一块存储该顶点的值,第二块指针指向以首元结点为弧头的节点,第三个节点指向以首元结点为弧尾的节点。链表中普通节点如图二所示:
tailvex:表示以首元结点为弧尾的顶点位置
headvex:表示以首元结点为弧头的顶点位置
hlink:下一个以首元结点为弧头的顶点的节点
tlink:下一个以首元结点为弧尾的顶点的节点
info:存储权值等信息
4.邻接多重表存储
邻接多重表更适合存储无向图,其相当于是邻接表和十字链表的结合。其首元结点的结构如图一所示,跟邻接表的首元结点结构一致;普通节点的结构如图二所示,跟十字链表一致;
其中:
mark:存储一些额外信息,比如节点是否被操作
ivex,jvex:存储边两端节点在数组中的位置
ilink:下一个于ivex有直接关联的节点
jlink:下一个于jvex有直接关系的节点
info:权值等信息
5.总结
上面我们聊到了四种存储树的方式,邻接矩阵是一种顺序表,使用二维数组表示节点之间两两的邻接关系;邻接表使用数组加链表的形式,数组存储顶点的值,链表