POJ1182 解题报告

食物链

Time Limit: 1000MS Memory Limit: 10000KTotal Submissions: 74326 Accepted: 22073

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

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

Output

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

Sample Input

100 71 101 1 2 1 22 2 3 2 3 3 1 1 3 2 3 1 1 5 5

Sample Output

3

Source

Noi 01

昨天晚上说了今天要写这一题的解题报告的，现在终于有空了就把它给搞定了

讲道理，我真的没想到我会在这一题上花这么多的时间wa这么多次，最坑的是这题居然是只有一组输入的，我用多组输入的方式就是一直wa一直wa

这一题和昨天晚上的POJ1703一样，用的都是并查集，不过这题难度相对要大一些

题解（我就直接照搬书上的了 = _ =）：

对于妹纸动物 i 创建三个元素i-A,i-B,i-C,并用这3*N个元素建立并查集。这个并查集维护如下信息：

1、i-x表示“i属于种类x”

2、并查集里的每一个组表示组内所有元素代表的情况都同时发生或不发生

例如，如果i-A和j-B在同一个组里，就表示i属于种类A那么j一定属于种类B，如果j属于种类B那么i一定属于种类A。因此，对于每一条信息，只需要按照下面进行操作就可以了。

第一种，x和y属于同一种类： 合并x-A，y-A；x-B,y-B；x-C,y-C

第二种，x吃y： 合并x-A、y-B; x-B,y-C; x-C,y-A

不过在合并之前，需要先判断是否会产生矛盾。例如在第一种信息的情况下，需要检查比如x-A和y-B或者y-C是否在同一组等信息

#include<iostream>#include<algorithm>#include<cstdio>using namespace std;const int maxn=50000+500;const int maxk=100000+100;int par[maxn*3];int rnk[maxn*3];int ans;int N,K;void init(int n);void unite(int x,int y);int fin(int x);bool same(int x,int y);void order_1(int x,int y);void order_2(int x,int y);int main(){    scanf("%d%d",&N,&K);    init(3*N);    ans=0;    int d,x,y;    while(K--)    {        scanf("%d%d%d",&d,&x,&y);        if(d==1) order_1(x,y);        else order_2(x,y);    }    printf("%d\n",ans);    return 0;}void order_1(int x,int y){    if(x<1||x>N||y<1||y>N)    {        ans++;        return ;    }    if(same(x,y+N)||same(x+N,y))    {        ans++;        return ;    }    unite(x,y);    unite(x+N,y+N);    unite(x+2*N,y+2*N);}void order_2(int x,int y){    if(x<1||x>N||y<1||y>N)    {        ans++;        return ;    }    if(same(x,y)||same(x+N,y))    {        ans++;        return;    }    unite(x,y+N);    unite(x+N,y+2*N);    unite(x+2*N,y);}void init(int n){    for(int i=1;i<=n;i++)    {        par[i]=i;        rnk[i]=0;    }}void unite(int x,int y){    x=fin(x);    y=fin(y);    if(x==y) return;    if(rnk[x]<rnk[y]) par[x]=y;    else    {        par[y]=x;        if(rnk[x]==rnk[y]) rnk[x]++;    }}int fin(int x){    if(par[x]==x) return x;    else return par[x]=fin(par[x]);}bool same(int x,int y){    return fin(x)==fin(y);}