hdu 1824 2-sat

Let's go home

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


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
威士忌
 每个队员有两种选择,根据关系,某种选择必然会导致某种选择,就这么建图就好了
注意:队长回家,其他两个队员一定留下
其他两个队员回家,队长一定留下
队长留下不一定导致其他两个队员都留下
#include<stdio.h>
#include<string.h>
#include<vector>
#include<algorithm>
using namespace std;
const int MAX = 20010;
vector<int> edge[MAX];
int st[MAX];
int dfn[MAX],low[MAX];
int top,btype,tdfn;//btype:连通块的个数
int belong[MAX];//点属于哪个连通块
bool ins[MAX];
void dfs(int s)
{
	int i,t;
	dfn[s]=low[s]=++tdfn;
	ins[s]=true;
	st[++top]=s;
	for(i=0;i<edge[s].size();i++)
	{
		t=edge[s][i];
		if(!dfn[t])
		{
			dfs(t);
			if(low[t]<low[s]) low[s]=low[t];
		}
		else if(ins[t] && dfn[t]<low[s])  low[s]=dfn[t];
	}
	if(dfn[s]==low[s])
	{
		btype++;
		do
		{
			t=st[top--];
			ins[t]=false;
			belong[t]=btype;
		}while(t!=s);
	}
}
void SCC(int n)
{
	int i;
	top=btype=tdfn=0;
	memset(ins,false,sizeof(ins));
	memset(dfn,0,sizeof(dfn));
	for(i=1;i<=n;i++)
		if(!dfn[i])
			dfs(i);
}
int main()
{
    int i,j,k;
	int n,m;
	int a,b,c,t;
	while(scanf("%d%d",&t,&m)!=EOF)
	{
		int n=3*t;
		for(i=0;i<=2*n;i++)
			edge[i].clear();
		for(i=0;i<t;i++)
		{
			scanf("%d%d%d",&a,&b,&c);
			a++,b++,c++;
			edge[a+n].push_back(b);
			edge[a+n].push_back(c);
			edge[b+n].push_back(a);
			edge[c+n].push_back(a);
		}
		for(i=0;i<m;i++)
		{
			scanf("%d%d",&a,&b);
			a++,b++;
			edge[a].push_back(b+n);
			edge[b].push_back(a+n);
		}
		SCC(2*n);
		int flag=1;
		for(i=1;i<=n;i++)
		{
			if(belong[i]==belong[i+n])
			{
				flag=0;
				break;
			}
		}
		if(flag) printf("yes\n");
		else printf("no\n");
	}
	return 0;
}

  

posted @ 2011-11-17 17:03  Because Of You  Views(346)  Comments(0Edit  收藏  举报