本章节内容使用 java 实现,Github 代码仓:https://github.com/ZhekaiLi/Code/tree/main/Graph/src
查看文章内的图片可能需要科学上网! 因为使用了github管理图片,因此如果出现无法加载的情况请翻墙
【参考资料】imooc 波波老师:玩转算法系列–图论精讲 面试升职必备(Java版)
【往期博客链接】
图论算法(1、2):图的分类、图的基本概念(无向图与有向图、无权图、无环图、完全图、二分图;简单图、连通分量、图的生成树、子图与母图)
图论算法(3):图的基本表示(邻接矩阵、邻接表、邻接矩阵与邻接表的对比)
图论算法(4):图的深度优先遍历 DFS
图论算法(5):图的广度优先遍历 BFS
图论算法(6):LeetCode 图论算法练习(785.判断二分图、695.岛屿的最大面积、Floodfill 算法、并查集)
1. 图的分类
1.1 无向图 vs 有向图
无向图(undirected graph) G G G 是由一个非空有限集合 V ( G ) V(G) V(G) 和 V ( G ) V(G) V(G) 中某些元素的无序对集合 E ( G ) E(G) E(G) 构成的二元组,记为
G = ( V ( G ) , E ( G ) ) G = (V (G),E(G)) G=(V(G),E(G))
where,
V
(
G
)
=
{
v
1
,
v
2
,
.
.
.
,
v
n
}
V(G)=\{v_1,v_2,...,v_n\}
V(G)={v1,v2,...,vn} 称为顶点集(vertex set)
E
(
G
)
=
{
e
1
,
e
2
,
.
.
.
,
e
n
}
E(G)=\{e_1,e_2,...,e_n\}
E(G)={e1,e2,...,en} 称为边集(edge set),
e
k
=
(
v
i
,
v
j
)
e_k=(v_i,v_j)
ek=(vi,vj)
如果一个图的顶点集和边集都有限,则称为有限图。使用符号 ∣ V ∣ \vert V\vert ∣V∣ or v ( G ) v(G) v(G) 表示顶点数, ∣ E ∣ \vert E\vert ∣E∣ or ε ( G ) \varepsilon(G) ε(G) 表示边数
有向图(directed graph 或 digraph) G G G 是由一个非空有限集合 V V V 和 V V V 中某些元素的有序对集合 A A A 构成的二元组,记为
G = ( V , A ) G = (V, A) G=(V,A)
where,
A
=
{
a
1
,
a
2
,
.
.
.
,
a
m
}
A = \{a_1, a_2, ..., a_m\}
A={a1,a2,...,am} 称为弧集(arc set)。对于
a
k
=
(
v
i
,
v
j
)
a_k = (v_i ,v_j)
ak=(vi,vj),称
v
i
v_i
vi 为尾(tail),
v
j
v_j
vj 为头(head),并称弧
a
k
a_k
ak 为
v
i
v_i
vi 的出弧(outgoing arc),为
v
j
v_j
vj 的 入弧(incoming arc)。
以下若未指明“有向图”三字,“图”字皆指无向图。
1.2 (无/有)权图、环图
故名思意,(无/有)权图根据边是否有权重来区分
同样,(无/有)环图根据图中是否存在环来区分,环定义为一条从一个节点出发并回到同一节点的路径(path)
树是一种典型的无环图(树 = 连通无环图)
1.3 完全图、二分图
每一对不同的顶点都有一条边相连的简单图称为完全图(complete graph)。 n n n 个顶点的完全图记为 K n K_n Kn。
若 V ( G ) = X ∪ Y , X ∩ Y = Ø , ∣ X ∣ ∣ Y ∣ ≠ 0 V(G) = X\cup Y, X\cap Y = \text{\O}, \vert X\vert\vert Y\vert\neq 0 V(G)=X∪Y,X∩Y=Ø,∣X∣∣Y∣=0, X , Y X,Y X,Y 中无相邻顶点对,则称 G G G 为二分图(bipartite graph);特别地,若 ∀ x ∈ X , ∀ y ∈ Y \forall x\in X, \forall y\in Y ∀x∈X,∀y∈Y,则 x y ∈ E ( G ) xy\in E(G) xy∈E(G),则称 G G G 为完全二分图,记为 K ∣ X ∣ , ∣ Y ∣ K_{|X|,|Y|} K∣X∣,∣Y∣。
2. 图的基本概念
简单图
连通分量(Connected Component) 为一个图的极大连通子图,例如下图的连通分量为 2
图的生成树
顶点的度
设 v ⊂ V ( G ) v\subset V(G) v⊂V(G), G G G 中与 v v v 关联的边数(每个环算作两条边)称为 v v v 的度(degree),记作 d ( v ) d(v) d(v)。若 d ( v ) d(v) d(v) 是奇数,称 v v v 是奇顶点(odd point),反之偶顶点(even point)。
子图、母图
如果 V ( H ) ⊂ V ( G ) , E ( H ) ⊂ E ( G ) V(H)\subset V(G), E(H)\subset E(G) V(H)⊂V(G),E(H)⊂E(G),则称 H H H 为图 G G G 的子图(subgraph),记作 H ⊂ G H\subset G H⊂G。同时称 G G G 为 H H H 的母图。
G G G 的支撑子图(spanning subgraph,又成生成子图)是指满足 V ( H ) = V ( G ) V(H) = V(G) V(H)=V(G) 的子图 H H H。