hdu 1824 Let's go home【2-SAT------强连通Tarjan】

Let's go home

Time Limit: 10000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 1795    Accepted Submission(s): 753


Problem Description

小时候，乡愁是一枚小小的邮票，我在这头，母亲在那头。

                        —— 余光中

集训是辛苦的，道路是坎坷的，休息还是必须的。经过一段时间的训练，lcy决定让大家回家放松一下，但是训练还是得照常进行，lcy想出了如下回家规定，每一个队（三人一队）或者队长留下或者其余两名队员同时留下；每一对队员，如果队员A留下，则队员B必须回家休息下，或者B留下，A回家。由于今年集训队人数突破往年同期最高记录，管理难度相当大，lcy也不知道自己的决定是否可行，所以这个难题就交给你了，呵呵，好处嘛~，免费**漂流一日

Input

第一行有两个整数，T和M，1<=T<=1000表示队伍数，1<=M<=5000表示对数。

接下来有T行，每行三个整数，表示一个队的队员编号，第一个队员就是该队队长。

然后有M行，每行两个整数，表示一对队员的编号。

每个队员只属于一个队。队员编号从0开始。

Output

可行输出yes，否则输出no，以EOF为结束。

Sample Input

1 2

0 1 2

0 1

1 2

 

2 4

0 1 2

3 4 5

0 3

0 4

1 3

1 4

Sample Output

yes

no

Author

威士忌

 

2-SAT入门题目及个人详解：http://blog.csdn.net/mengxiang000000/article/details/51742976

思路：

1、拆点，将一个点拆成两个点，一个用来表示留下，一个用来表示回家，那么就是对应的a,!a;

2、对应的队内的约束条件，对应建边：(a,!b)(a,!b)(!a,b)(!a,c)。

3、对应约束 条件建边：(x,!y)(!x,y);

4、然后进行Tarjan算法求强连通分量，然后判断每一个a和!a是否在同一个强连通分量中，如果在，输出no，否则输出yes。

AC代码：

#include<stdio.h>
#include<iostream>
#include<string.h>
using namespace std;
int head[100000];
struct EdgeNode
{
int to;
int w;
int next;
}e[1000000];
int stack[1000000];
int low[100000];
int dfn[100000];
int vis[100000];
int color[100000];
int n,m,cont,cnt,sig,tt;
void add(int from,int to)
{
e[cont].to=to;
e[cont].next=head[from];
head[from]=cont++;
}
void init()
{
cont=0;
tt=-1;
sig=0;
cnt=1;
memset(color,0,sizeof(color));
memset(stack,0,sizeof(stack));
memset(vis,0,sizeof(vis));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(head,-1,sizeof(head));
}
int Tarjan(int u)
{
vis[u]=1;
dfn[u]=low[u]=cnt++;
stack[++tt]=u;
for(int i=head[u];i!=-1;i=e[i].next)
{
int v=e[i].to;
if(vis[v]==0)Tarjan(v);
if(vis[v]==1)low[u]=min(low[u],low[v]);
}
if(dfn[u]==low[u])
{
sig++;
do
{
color[stack[tt]]=sig;
vis[stack[tt]]=-1;
}
while(stack[tt--]!=u);
}
}
int Slove()
{
for(int i=0;i<3*n;i++)
{
if(vis[i]==0)
{
Tarjan(i);
}
}
for(int i=0;i<n*3;i++)
{
if(color[i]==color[3*n+i])return 1;
}
return 0;
}
int main()
{
while(~scanf("%d%d",&n,&m))
{
init();
for(int i=0;i<n;i++)
{
int a,b,c;
scanf("%d%d%d",&a,&b,&c);
add(a+3*n,b);
add(a+3*n,c);
add(b+3*n,a);
add(c+3*n,a);
}
for(int i=0;i<m;i++)
{
int x,y;
scanf("%d%d",&x,&y);
add(x,y+3*n);
add(y,x+3*n);
}
int judge=Slove();
if(judge==1)printf("no\n");
else printf("yes\n");
}
}