POJ-1182题解

题目：食物链（NOI 2001）

动物王国中有三类动物A,B,C，这三类动物的食物链构成了有趣的环形。A吃B， B吃C，C吃A。
现有N个动物，以1－N编号。每个动物都是A,B,C中的一种，但是我们并不知道它到底是哪一种。
有人用两种说法对这N个动物所构成的食物链关系进行描述：
第一种说法是"1 X Y"，表示X和Y是同类。
第二种说法是"2 X Y"，表示X吃Y。
此人对N个动物，用上述两种说法，一句接一句地说出K句话，这K句话有的是真的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。
1） 当前的话与前面的某些真的话冲突，就是假话；
2） 当前的话中X或Y比N大，就是假话；
3） 当前的话表示X吃X，就是假话。
你的任务是根据给定的N（1 <= N <= 50,000）和K句话（0 <= K <= 100,000），输出假话的总数。
Input

第一行是两个整数N和K，以一个空格分隔。
以下K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中D表示说法的种类。
若D=1，则表示X和Y是同类。
若D=2，则表示X吃Y。

Output

只有一个整数，表示假话的数目。

Sample Input

100 7
1 101 1 
2 1 2
2 2 3 
2 3 3 
1 1 3 
2 3 1 
1 5 5

Sample Output

3

第一次见到是在一本通的训练指南上，那里给的方法很难想（对于本萌新来说），大概思想就是并查集，然而这个题解中使用了”%3“的方法来分三类，并设置了一个到父亲距离的dis数组，更新dis数组的过程比较晦涩（我数学太弱啦~），但是自己在纸上跟着代码和样例写一写就大概明白了。可是我感觉并没有学会这个方法，只是单纯的看懂了而已……以下为《一本通》题解代码（后面会有《挑战》上的题解），注释了关键地方，具体细节要自己演练~：

#include<iostream>//详细注释参见一本通训练指南P428； 
#include<cstdio>
using namespace std;
int n,k,d,ans,a,b,dis[50001],f[50001];//dis表示i到父亲的距离，f表示父亲，ans是输出结果 
int getf(int x)
{
	if(x!=f[x])
	{
		int y=f[x];
		f[x]=getf(f[x]);
		dis[x]=(dis[x]+dis[y])%3;
		//由于祖先变父亲，到父亲的距离为x到原父亲y的距离加上y到祖先的距离 
	}
	return f[x];
}
int main()
{
	scanf("%d%d",&n,&k);
	//初始化并查集 
	for(int i=1;i<=n;i++)
		f[i]=i,dis[i]=0;
		
	for(int i=1;i<=k;i++)
	{
		scanf("%d%d%d",&d,&a,&b);//d代表了关系，a，b分别为两种物种 
		if(a>n||b>n)
		{
			ans++;
			continue;
		}
		int u=getf(a),v=getf(b);	
		if(d==1)
		{
			if(a==b)
				continue;			
			if(u==v)
			{
				if(dis[a]!=dis[b])//如果父结点相同则他们到父结点的距离也相同 
					ans++;
			}
			else
			{
				dis[v]=3-dis[b];//更新距离 
				f[v]=a;//连接成一类 
				//下面d==2时也是同理 
			}
		}
		else if(d==2)
		{
			if(a==b)
			{
				ans++;
				continue;
			}
			
			if(u==v)
			{
				if((dis[a]-dis[b]+3)%3!=2)
					ans++;	
			}
			else
			{
				dis[v]=(4-dis[b])%3;
				f[v]=a;
			}
		}
	}
	printf("%d",ans);
	return 0;
}

看到了《挑战程序设计竞赛》上89页的题解，这个思路倒是好理解许多，用不上dis什么的，只要把father数组开到3倍就行了，x、x+n、x+2*n分别代表三类动物，主程序没写注释，具体看一看代码就懂了，书上只有核心代码，其余部分是我自己补的，不足之处欢迎指正：

#include<cstdio>
int n,k,t,x,y,f[150005],ans;
void init(void)//初始化并查集 
{
	for(int i=1;i<=3*n;i++)
		f[i]=i;
}
int getf(int v)//并查集的核心代码，更新关系 
{
	return v!=f[v]?f[v]=getf(f[v]):v;
}
void merge(int a,int b)//合并两点到同一集 
{
	int t=getf(a),p=getf(b);
	f[t]=p;
}
bool same(int a,int b)//判定是否在一个集合中 
{
	return getf(a)==getf(b);
}
int main()
{
	scanf("%d%d",&n,&k);
	init();
	for(int i=1;i<=k;i++)
	{
		scanf("%d%d%d",&t,&x,&y);
		if(x<1||x>n||y<1||y>n)
		{
			ans++;
			continue;
		}	
		if(t==1)
		{
			if(same(x,y+n)||same(x,y+2*n))
				ans++;
			else
			{
				merge(x,y);
				merge(x+n,y+n);
				merge(x+2*n,y+2*n);
			}
		}
		else if(t==2)
		{
			if(same(x,y)||same(x,y+2*n))
				ans++;
			else
			{
				merge(x,y+n);
				merge(x+n,y+2*n);
				merge(x+2*n,y);
			}
		}
	}
	printf("%d",ans);
	return 0;
}