2set的tarjan写法.....
Party
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 3841 Accepted Submission(s): 1244
Problem Description
有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席。在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席?
Input
n: 表示有n对夫妻被邀请 (n<= 1000)
m: 表示有m 对矛盾关系 ( m < (n - 1) * (n -1))
在接下来的m行中,每行会有4个数字,分别是 A1,A2,C1,C2
A1,A2分别表示是夫妻的编号
C1,C2 表示是妻子还是丈夫 ,0表示妻子 ,1是丈夫
夫妻编号从 0 到 n -1
m: 表示有m 对矛盾关系 ( m < (n - 1) * (n -1))
在接下来的m行中,每行会有4个数字,分别是 A1,A2,C1,C2
A1,A2分别表示是夫妻的编号
C1,C2 表示是妻子还是丈夫 ,0表示妻子 ,1是丈夫
夫妻编号从 0 到 n -1
Output
如果存在一种情况 则输出YES
否则输出 NO
否则输出 NO
Sample Input
2 1 0 1 1 1
Sample Output
YES
Source
#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int maxn=5000;
struct Edge
{
int to,next;
}edge[100000];
int Adj[maxn],Size;
void init()
{
Size=0; memset(Adj,-1,sizeof(Adj));
}
void Add_Edge(int u,int v)
{
edge[Size].to=v;
edge[Size].next=Adj[u];
Adj[u]=Size++;
}
int DFN[maxn],Low[maxn],Instack[maxn],Belong[maxn];
int top,Stack[maxn],Index,scc;
void Tarjan(int u)
{
int v;
DFN[u]=Low[u]=++Index;
Stack[top++]=u;
Instack[u]=1;
for(int i=Adj[u];~i;i=edge[i].next)
{
v=edge[i].to;
if(!DFN[v])
{
Tarjan(v);
Low[u]=min(Low[u],Low[v]);
}
else if(Instack[v])
{
Low[u]=min(Low[u],DFN[v]);
}
}
if(Low[u]==DFN[u])
{
scc++;
do
{
v=Stack[--top];
Instack[v]=false;
Belong[v]=scc;
}while(u!=v);
}
}
bool solve_scc(int n)
{
memset(DFN,0,sizeof(DFN));
memset(Instack,0,sizeof(Instack));
memset(Belong,0,sizeof(Belong));
top=Index=scc=0;
for(int i=0;i<2*n;i++)
{
if(!DFN[i]) Tarjan(i);
}
for(int i=0;i<n;i++)
{
if(Belong[i<<1]==Belong[i<<1|1]) return false;
}
return true;
}
int main()
{
int n,m,a1,a2,c1,c2;
while(scanf("%d%d",&n,&m)!=EOF)
{
init();
while(m--)
{
scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
Add_Edge((a1<<1)+c1,(a2<<1|1)-c2);
Add_Edge((a2<<1)+c2,(a1<<1|1)-c1);
}
if(solve_scc(n)) puts("YES");
else puts("NO");
}
return 0;
}