图
图结构:任意两个数据元素之间都可能存在关系,可以是多对多的关系。一、图的相关术语:
顶点:在图型结构中,数据元素被称为顶点。
弧:从顶点V1出发,可以到达顶点V2,这种关系被称为弧,用<V1,V2>表示,V1被称为弧尾,V2被称为弧头,这种图被称为有向图。
边:从顶点V1可以到达顶点V2,顶点V2可以到达顶点V1,这种关系被称为边,用(V1,V2),这种图被称为无向图。
注意:图型结构不讨论顶点到自身的边或弧。
如果用n表示顶点的数量,e表示边或弧的数量:
有向图的e的取值范围:[0,(n-1)*n],如果e的数量是(n-1)*n,这种图叫完全有向图。
无向图的e的取值范围:[0,(n-1)*n/2],如果e的数量是(n-1)*n/2,这种图叫完全无向图。
e < nlogn 这种图被称为稀疏图,反之被称为稠密图。
如果图的弧或边具有相关数据,这种与弧或边相关的数据叫权或权重,可看作是一个顶点到另一个顶点的消耗,带权的图称为网。
假设有两个图:G1 = (V1,{E1}) , G2 = (V2,{E2})
如果V1是V2的子集且E1是E2的子集,则称G1是G2的子图。
二、有向图与无向图
1.无向图
如果图中有一条边(V1,V2),则称V1,V2互为邻接点,即V1,V2相邻,或者说边(V1,V2)依附于V1,V2,又或者说V1,V2相关联。
与顶点V1相关联的顶点的数量,被称为V1的度。
2.有向图
如果图中有一条弧<V1,V2>,则称顶点V1邻接到顶点V2,顶点V2邻接自顶点V1。
以顶点V1作为弧尾的弧的数量,被称为V1的出度。
以顶点V1作为弧头的弧的数量,被称为V1的入度。
3.举个栗子
有图G = (V,{E}),顶点V1到Vj的路径是一个顶点序列(V1,V2,…Vj)。
1、如果V1就是Vj,且边或弧的数量等于顶点数,该路径称为回路或环。
2、序列中的顶点不重复出现和路径称为简单路径。
3、除了每个顶点和最后一个顶点,其余顶点不重复出现的回路称为简单回路。
在无向图G中,如果V1到V2有路径,则称V1和V2是连通的,如果图中的任意两个顶点都是连通的,则称G是连通图。如果G1不是连通图,而G是它的子图,则称G是G1的连通分量,也叫极大连通子图。
在有向图G中,如果任意一对顶点Vi,Vj,从Vi到Vj和Vj到Vi都存在路径,则称G是强连通图。如果G1不是强连通图,而G是它的子图,则称G是G1的强连通分量,也叫极大强连通子图。
一个连通图的生成树是一个极小连通子图,它包含图中的全部顶点,但只有n-1条边,如果在一棵生成树上再加一条边,必定构成一个环。
一棵有n个顶点的生成树有且仅有n-1条边。
但有n-1条边的图不一定是生成树。
三、图的存储
1.邻接矩阵
由顶点表和边表组成
[A][B][C][D][E][F][G] 顶点表
[0][0][0][0][0][0][1] //[A] 边表
[0][0][0][0][0][0][0] //[B]
[1][0][0][0][0][0][0] //[C]
[0][0][0][0][0][0][0] //[D]
[0][0][0][0][0][0][0] //[E]
[0][0][0][0][0][0][0] //[F]
[1][0][0][0][0][0][0] //[G]
优点:
计算出度、入度方便。
缺点:
添加删除麻烦,如果是稀疏图,非常浪费存储空间。
2.邻接表
顶点[ 数据 ][ 第一条边指针 ] 边结点 [ 顶点下标 ][ 下一条边指针 ]
是一种顺序+链式混合存储结构
优点:节约存储空间
缺点:计算入度不方便
3.十字链表
顶点[数据][弧头第一条边指针][弧尾第一条边指针] 边结点 [入顶点下标][出顶点下标][弧头相同指针][弧尾相同指针]
优点:在邻接的基础进行了拓展,既能节约存储空间,也能方便计算入度。
四.图的遍历
深度优先:DFS
从一个顶点开始,沿着一条路一直走到底,如果发现不能到达目标解,那就返回到上一个节点,然后从另一条路开始走到底,这种尽量往深处走的概念即是深度优先的概念。
广度优先:BFS
从一个顶点开始,辐射状地优先遍历其所有出度,直到该顶点遍历完才选择一条出度再次辐射状遍历。