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");
}
}