【数据结构知识点总结】五、图

图G由顶点集V和边集E组成，记为G=(V,E)。其中V(G)表示图G中顶点的有限非空集。E(G)表示图G中顶点之间的关系（边）的集合。
图不可以是空图。图中可以只有顶点没有边。

1. 有向图
   若E是有向边（弧）的有限集合，图G为有向图。弧是顶点的有序对，记为<v,w>，v称为狐尾，w称为弧头。<v,w>称为从顶点v到顶点w的弧，也称v邻接到w，或w邻接自v。
2. 无向图
   若E是无向边（边）的有限集合，图G为无向图。边是顶点的无序对，记为(v,w)或(w,v)，(v,w)=(w,v)。顶点w和顶点v互为邻接点。边(v,w)依附于顶点w和v，或者说边(v,w)和顶点v、w相关联。
3. 简单图
   不存在重复边；不存在顶点到自身的边。则称图G为简单图。
   数据结构中只讨论简单图。
4. 多重图
   图G中某两顶点之间的边数多出一条，有允许顶点通过同一条边和自己关联。
5. 完全图（简单完全图）
   在无向图中，若任意两个顶点之间都存在边，则称该图为无向完全图。含n个顶点的无向完全图有n(n-1)/2条边。
   在有向图中，若任意两个顶点之间都存在方向相反的两条弧，则称该图为有向完全图。含n个顶点的有向完全图有n(n-1)条有向边。
6. 子图
   若有图G=(V,E)和G’=(V’,E’),若V’是V的子集，E’是E的子集，则称G’是G的子图。若满足V(G’)=V(G)，则称G’为G的生成子图。
   *并非V和E的任何子集都能构成G的子图，E子集中某些边关联的顶点可能不在这个V的子集中。
7. 连通图和连通分量
   在无向图中，若从顶点v到顶点w的路径存在，则称v和w是连通的。若图G中任意两个顶点都是连通的，则称图G为连通图，否则为非连通图。
   无向图中的极大连通子图称为连通分量。极大要求该连通子图包含其所有的边；极小连通子图既要保持图连通又要使得边数最少。
   若一个图有n个顶点，并且边数小于n-1，则此图必是非连通图。
8. 强连通图、强连通分量
   在有向图中，若从顶点v到顶点w和从顶点w到顶尖v之间都有路径，则称这两个顶点是强连通的。若图中任何一对顶点都是强连通的，则称此图为强连通图。
   有向图的极大连通子图称为有向图的强连通分量。
9. 生成树、生成森林
   连通图的生成树是包含图中全部顶点的一个极小连通子图。 n个顶点的图的生成树有n-1条边。
   非连通图中，连通分量的生成树构成了非连通图的生成森林。
10. 顶点的度
    对无向图，顶点的度只依附于该顶点的边的条数，记为TD(v)
    无向图全部顶点的度的和等于边数的2倍
    对有向图，入度是以顶点v为终点的有向边的数目，记为ID(v)；出度是以顶点v为起点的有向边的数目，记为OD(v)。TD(v)=ID(v)+OD(v)
11. 边的权和网
    边上标上具有某种含义的数值，这个数值称为权值。边上带权值的图称为带权图，也称网。
12. 稠密图，稀疏图
    边数很少的图称为稀疏图，反之为稠密图。
13. 路径和回路
    顶点$v_p$到顶点$v_q$之间的一条路径指由顶点和相邻顶点序偶。路径上边的数目称为路径长度。
    第一个顶点和最后一个顶点相同的路径成为回路或环。 若一个图有n个顶点，大于n-1条边，则此图一定有环。
14. 简单路径、简单回路
    在路径序列中，顶点不重复出现的路径称为简单路径。除第一个和最后一个顶点外，其余顶点不重复出现的回路称为简单回路。
15. 距离
    从顶点u出发到顶点v的最短路径若存在，则此路径的长度称为从u到v的距离。
    若从u到v根本不存在路径，则记该距离为无穷。
16. 有向树
    一个顶点入度为0、其余顶点入度均为1的有向图，称为有向树。

对于一个有n个顶点的图：若是连通无向图，其边数至少为n-1；若是强连通有向图，其边数至少为n

图的存储必须要完整、准确地反映顶点集和边集的信息。

邻接矩阵法

邻接矩阵存储是指用一个一维数组存储图中顶点的信息，用一个二维数组存储图中边的信息，存储顶点之间邻接关系的二维数组称为邻接矩阵。

#define MaxVertexNum 100
typedef char VertexType;
typedef int EdgeType;  //边上权值的数据类型
typedef struct MGraph{
   
    VertexType Vex[MaxVertexNum]; //顶点表
    EdgeType Edge[MaxVertexNum][MaxVertexNum]; //邻接矩阵，边表
    int vexnum,arcnum;
}MGraph;

邻接矩阵表示法的空间复杂度为$O(n^2)$

用邻接矩阵法存储图，很容易确定图中任意两个顶点之间是否有边相连。但要确定图中有多少边必须按行、列对每个元素进行检测。
设图G的邻接矩阵为$A$，$A^n$的元素$A^n[i][j]$等于由顶点$i$到顶点$j$的长度为$n$的路径的数目。

邻接表法

邻接表是指对图G中的每个顶点$v_i$建立一个链表，第$i$个单链表中的结点表示依附于顶点$v_i$的边（有向图为以顶点$v_i$为尾的弧），这个单链表称为顶点$v_i$的边表（有向图为出边表）。边表的头指针和顶点的数据信息采用数据存储（顶点表）

#define MaxVertexNum 100
typedef struct ArcNode{
     //边表结点
    int adjvex;  //该弧所指向的顶点的位置
    struct ArcNode *next; //指向下一条弧的指针
    //InfoType info;  //边权值
}ArcNode;
typedef struct VNode{
     //顶点表结点
    VertexType data;
    ArcNode *first;  //指向第一条依附该顶点的弧的指针
}VNode,AdjList[MaxVertexNum];
typedef struct ALGraph{
   
    AdjList vertices;  //邻接表
    int vexnum,arcnum;
}ALGraph;

若G为无向图，则所需的存储空间为$O(|V|+2|E|)$；若G为有向图，所需存储空间为$O(|V|+|E|)$

在邻接表中，给定一顶点，能很容易地找出它所有的邻边。若要确定两个顶点之间是否存在边，需要在相应结点对应的边表中查找另一结点，效率较低。

十字链表

十字链表是有向图的一种链式存储。

#define MaxVertexNum 100
typedef struct ArcNode{
     //边表结点
    int tailvex,headvex;
    struct ArcNode *hlink,*tlink; //分别指向弧头和弧尾相同的结点
}ArcNode;
typedef struct VNode{
     //顶点表结点
    VertexType data;
    ArcNode *firstin,*firstout;  //指向第一条入弧和出弧
}VNode;
typedef struct GLGraph{
   
    VNode xlist[MaxVertexNum];  //邻接表
    int vexnum,arcnum;
}GLGraph;

在十字链表中，既容易找到$v_i$为尾的弧，也容易找到$v_i$为头的弧。容易求顶点的入度和出度。
图的十字链表表示不唯一，一个十字链表表示确定一个图。

邻接多重表

邻接多重表是无向图的一种链式存储结构。
边表：

顶点表：

#define MaxVertexNum 100
typedef struct ArcNode{
     //边表结点
    bool mark;  //访问标记
    int ivex,jvex;
    struct ArcNode *ilink,*jlink; //分别指向两个顶点的下一条边
}ArcNode;
typedef struct VNode{
   
    VertexType data