CODEVS-1074-食物链

1074 食物链 2001年NOI全国竞赛

 

时间限制: 3 s
空间限制: 64000 KB
题目等级 : 钻石 Diamond
题解
题目描述 Description
动物王国中有三类动物 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 Description
第一行是两个整数N和K，以一个空格分隔。 　　

以下K行每行是三个正整数D，X，Y，两数之间用一个空格隔开，其中 D 表示说法的种类。 　　

若D=1，则表示X和Y是同类。 　　

若D=2，则表示X吃Y。

输出描述 Output Description
只有一个整数，表示假话的数目。

样例输入 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

数据范围及提示 Data Size & Hint
输入文件

对7句话的分析 100 7

1 101 1　　假话

2 1 2　　 真话

2 2 3　　 真话

2 3 3　　 假话

1 1 3　　 假话

2 3 1　　 真话

1 5 5　　 真话

 

 

1074-食物链

 

思路：第一次做带权并查集，自己想了好久，开始是想分三个集合表示他们的关系，但是各动物间的关系不好处理，最后看了大佬的这篇文章【POJ1182】食物链，思路+数据+代码，可能是史上关于这道题最详细的解题报告，陆陆续续看了两天才搞懂。。。大家可以看看这篇题解，下面谈谈我看完该题解自己的理解。

该题目可以用一个数组id[]来处理他们的关系，每个动物有一个父亲节点，之间又有同类，吃，被吃三种关系。因此要用结构来表示一个动物元素：

struct node{
int parent; //父亲编号 
int relation; //对于父亲的关系：0-同类， 1-父爱子， 2-子爱父 
}id[MAX_N];

对于relation的选取是个关键。。。对于输入 d,x,y 关系relation=d-1

题目大致思路：首先初始化为每个节点看成一个集合，即 id[i].parent=i;  id[i].relation=0;   每个集合有一个根节点。

集合中每个元素的父类都为根节点，对于集合间的处理只要处理集合的根节点就行了。

输入： d,x,y   （x为父类，y为子类，d为x y间的关系）

如果x,y属于两个不同的集合，由于集合间没有交集，肯定没有错误的关系，因此可以通过处理合并成一个集合。

若x,y属于同一个集合的元素，判断x,y关系是否出错，可以通过下面关系图来判断：

其中p为集合根节点，  可以通过处理 y->x，x->p的关系ralation得到y->p的关系Py,在用id[y].relation与Py比较即可判断是否有错。若两者不相等则说明有错。

 

首先关于处理两点x,y之间的关系： d,x,y           这个很明显， id[y].parent=x;id[y].relation=y;

1. 若x,y属于同一集合

那么怎么把y对x的关系转化到集合的根节点上去呢？

首先由于集合的每个元素都已经是父类为根节点（设为P）了，因此id[x].parent=P,现在只要处理y->x和x->P来求得

y->p的关系，可以用穷举法推一下： 

          父亲（i）  儿子（j）   儿子与爷爷 （ (i + j)%3 ）

 

               0             0                       = 0 
               0             1                       = 1
               0             2                       = 2                1             0                       = 1 
               1             1                       = 2 
               1             2                       = 0 
               2             0                       = 2 
               2             1                       = 0 
               2             2                       = 1 

 

        嗯，这样可以看到，( 儿子relation + 父亲relation ) % 3 = 儿子对爷爷的relation 

  这样就可以求得y->P的关系，同时这也是路径压缩的节点算法（Find()） 。

Find()函数返回编号的父亲节点，同时对搜索路径压缩。

那么只要比较id[y].relation与求得的y->P的关系Py,若不相等则说明有错。

2. 若x,y 不在同一集合，则需要合并为同一集合。

要使x,y所在集合合并，只需要将y集合的根节点的父亲设置为x集合的根节点即可。即

y0=Find(y); x0=Find(x);

id[y0].parent=x0;

但是y0与x0之间的关系是什么呢？ 这就是需要思考的地方。

由上图，我们已知的相关值有 

x->x0的relation：a=id[x].relation

y->x 的relation：b=d-1;

y->y0的realation: c=id[x].relation

而现在要求得p=id[y0].relation. 而上文已知求节点到其父亲的父亲的关系relation的公式，那么可以求得y->x0的关系relation 为 (a+b)%3 

那么 p的值为 y0->x0的ralation = id[y0].relation=((a+b)%3+y0->y的relation)%3

那么只要知道y0->y的relation就可以知道p值了

根据Y与y的关系c，可以逆推y0与Y的关系 ，用穷举法可以轻松推出来为  (3-c)%3

       y->y0                 y0->y

         0             ( 3 - 0 ) % 3 = 0 
         1             ( 3 - 1 ) % 3 = 2
         2             ( 3 - 2 ) % 3 = 1 

由上知,x,y两个集合合并（union()）的公式为：

id[y0].parent=x0;

id[y0].relation=((a+b)%3+(3-c)%3)%3=(a+b+3-c)%3

 

 

#include<iostream>
using namespace std;

const int MAX_N=50005;
struct node{
int parent;		//父亲编号 
int relation;	//关系：0-同类， 1-父爱子， 2-子爱父 
}id[MAX_N];
int n,m,ans;

int Find(int x);
void Union(int x,int y,int d);
int main()
{
	int d,x,y;
	ios::sync_with_stdio(false);
	cin.tie(0);
	cin>>n>>m;
	for(int i=0;i<=n;++i)
	{
		id[i].parent=i;
		id[i].relation=0;
	}
	for(int i=0;i<m;++i)
	{
		cin>>d>>x>>y;
		if(x>n||y>n){
			ans++;
		}else	if(Find(x)==Find(y)){
			if((d==1&&id[x].relation!=id[y].relation)||
				(d==2&&id[y].relation!=(id[x].relation+d-1)%3))
				ans++;
		}else	Union(x,y,d);
	}
	cout<<ans<<endl;
	return 0;
}

int Find(int x)	//节点间关系+路径压缩 
{
	int par=id[x].parent;
	if(id[x].parent!=x){
		id[x].parent=Find(id[x].parent);
		id[x].relation=(id[x].relation+id[par].relation)%3;
	}
	return id[x].parent;
}

void Union(int x,int y,int d)	//集合合并：y集合根节点 指向 x集合根节点 
{
	int x0=Find(x);
	int y0=Find(y);
	id[y0].parent=x0;
	id[y0].relation=(3-id[y].relation+d-1+id[x].relation)%3;
}