codevs1074:[NOI2001] 食物链（并查集）

传送门

动物王国中有三类动物 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），输出假话的总数。

题解：并查集
话说十多年前的noi还是有点难啊。。带权并查集什么的就算了，说一说朴素的想法：

对每个点拆成1,2,3号点，考虑查询：
在查询时，如果$x_1$查询到$y_1$则表示他们是一类。查询到$y_2$则表示$x$吃$y$。查询到$y_3$则表示$y$吃$x$。接下来考虑合并：

1操作：
首先查询$x_1$的集合是否有$y_2,y_3$有则矛盾，退出。
接下来考虑怎么合并：
$x_1$所在集合的所有点，必然与$y_1$保持相同关系，直接合并即可。对于$x_2,x_3$同理。

2操作：
这个是最难想的，虽然操作看起来很简洁，其实仔细想想很神奇。

首先是$x$吃$y$，那么查询$x_1$是否有$y_3$($x$被$y$吃)，或者$y_1$（$x,y同类$），有则退出。

否则考虑怎么合并。(!!!)

1.对于与$x_1$同类的所有点（包括$x_1$）$o_1$必然满足吃$y$，那么合并$x_1,y_2$.
2.对于与$x_2$同类的点$o_1$，满足$o$吃$x$，那么必然满足$y$吃掉$o$(三角关系)，那么合并$o_1(x_2),y_3$。
3.对于与$x_3$同类的点$o_1$，满足$o$被$x$吃，那么$o,y$是同类，合并$x_3,y_1$。

所有条件都会被满足，那么查询自然是对的。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
struct IO{
    streambuf *ib,*ob;
    inline void init(){
        ios::sync_with_stdio(false);
        cin.tie(NULL);cout.tie(NULL);
        ib=cin.rdbuf();ob=cout.rdbuf();
    }
    inline ll read(){
        char ch=ib->sbumpc();ll i=0,f=1;
        while(!isdigit(ch)){if(ch=='-')f=-1;ch=ib->sbumpc();}
        while(isdigit(ch)){i=(i+(i<<2)<<1)+ch-'0';ch=ib->sbumpc();}
        return i*f;
    }
    inline void W(long long x){
        static ll buf[50];
        if(!x){ob->sputc('0');ob->sputc('\n');return;}
        if(x<0){ob->sputc('-');x=-x;}
        while(x){buf[++buf[0]]=x%10;x/=10;}
        while(buf[0])ob->sputc(buf[buf[0]--]+'0');
        ob->sputc('\n');
    }
}io;
const int Maxn=2e5+50;
int n,m,ans,anc[Maxn];
#define pre(x) x+n
#define suf(x) x+2*n
inline int getanc(int x){return anc[x]==x?x:anc[x]=getanc(anc[x]);}
inline void merge(int x,int y){if(getanc(x)==getanc(y))return;anc[getanc(x)]=getanc(y);}
int main(){
    io.init();n=io.read();m=io.read();
    for(int i=1;i<=suf(n);i++)anc[i]=i;
    for(int i=1;i<=m;i++){
        int op=io.read(),x=io.read(),y=io.read();
        if(x>n||y>n){ans++;continue;}
        if(op==1){
            if(getanc(x)==getanc(pre(y))||getanc(y)==getanc(pre(x))){ans++;continue;}
            else merge(x,y),merge(pre(x),pre(y)),merge(suf(x),suf(y));
        }else{
            if(getanc(x)==getanc(suf(y))||getanc(x)==getanc(y)||x==y){ans++;continue;}
            merge(suf(x),y);merge(pre(y),x);merge(suf(y),pre(x));
        }
    }
    io.W(ans);
}