hdoj--1824--Let's go home(2-sat)

Let's go home

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

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

威士忌

 

Source

HDOJ 2007 Summer Exercise（3）- Hold by Wiskey

 

Recommend

威士忌   |   We have carefully selected several similar problems for you:   1823  1826  1822  1825  1811

#include<stdio.h>
#include<string.h>
#include<queue>
#include<stack>
#include<vector>
#include<algorithm>
using namespace std;
#define MAX 100000+10
int low[MAX],dfn[MAX];
int sccno[MAX],head[MAX*2];
int t,m;
bool Instack[MAX];
int scc_cnt,dfs_clock,cnt;
stack<int>s;
struct node
{
	int u,v;
	int next;
}edge[MAX];
void init()
{
	cnt=0;
	memset(head,-1,sizeof(head));
}
void add(int u,int v)
{
	edge[cnt].u=u;
	edge[cnt].v=v;
	edge[cnt].next=head[u];
	head[u]=cnt++;
}
void getmap()
{
	int a,b,c;
	for(int i=1;i<=t;i++)
	{
		scanf("%d%d%d",&a,&b,&c);
		add(a+3*t,b);
		add(a+3*t,c);
		add(b+3*t,a);
		add(c+3*t,a);
	}
	while(m--)
	{
		scanf("%d%d",&a,&b);
		add(b,a+3*t);
		add(a,b+3*t);
	}
}
void tarjan(int u,int fa)
{
	int v;
	low[u]=dfn[u]=++dfs_clock;
	Instack[u]=true;
	s.push(u);
	for(int i=head[u];i!=-1;i=edge[i].next)
	{
		v=edge[i].v;
		if(!dfn[v])
		{
			tarjan(v,u);
			low[u]=min(low[u],low[v]);
		}
		else if(Instack[v])
		low[u]=min(low[u],dfn[v]);
	}
	if(low[u]==dfn[u])
	{
		++scc_cnt;
		for(;;)
		{
			v=s.top();
			s.pop();
			Instack[v]=false;
			sccno[v]=scc_cnt;
			if(v==u) break;
		}
	}
}
void find(int l,int r)
{
	memset(dfn,0,sizeof(dfn));
	memset(low,0,sizeof(low));
	memset(Instack,false,sizeof(Instack));
	memset(sccno,0,sizeof(sccno));
	scc_cnt=dfs_clock=0;
	for(int i=l;i<=r;i++)
	if(!dfn[i])
	tarjan(i,-1);
}
void solve()
{
	for(int i=0;i<3*t;i++)
	{
		if(sccno[i]==sccno[i+3*t])
		{
			printf("no\n");
			return ;
		}
	}
	printf("yes\n");
}
int main()
{
	while(scanf("%d%d",&t,&m)!=EOF)
	{
		init();
		getmap();
		find(0,6*t-1);
		solve();
	}
	return 0;
}