线性表和树两类数据结构,线性表中的元素是“一对一”的关系,树中的元素是“一对多”的关系,本章所述的图结构中的元素则是“多对多”的关系。图(Graph)是一种复杂的非线性结构,在图结构中,每个元素都可以有零个或多个前驱,也可以有零个或多个后继,也就是说,元素之间的关系是任意的。
一、图的定义与术语
定义:图(Graph)是由顶点的有穷非空集合和顶点之间边的集合组成,通常表示为:G(V,E),其中,G表示一个图,V是图G中顶点的集合,E是图G中边的集合。
1、图的分类
图是按照无方向和有方向分为无向图和有向图。
左图为无向图是由顶点和边构成,右图为有向图是由顶点和弧(有向边构成)。弧有弧头和弧尾区别。
按照边分为稀疏图和稠密图,这是个模糊的概念,同样是相对的概念。
如果任意两个顶点之间都存在边叫完全图,有向的边叫有向完全图。如果无重复的边或者顶点到自身的边叫简单图。在用数学方式表示时,无向边用()表示,有向边用<>表示。现在我们讲解的图全是简单图。
左图没有重复的边或者到自身的边(简单图),右图则有。
这种边带权值的图叫网
2.图的顶点和边间关系
顶点的度:顶点关联边的数目。有向图图中有,入度:方向指向顶点的边;出度:方向背向顶点的边。在有向图中顶点的度就是两者之和。
路径长度:路径上边或者弧的数目。
左图中,从B到D的路径度为2,在右图中就是3了(粗线的边)。
右图中A的入度是2,出度是1;B的入度为0,出度是2.
连通
在无向图G中,任意两个顶点是相通的就是连通图。
左图不是连通图,AE之间没有连通。
二、图的存储结构
图的结构比价复杂,任意两个顶点之间都可能存在关系,不能用简单的顺序存储结构来表示。如果运用多重链表,即一个数据域多个指针域组成的结点表示图中一个结点,则造成大量存储单元浪费。
1、邻接矩阵
邻接矩阵用两个数组保存数据。一个一维数组存储图中顶点信息,一个二维数组存储图中边或弧的信息。
无向图中二维数组是个对称矩阵。
特点: