Truthman or Fakeman 并查集

有n个人在玩一个身份扮演的游戏。
把这n个人编号为1,2,3…n。
其中每个人会扮演下面两种身份中的一种:
Truthman:当某个人扮演Truthman时，这个人只会说真话。
Fakeman:当某个人扮演Fakeman时，这个人只会说假话。
这n个人是互相知道身份的，但是Casya作为一个旁观者不知道任何一个人的身份。
为了让Casya有可能推断这些人的身份，这n个人说了m句话。
每句话的内容只包含某人对某人身份的一条描述，且被Casya记录为以下形式:
u,v,0 – u认为v是一个Fakeman;
u,v,1 – u认为v是一个Truthman;
当然这些话不一定都是真话，这取决于说话的人的身份。
但是可以肯定的是身份只有两种，也就是说某个人不是Truthman就是Fakeman。

Casya想知道不违反上面的条件和记录最少有多少个Fakeman，除此之外他还想得到一组在此情况下的一组合理的解—即所有人的身份。或者确定记录本来就是矛盾的所以没有任何符合条件的解。
输入描述:
第一行一个数字
T(1≤T≤30)–样例个数。
其中每个样例:
第一行两个数字
n,m(1≤n≤105,0≤m≤105)。
然后m行,每一行包含三个整数
u,v,w(1≤u,v≤n,w={0,1})
保证所有样例中∑n不超过2×106。
保证所有样例中∑m不超过2×106。

输出描述:
每个样例输出一行。
如果存在合理的解，输出一个长度为n的字符串，且只包含’0’或’1’。
其中第i个字符为’0’表示$i$是一个Fakeman，为’1’表示i是一个Truthman。并使得Fakeman的数量最少。如果有多个解符合要求，输出任意一个即可。

如果不存在任何合理的解，输出-1。

示例1
输入
2
5 4
1 2 1
2 3 0
2 4 0
1 5 0
3 3
1 2 1
1 3 0
2 3 1

输出
00111
-1

一道并查集的题目，根据题目叙述，如果一个人说另一个人是说真话的，那么不管这个人说的是不是真话，这两个人的身份是一样的，同理，如果一个人说另一个人是说假话的，这两个人的身份是相反的。按照这个思路，将所有人分类，如果在一类里面同时出现了一个人的两种身份，必然自相矛盾，直接不合理。在所有合理的情况下，用记录并查集个数的数组，让说真话的人数量尽可能多。

具体的代码实现上，利用并查集的合并和种类并查集，同在1-n表示在同一类，其余情况表示不在同一类。

AC代码

#include<iostream>
#include<stdio.h>
#include<string.h>
using namespace std;
int pre[200005];
int vis[200005];
int sz[200005];
int find(int x)
{
	if(x==pre[x])
		return x;
	else
		return pre[x]=find(pre[x]);
}
void merge(int x,int y)
{
	int fx=find(x);
	int fy=find(y);
	if(fx!=fy)
	{
		pre[fy]=fx;
		sz[fx]+=sz[fy];
	}	
	else
		return;
}
int main()
{
	int t;
	scanf("%d",&t);
	while(t--)
	{
	
		int n,m;
		scanf("%d %d",&n,&m);
		memset(pre,0,sizeof(pre));
		memset(vis,0,sizeof(vis));
		memset(sz,0,sizeof(sz));
		for(int i=1;i<=2*n;i++)
		{
			pre[i]=i;
			if(i<=n)
				sz[i]=1;	
		}
			
		for(int i=0;i<m;i++)
		{
			int u,v,w;
			scanf("%d %d %d",&u,&v,&w);
			if(w==1)
			{
				merge(u,v);
				merge(u+n,v+n);
			}
			if(w==0)
			{
				merge(u,v+n);
				merge(u+n,v);
			}
		}
		for(int i=1;i<=n;i++)//并不一定只有一个集合。所以要进行循环 
		{
			int fx=find(i);
			int fy=find(i+n);
			//对于已经确定了的分类，选取两个分类里面人数更多的作为说真话的人 
			if(fx==fy)
			{
				printf("-1\n");
				break;
			}
			if(vis[fx]==0)
			{
				if(sz[fx]>sz[fy]) 
				{
					vis[fx]=1;
					vis[fy]=-1;
				}
				else 
				{
					vis[fy]=1;
					vis[fx]=-1;
				}
			}
			if(vis[fx]==1)
				printf("1");
			else
				printf("0");
		}
		printf("\n");
	}
	return 0;
}