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): 1584 Accepted Submission(s): 635

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

今天比赛做的题，因为脑残WA了一次。

建图

一：对于一个队的a，b，c 则有：
1，a不去b去，a不去c去。
2，b不去a去，c不去a去。

二：对于一对队员a，b 则有：
1，a不去b去。
2，b不去a去。

我用 i 表示 i 去，i + 3*T表示 i 不去。

下面就是 求SCC，判断是否矛盾即可。

AC代码：

#include <cstdio>
#include <cstring>
#include <queue>
#include <stack>
#include <vector> 
#include <algorithm>
#define MAXN 7000
#define MAXM 200000+10
#define INF 1000000
using namespace std;
struct Edge
{
	int from, to, next;
}edge[MAXM];
int head[MAXN], edgenum;
int low[MAXN], dfn[MAXN];
int dfs_clock;
int sccno[MAXN], scc_cnt;
stack<int> S;
bool Instack[MAXN];
int T, M;
void init()
{
	edgenum = 0;
	memset(head, -1, sizeof(head));
}
void addEdge(int u, int v)
{
	Edge E = {u, v, head[u]};
	edge[edgenum] = E;
	head[u] = edgenum++; 
}
void getMap()
{
	int a, b, c;
	for(int i = 1; i <= T; i++)
	{
		scanf("%d%d%d", &a, &b, &c);
		addEdge(a + 3*T, b);//a不去 b去 
		addEdge(a + 3*T, c);//a不去 c去 
		addEdge(b + 3*T, a);//b不去 a去 
		addEdge(c + 3*T, a);//c不去 a去 
	}
	while(M--)
	{
		scanf("%d%d", &a, &b);
		//addEdge(a + 3*T, b);
		//addEdge(b + 3*T, a);
		addEdge(b, a + 3*T);
		addEdge(a, b + 3*T); 
	}
}
void tarjan(int u, int fa)
{
	int v;
	low[u] = dfn[u] = ++dfs_clock;
	S.push(u);
	Instack[u] = true;
	for(int i = head[u]; i != -1; i = edge[i].next)
	{
		v = edge[i].to;
		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_cut(int l, int r)
{
	memset(low, 0, sizeof(low));
	memset(dfn, 0, sizeof(dfn)); 
	memset(sccno, 0, sizeof(sccno));
	memset(Instack, false, sizeof(Instack));
	dfs_clock = scc_cnt = 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_cut(0, 6*T-1);//求SCC 
		solve();
	}
	return 0;
}