数据结构图总结

图

1.图的术语与定义

1.1图的定义

顶点$i$的出度：第$i$行1的个数。顶点$i$的入度，第$i$列1的个数。

图由顶点集V(G)和边集E(G)组成，记为G=(V,E)。其中E(G)是边的有限集合，边是顶点的无序对（无向图）或有序对（有向图）。

对有向图来说，E(G)是有向边（也称弧(Arc)）的有限集合，弧是顶点的有序对，记为 <v,w> < v , w > <script type="math/tex" id="MathJax-Element-103"> </script>，v、w是顶点， v为弧尾（箭头根部），w为弧头（箭头处）。

对无向图来说，E(G)是边的有限集合，边是顶点的无序对，记为(v, w)或者(w, v)，并且(v, w)=(w,v)。

1.2顶点的度、入度、出度

顶点v的度：与v相关联的边的数目；

顶点v的出度：以v为起点有向边数；

顶点v的入度：以v为终点有向边数。

1.3路径与回路

简单路径：序列中顶点不重复出现的路径

简单回路：序列中第一个顶点和最后一个顶点相同的路径

1.4连通图（强连通图）

在无（有）向图中，若对任何两个顶点v、u都存在从v到u的路径，则称图G为连通图（强联通图）。

极大连通子图：该子图是G连通子图，将G的任何不在该子图的顶点加入，子图将不再连通。

极小连通子图：该子图是G的连通子图，在该子图中删除任何一条边，子图都将不再连通。

无向图G的极大连通子图称为G的连通分量。

有向图D的极大强连通子图称为D的强连通分量。

包含无向图G的所有顶点的极小连通子图称为G**生成树**。

若T是G的生成树当且仅当T满足：T是G的连通子图、T包含G的所有顶点、T中无回路。

2.图的存储

2.1邻接矩阵

顶点$i$的出度：第$i$行1的个数。顶点$i$的入度，第$i$列1的个数。

typedef enum {DG, DN, UNG, UDN} GraphKind;//有向图，有向网，无向图，无向网
typedef struct ArcCell {
    VRType adj;//无权图，用0,1表示；带权图，用权值类型表示
    InfoType *info;//弧相关信息的指针
}ArcCell, AdjMatrix[maxn][maxn];
typedef struct {
    VertexType vexs[maxn];//顶点信息
    AdjMatrix arcs;//建立邻接矩阵
    int vexnum, arcnum;//图的当前顶点数和弧数
    GraphKind kind;
}MGraph;

2.2邻接表

• 无向图的邻接表

typedef struct ArcNode {
  //一般结点
    int adjvex;//该弧所指向的顶点的位置
    struct ArcNode *nextarc;//链域，指向下一条边或者弧
}ArcNode;
typedef struct tnode{
  //表头结点
    int vexdata;//存放顶点信息
    ArcNode *firstarc;//指向第一个邻接点
}VNode, ADjList[maxn];
typedef struct{
  //最终建立邻接表
    ADjList vertices;
    int vexnum, arcnum;
    int kind;
}ALGraph;

无向图采用邻接表存储的特点：

在G连接表中，同一条边对应两个结点。顶点v的度，等于 v对应线性链表的长度。在G中增减边，需要在两个单链表中插入、删除结点。

设存储顶点的一维数组大小为$m$( 顶点数m>顶<