Tarjan边的双联通

1076 2条不相交的路径

基准时间限制：1 秒 空间限制：131072 KB 分值: 40  难度：4级算法题

 收藏

 关注

给出一个无向图G的顶点V和边E。进行Q次查询，查询从G的某个顶点V[s]到另一个顶点V[t]，是否存在2条不相交的路径。（两条路径不经过相同的边）

（注，无向图中不存在重边，也就是说确定起点和终点，他们之间最多只有1条路）

Input

第1行：2个数M N，中间用空格分开，M是顶点的数量，N是边的数量。（2 <= M <= 25000, 1 <= N <= 50000)
第2 - N + 1行，每行2个数，中间用空格分隔，分别是N条边的起点和终点的编号。例如2 4表示起点为2，终点为4，由于是无向图，所以从4到2也是可行的路径。
第N + 2行，一个数Q，表示后面将进行Q次查询。(1 <= Q <= 50000)
第N + 3 - N + 2 + Q行，每行2个数s, t，中间用空格分隔，表示查询的起点和终点。

Output

共Q行，如果从s到t存在2条不相交的路径则输出Yes，否则输出No。

Input示例

4 4
1 2
2 3
1 3
1 4
5
1 2
2 3
3 1
2 4
1 4

Output示例

Yes
Yes
Yes
No
No

边双联通图：该无向图中的任意两个顶点间都存在两条边不相交的路径

（或是说该图中去掉任意一条边都不会影响其联通性）

定理：

①如果一个联通图不是边双联通图，那么必定存在至少一条边，如果这条边消失，图就会被分成多块，

这样的边也被称为桥

②如果一个图并不是点双联通图，它有可能是边双联通图

方法：和强连通分量一样处理，但更新low[]值时，如果下一个点是已经搜过的，就不再需要判定下一个点是否在

栈中，直接更新这也意味着不需要专门标记一个点是否在栈中了，栈的唯一作用只是存点

#include<stdio.h>
#include<algorithm>
#include<vector>
#include<stack>
using namespace std;
vector<int> G[25005];
stack<int> st;
int n, t, type, low[25005], time[25005], vis[25005], ans[25005];
void Tarjan(int u, int p);
int main(void)
{
	int i, u, v, m, q;
	scanf("%d%d", &n, &m);
	for(i=1;i<=m;i++)
	{
		scanf("%d%d", &u, &v);
		G[u].push_back(v);
		G[v].push_back(u);
	}
	for(i=1;i<=n;i++)		/*有可能不是连通图*/
	{
		if(vis[i]==0)
			Tarjan(i, 0);
	}
	while(st.empty()==0)		/*如果ans[i]==ans[j]则说明i和j在同一边双联通分量中，否则不在*/
	{
		ans[st.top()] = ++type;
		st.pop();
	}
	scanf("%d", &q);
	while(q--)
	{
		scanf("%d%d", &u, &v);
		if(ans[u]==ans[v])
			printf("Yes\n");
		else
			printf("No\n");
	}
	return 0;
}

void Tarjan(int u, int p)
{
	int i, v;
	vis[u] = 1;
	low[u] = time[u] = ++t;
	st.push(u);
	for(i=0;i<G[u].size();i++)
	{
		v = G[u][i];
		if(v==p)
			continue;
		if(vis[v]==0)
		{
			Tarjan(v, u);
			low[u] = min(low[u], low[v]);
		}
		else		/*不需要判断v点是否在栈中*/
			low[u] = min(low[u], time[v]);
	}
	if(low[u]==time[u])
	{
		type++;
		while(st.top()!=u)
		{
			ans[st.top()] = type;
			st.pop();
		}
		ans[u] = type;
		st.pop();
	}
}