题目:食物链(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个动物,以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
以下K行每行是三个正整数 D,X,Y,两数之间用一个空格隔开,其中D表示说法的种类。
若D=1,则表示X和Y是同类。
若D=2,则表示X吃Y。
只有一个整数,表示假话的数目。
Sample Input
100 7 1 101 1 2 1 2 2 2 3 2 3 3 1 1 3 2 3 1 1 5 5Sample 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;
}