HDU 1824 Let's go home 2-sat基础



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为结束。

想法：一个队a,b,c a是队长b,c是队员，b,c可以把他们看成是一个，a和b,c不能同时留下或回家，这是一个矛盾点。然后注意建图，解决。

给你的队员是矛盾对，所以你要连接其他的非矛盾对。

#include<iostream>
#include<cstring>
#include<cstdio>
#include<stack> 
using namespace std;
const int N=2000+5;
const int E=10000+5;
int T,M;
int par[N];
struct node
{
	int v,next;
}e[E];
stack<int>s;
int head[N],cnt;
int dfn[N],low[N],instack[N],paint[N],index,col;
void Init()
{
	while(!s.empty()) s.pop();
	memset(dfn,0,sizeof(dfn));
	memset(low,0,sizeof(low));
	memset(paint,0,sizeof(paint));
	memset(instack,0,sizeof(instack));
	memset(head,-1,sizeof(head));
	index=col=1;
	cnt=0;
}
void add(int a,int b)
{
	e[cnt].v=b;
	e[cnt].next=head[a];
	head[a]=cnt++;
}
int MIN(int a,int b)
{
	if(a<b) return a;
	return b;
}
void tarjan(int u)
{
	dfn[u]=low[u]=index++; 
	instack[u]=1;
	s.push(u);
	for(int i=head[u];i+1;i=e[i].next)
	{
		int v=e[i].v;
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=MIN(low[u],low[v]);
		}
		else if(instack[v])
		{
			low[u]=MIN(low[u],dfn[v]);
		}
	}
	if(dfn[u]==low[u])
	{
		int k=s.top();
		while(k!=u)
		{
			s.pop();
			paint[k]=col;
			instack[k]=0;
			k=s.top();
		}
		s.pop();
		paint[u]=col;
		instack[u]=0;
		col++;
	}
}
void Input()
{
	for(int i=0;i<T;i++)
	{
		int a,b,c;
		scanf("%d%d%d",&a,&b,&c);
		par[a]=i;
		par[b]=par[c]=i+T;
	}
	for(int i=1;i<=M;i++)
	{
		int a,b;
		scanf("%d%d",&a,&b);
		a=par[a];b=par[b];
		if(b>=T) add(a,b-T);
		else add(a,b+T);
		if(a>=T) add(b,a-T);
		else add(b,a+T);
	}
}
void treatment()
{
	for(int i=0;i<2*T;i++)
	{
		if(!dfn[i]) tarjan(i);
	}
	for(int i=0;i<T;i++)
	{
		if(paint[i]==paint[i+T])
		{
			printf("no\n");
			return;
		}
	}
	printf("yes\n");
	return;
}
int main()
{
	while(~scanf("%d%d",&T,&M))
	{
		Init();
		Input();
		treatment();
	}
	return 0;
}