数据结构简记✏️ | 图

一、图（Graph）

• 图的定义：由有限顶点集$V$和有限边集$E$组成，记为$$G=(V,E)$$其中顶点数$|V|$记为$n$，边数$|E|$记为$e$。🍗
• 有向图：$<v,w>\in E$表示由顶点$v$指向顶点$w$的有向边（弧），如图🍞

1. 无权：
   
2. 带权：🍰
   

• 无向图：$(v,w)\in E$表示由顶点$v$指向顶点$w$的无向边（边），如图

1. 无权：🍨
   
2. 带权
   

---

二、图的部分术语

• 子图：对于两个图$G=(V,E),G^{{}^{\prime }}=(V^{{}^{\prime }},E^{{}^{\prime }})$，如果$V^{{}^{\prime }}\in V,E^{{}^{\prime }}\in E$，则称$G^{{}^{\prime }}$为$G$的子图。
• 完全图：包含所有可能的边的图称为完全图，无向完全图有$n(n-1)/2$条边，有向完全图有$n(n-1)$条弧。🍯
• 邻接顶点：在无向图中，若存在边$(v,w)$，则称$v,w$互为邻接顶点；在有向图中，若存在弧$<v,w>$，则称$w$为$v$的邻接顶点，反之不然。

---

三、图的存储结构

1. 邻接数组

• 结构图：
  
• 类型定义：

#define UNVISITED 0
#define VISITED 1
#define INFINITY MAXINT//计算机允许的整数最大值
typedef enum{DG,DN,UDG,UDN}GraphKind;//图的4种类型：有向图，有向带权图，无向图，无向带权图
typedef struct {
	VexType *vexs;//顶点数组，VexType是顶点类型，由用户定义
	int **arcs;//关系数组，对无权图，用0和1表示是否相邻；对带权图，则有权值或INFINITY
	int n,e;//顶点数和边（弧）数
	GraphKind kind;//图的类型
	int *tags;//标志数组，用于图的遍历中标记顶点是否已被访问
}MGraph;//图的邻接数组类型

2. 邻接表

• 结构图：

1. 无权
   
2. 带权
   

• 类型定义：🍭

typedef struct AdjVexNode {
	int adjvex;//邻接顶点在顶点数组中的位序
	struct AdjVexNode *nextArc;//指向下一个邻接顶点（下一条边或弧）
	int info;//存储边（弧）的相关信息（如带权图的权值）
}AdjVexNode,*AdjVexNodeP;//邻接链表的结点类型
typedef struct VexNode {
	VexType data;//顶点值
	struct AdjVexNode *firstArc;//邻接链表的头指针
}VexNode;//顶点数组的元素类型
typedef struct {
	VexNode *vexs;//顶点数组，用于存储顶点信息
	int n,e;//顶点数，边（弧）数
	GraphKind kind;//图的类型
	int *tags;//标志数组，用于图的遍历中标记顶点是否已被访问
}ALGraph;//图的邻接表类型