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;

}