割边:dfn[u]<low[v]
割点:dfn[u]<=low[v] (若为根节点,要有两个v这样的点)
一.知识点:
1.连通:
在图论中,连通性是指一个无向图中的任意两个顶点之间存在路径。如果对于图中的任意两个顶点 u 和 v,存在一条路径从 u 到 v,那么图被称为连通图。如果图不是连通的,那么它可以被分为多个连通分量,每个连通分量都是一个连通子图。
2.割点:
割点(Cut Vertex),也称为关节点或割顶,是指在无向图中,如果移除该顶点及其相连的边,会导致图不再连通,那么该顶点就被称为割点。
3.割边:
割边(Cut Edge),也称为桥,是指在无向图中,如果移除该边,会导致图不再连通,那么该边就被称为割边。
割边在图中起到了连接不同连通分量的作用,其移除会导致图的连通性发生变化。
4.tarjan算法:(选择性阅读)
Tarjan算法是一种用于寻找有向图中强连通分量(Strongly Connected Components,简称SCC)的算法,由Robert Tarjan在1972年提出。强连通分量是指在有向图中,任意两个顶点之间存在双向路径。
Tarjan算法使用深度优先搜索(DFS)来遍历图,并通过维护一个栈和一些辅助数据结构来识别强连通分量。算法的基本思想是通过DFS遍历图中的每个顶点,并为每个顶点记录其访问次序(Discovery Time)和能够回溯到的最早的祖先顶点(Lowest Ancestor)。通过这些信息,可以识别出具有相同祖先的顶点集合,即一个强连通分量。
Tarjan算法的步骤如下:
- 对图中的每个顶点进行深度优先搜索(DFS)遍历。
- 在DFS遍历的过程中,为每个顶点记录其访问次序和最早祖先顶点。
- 将已访问的顶点入栈。
- 当DFS遍历回溯到一个顶点时,检查该顶点的最早祖先顶点。如果最早祖先顶点是自身,则将栈中的顶点弹出,并将这些顶点构成一个强连通分量。
- 重复步骤3和步骤4,直到遍历完所有的顶点。
Tarjan算法的时间复杂度为O(V+E),其中V是顶点数,E是边数。它是一种高效的算法,常被用于解决与强连通分量相关的问题,如图的缩点、强连通分量的数量和结构等。
总之,Tarjan算法是一种用于寻找有向图中强连通分量的算法,通过DFS遍历和栈的运用,可以高效地找到图中的所有强连通分量。
二.讲解
在此之前,先介绍两个数组;
int dfn[];里面存放访问顺序(时间戳);
int low[];里面存放追溯值(即祖先节点最小的dfn)
(1)割边
tarjan提出:(证明可以自行百度)
当dfn[u]<low[v]时,连接这两条点的边为割边(重边要特殊处理,后面介绍)
(2)割点
tarjan提出:(证明可以自行百度)
当dfn[u]<=low[v]时,u这个点为割点(若为根节点,要有两个v这样符合条件的点)
三.割边
(1)题目
题目描述:
找出割边
输入:
第一行输入两个整数n和m,表示点和边的个数。
第i(2<=i<=2+m)行,每行输出两个数字,表示一条边的两个点。
输出:
割边
样例输入:
6 7
1 2
1 3
2 4
2 5
3 4
4 5
4 6样例输出:
4---6
(2)初代码
/*
6 7
1 2
1 3
2 4
2 5
3 4
4 5
4 6
*/#include<bits/stdc++.h>
#define maxn 100005
using namespace std;
int n,m;
struct Edge{int u,v,next;
}edge[maxn<<1];
int cnt,head[maxn];
void add(int u,int v){edge[++cnt]=(Edge){u,v,head[u]}; head[u]=cnt;
}
int num,dfn[maxn],low[maxn];
void tarjan(int u,int fa){dfn[u]=low[u]=++num;for(int i=head[u];i;i=edge[i].next){int v=edge[i].v;if(v==fa) continue;if(dfn[v]==0){tarjan(v,u);low[u]=min(low[u],low[v]);if(dfn[u]<low[v]){ //割边条件 ,若>则表示v不止和u相连 cout<<u<<"----"<<v<<endl; }}else{low[u]=min(low[u],dfn[v]);}}
}
int main(){scanf("%d%d",&n,&m);int u,v;for(int i=1;i<=m;i++){scanf("%d%d",&u,&v);add(u,v); add(v,u);}tarjan(1,0);return 0;
}
(3)bug与解答
1.若这张图有多个连通分量怎么办?
答:遍历即可
for(int i=1;i<=n;i++){if(dfn[i]==0) tarjan(1,0);}
2.若有重边怎么办?结果显然不对。
答:只continue,第二次让这段代码运行
然后就无法满足 dfn[u]<low[v]条件了
if(v==fa){k++; //防止重边 if(k==1) continue;}
(4)最终代码
/*
6 7
1 2
1 3
2 4
2 5
3 4
4 5
4 6
*/#include<bits/stdc++.h>
#define maxn 100005
using namespace std;
int n,m;
struct Edge{int u,v,next;
}edge[maxn<<1];
int cnt,head[maxn];
void add(int u,int v){edge[++cnt]=(Edge){u,v,head[u]}; head[u]=cnt;
}
int num,dfn[maxn],low[maxn];
void tarjan(int u,int fa){int k=0;dfn[u]=low[u]=++num;for(int i=head[u];i;i=edge[i].next){int v=edge[i].v;if(v==fa){k++; //防止重边 if(k==1) continue;} if(dfn[v]==0){tarjan(v,u);low[u]=min(low[u],low[v]);if(dfn[u]<low[v]){ //割边条件 ,若>则表示v不止和u相连 cout<<u<<"---"<<v<<endl; }}else{low[u]=min(low[u],dfn[v]);}}
}
int main(){scanf("%d%d",&n,&m);int u,v;for(int i=1;i<=m;i++){scanf("%d%d",&u,&v);add(u,v); add(v,u);}//防止本来就有不连通的 for(int i=1;i<=n;i++){if(dfn[i]==0) tarjan(1,0);}return 0;
}
四.割点
其实只是微改动一下即可。其次就是可以优化一下。函数传参只需要传u,无需判断是否为父节点。因为不会影响结果。(自行参考代码推理)
再次强调:若为根节点,要有两个v这样的点!
参考代码:
/*
6 7
1 2
1 3
2 4
2 5
3 4
4 5
4 6
*/#include<bits/stdc++.h>
#define maxn 100005
using namespace std;
int n,m;
struct Edge{int u,v,next;
}edge[maxn<<1];
int cnt,head[maxn];
void add(int u,int v){edge[++cnt]=(Edge){u,v,head[u]}; head[u]=cnt;
}
int num,dfn[maxn],low[maxn],root;
void tarjan(int u){dfn[u]=low[u]=++num;int flag=0;for(int i=head[u];i;i=edge[i].next){int v=edge[i].v;if(dfn[v]==0){tarjan(v);low[u]=min(low[u],low[v]);if(dfn[u]<=low[v]){ //割点条件 if(u!=root || flag>1) cout<<u<<" ";}}else{low[u]=min(low[u],dfn[v]);}}
}
int main(){scanf("%d%d",&n,&m);int u,v;for(int i=1;i<=m;i++){scanf("%d%d",&u,&v);add(u,v); add(v,u);}//防止本来就有不连通的 for(int i=1;i<=n;i++){if(dfn[i]==0){root=i;tarjan(i);} }return 0;
}