2079: [Poi2010]Guilds

2079: [Poi2010]Guilds

Time Limit: 10 Sec   Memory Limit: 259 MB
Submit: 446   Solved: 340
[ Submit][ Status][ Discuss]

Description

Zy皇帝面临一个严峻的问题，两个互相抵触的贸易团体，YYD工会和FSR工会，他们在同一时间请求在王国各个城市开办自己的办事处。这里有n个城市，其中有一些以双向马路相连，这两个工会要求每个城市应该做到： 1：有这个工会的办事处或 2：和另外一个符合1条件的城市有马路直接相连。（也就是每个城市必须是YYD的公会，但是又和FSR的公会的城市相连，或者是FSR的，和YYD的城市相连，或者和两个工会的城市相连）但是Zy怀疑不正当的竞争，他担心一个城市有两个工会的办事处，（就是说一个城市不能有两个工会的办事处）只将导致贸易的垄断（政治怎么学的），所以他请求他日夜栽培的你给予帮助。

Input

输入：两个整数n（1<=n<=200000）和m（1<=m<=500000），n代表城市数，m代表道路的总数，接下来m行每行两个整数ai和bi，表示城市ai和城市bi有道路相接。不会有重边。

Output

输出：如果这些公会的办事处能够不违反规则的开办则第一行输出TAK（波兰语的Yes），如果这些工会的办事处无法按照规则开办，就输出NIE（波兰语的No）。

Sample Input

7 8
1 2
3 4
5 4
6 4
7 4
5 6
5 7
6 7

Sample Output

TAK

YYD的城市是圆圈,FSR的城市是菱形.

HINT

Source

by poi

[ Submit][ Status][ Discuss]
想了半天感觉，，除非存在大小为1的连通块不然总是有解。。 建公会简称染黑/白吧，，简易证明一下，， 假如原图是一个环，随意找个起点染黑，再随意找个方向染白，如此绕一圈，这样是合法的 对这个无向图dfs得到一个dfs森林，显然森林中两棵不同树的决策互不影响 对于每棵dfs树，对根染黑，它的儿子染白，再下一层染黑。。。。。。 每一条从根到叶子的路径肯定合法，剩下的边都是返祖边，所以所有环的情况也就合法了

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<cstring>
#include<vector>
#include<queue>
#include<set>
#include<map>
#include<stack>
#include<bitset>
#include<ext/pb_ds/priority_queue.hpp>
using namespace std;

const int maxn = 2E5 + 20;

int n,m;
bool bo[maxn];

int main()
{
	#ifdef DMC
		freopen("DMC.txt","r",stdin);
	#endif
	
	cin >> n >> m;
	while (m--)
	{
		int x,y; scanf("%d%d",&x,&y);
		bo[x] = bo[y] = 1;
	}
	for (int i = 1; i <= n; i++)
		if (!bo[i]) {puts("NIE"); return 0;}
	puts("TAK");
	return 0;
}

不知这题的代码有啥好贴的。。。。。。