对于无向图来说,我们定义图 G 上的极大连通子图 S 为:
- S 是 G 的子图,且 S 是连通的
- 如果 ′S′ 也是 G 的连通子图,且 S 是 ′S′ 的子图,一定 S′=S
我们通常把极大连通子图简称为 连通块。
形象一点说,一个连通块就是一些能互相到达的点形成的图上的一块。
一个连通块中所有点一定互相可达。
比如这个图就有两个连通块,分别是3,4 和 1,2,5,6 。
其实之前在迷宫问题的时候,我们谈过连通块,这两个概念其实是一样的,正如本章最开始所说,我们可以把迷宫画成一般的图的样子,而且画出来就是无向图。
在迷宫上的连通块也就是在这个图上的连通块。
在无向图上,我们可以利用 DFS 可以求连通块的数量。算法流程如下:
- 选择一个尚未被访问的点 v,从点 v 出发进行深度优先搜索,对访问过的点进行标记
- 继续寻找下一个尚未被访问的点,直到没有尚未被访问的点,算法结束
进行深度优先搜索的次数就是图中的连通块个数,如果我们在每次进行深度优先搜索时,对访问过的点进行不同的标记,就可以记录每个连通块内的顶点有哪些了,也可以跟迷宫问题时一样求解连通块大小,最大连通块等问题。
vector<int> G[110];
bool vis[110];
void dfs(int u) {
vis[u] = true;
for (int i = 0; i < G[u].size(); i++) {
int v = G[u][i];
if (!vis[v]) {
dfs(v);
}
}
}
// 主函数中执行
int cnt = 0; // 连通块的数量
for (int i = 1; i <= n; i++) {
if (!vis[i]) {
cnt++;
dfs(i);
}
}
完整代码:
#include <iostream>
#include <vector>
using namespace std;
vector<int> G[110];
bool vis[110];
void dfs(int u) {
vis[u] = true;
for (int i = 0; i < G[u].size(); i++) {
int v = G[u][i];
if (!vis[v]) {
dfs(v);
}
}
}
int main() {
int n, m;
cin >> n >> m;
for (int i = 0; i < m; i++) {
int u, v;
cin >> u >> v;
G[u].push_back(v);
G[v].push_back(u);
}
int cnt = 0;
for(int i = 1; i <= n; i++){
if(!vis[i]){
cnt++;
dfs(i);
}
}
cout << cnt << endl;
return 0;
}