并查集&求指出思路为啥WA。。

动物王国中有三类动物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

题意:

终于可以不用翻译了。。。。。

题解：

这里给出一个种不用带权并查集的方法，由于我们不知道X,Y的种类，所以我们开一个三倍大的数组，假设每种情况，X为A，X+N为B,X+N+N为C，对于第一种说法，如果，X是A,Y是B,C就是错，既判断（X,Y+N)（X,Y+N+N)是否同根。同根为错，否则，把（X，Y),(X+N,Y+N),(X+N+N，Y+N+N)合并。对于第二种说法，如果（X,Y）（X,Y+N+N)同根，为错（X不能等于Y，X不能被Y吃），否则，合并（X,Y+N）（X+N,Y+N+N)(X+N+N,Y);

代码：

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#include <set>
#include <vector>
#define eps 1e-10
#define N 50001
#define inf 1<<20
#define zero(a) (fabs(a)<eps)
#define lson (step<<1)
#define rson (step<<1|1)
using namespace std;
int n,k,ans,x,y,z;
int f[N*3];
int find(int x)
{
    return f[x]==x?x:f[x]=find(f[x]);
}
bool same(int x,int y)
{
return find(x)==find(y);
}
void mx(int x,int y)
{
if(find(x)!=find(y))
    f[find(x)]=find(y);
}
int main()
{
    scanf("%d%d",&n,&k);
    int ans=0;
    for(int i=1;i<=3*n;i++)
        f[i]=i;
    while(k--)
    {
        scanf("%d%d%d",&z,&x,&y);
        if(x>n||y>n)
        {
            ans++;
            continue;
        }
        if(z==1)
        {
            if(same(x,y+n)||same(x,y+n+n))
                ans++;
            else
            {
                mx(x,y);
                mx(x+n,y+n);
                mx(x+n+n,y+n+n);
            }
        }
        else
        {
            if(same(x,y)||same(x,y+n+n))
                ans++;
            else
            {
                mx(x,y+n);
                mx(x+n,y+n+n);
                mx(x+n+n,y);
            }
        }
    }
    cout<<ans<<endl;
}

BUT！！！！！！！！！！！！

我有个疑问，对于说法为错的理解，除了2和3这种错误外，我们判断一个说法是否为真，得找出与他矛盾的说法。例如（2，X，Y）和（2，Y，X),其中至少一个为错，我们假设前面的说法是正确的，则对于所有满足前面的说法的说法都是正确的。但是，这只是假设，有可能后面的说法是正确的，则所有满足后面说法的说法才是正确的，这样，错误的说法不就是不唯一了吗。还是说，对于一种说法是否正确，我们可以从后面证明出来，但这是一个环，并不可能推出来吧。。。。。。不懂。

小弟这还有另一个思路，求给出错误的地方，我用<set>a[N].b[N]实现，a为判断两者是否为同类，b为判断两者是否是吃与被吃的关系，对于每一个说法1，如果b[x].count(y)||b[y].count(x),既x,y是吃与被吃的关系，ans++，否则，a[x].insert(y).对于每一个说法2.如果a[x].count(y)||b[y].count(x)，既x,y是同类，或者是y能吃x的关系，ans++，否则，b[x].insert(y);

WA了，想知道为什么。。。

代码：

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#include <set>
#include <vector>
#define eps 1e-10
#define N 50001
#define inf 1<<20
#define zero(a) (fabs(a)<eps)
#define lson (step<<1)
#define rson (step<<1|1)
using namespace std;
int n,k,ans,x,y,z;
set<int> a[N],b[N];
int main()
{
    scanf("%d%d",&n,&k);
        int ans=0;
        for(int i=1;i<=k;i++)
        {
            scanf("%d%d%d",&z,&x,&y);
            if(z==1)
            {
                if(x>n||y>n)
                    ans++;
                else
                {
                    if(b[x].count(y)||b[y].count(x))
                        ans++;
                    else
                    {
                    a[x].insert(y);
                    }

                }
            }
            else
            {
                if(x==y||x>n||y>n)
                    ans++;
                else
                {
                    if(a[x].count(y)||b[y].count(x))
                        ans++;
                        else
                        {
                            b[x].insert(y);
                        }
                }
            }
        }
        printf("%d\n",ans);
    }