51node 1076 2条不相交的路径 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

主要用到的是tarjan算法

tarjan算法是求连通量的

两两到达的都属于一个联通分量。

这样的话，无向图内也通用。

之后在tarjan的连通分量里面 就能达到两两有两条不想交的路的效果了

关于tarjan算法。

我卡在时间戳。之前认为是时间戳分类。之后自己敲了一个时间戳分类的代码。

发现一些联通分量的时间戳在搜索过程中很难一致。

所以 ，我觉得精华部分是那个联通块的分类数组。

把一个栈里面的连通分量用联通快的那个数组分开。

用时间戳来把一个联通块从栈内分离出去。

#include <bits/stdc++.h>
using namespace std;
vector<int > d[50005];
stack<int > s;
int dfn[50005];
int low[50005];
int vtag[50005];
int b[50005];
int times;
void dfs(int t,int u)
{
dfn[t]=low[t]=times++;
s.push(t);
vtag[t]=1;
for(int i=0;i<d[t].size();i++)
{
if(!dfn[d[t][i]])
{
dfs(d[t][i],t);
low[t]=min(low[t],low[d[t][i]]);
}
if(vtag[d[t][i]]&&d[t][i]!=u)
low[t]=min(low[t],dfn[d[t][i]]);
}
if(low[t]==dfn[t])
{
while(s.top()!=t)
{
//cout<<s.top()<<' ';
vtag[s.top()]=0;
b[s.top()]=t;
s.pop();
}
b[s.top()]=t;
s.pop();
}
}
int main()
{
int n,m,q;
while(cin>>n>>m)
{
memset(b,0,sizeof(b));
memset(vtag,0,sizeof(vtag));
while(!s.empty()) s.pop();
times=1;
int x,y;
for(int i=0;i<m;i++)
{
scanf("%d%d",&x,&y);
d[x].push_back(y);
d[y].push_back(x);
}
for(int i=1;i<=n;i++)
if(!dfn[i])dfs(i,0);
cin>>q;
for(int i=0;i<q;i++)
{
scanf("%d%d",&x,&y);
if(b[x]==b[y]) cout<<"Yes"<<endl;
else cout<<"No"<<endl;
}
}
}