E - 食物链

动物王国中有三类动物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 表示 A类
x+n 表示 B类
x+2*n 表示 C类
A吃B b吃c c吃a 
*/ 
#include <iostream>
#include <cstdio>
#include <string.h>
#include <algorithm>
using namespace std;
#define N 500000
int pre[N];
int n,k;
int ans=0;
void init(int n)
{
    for(int i=1;i<=3*n;i++)
    {
        pre[i]=i;
    }
}
int find(int x)
{
    return x==pre[x]?pre[x]:find(pre[x]);
}
void maxp(int x,int y)
{
    int tx=find(x);
    int ty=find(y);
    if(tx!=ty)
    pre[tx]=ty;
}
int main()
{
    int d,x,y;
    scanf("%d%d",&n,&k);
    init(3*n);
    for(int i=0;i<k;i++)
    {
        scanf("%d%d%d",&d,&x,&y);
        if(x<=0||x>n||y<=0||y>n)/*不正确的编号*/
        {
            ans++;
            continue;
        }
        if(d==1)/*x和y同一类*/
        {
            if(find(x)==find(y+n)||find(x)==find(y+2*n))/*x-A,x-B;x-A,x-C*/
            {/*如果成立则说明之前已经确定过x,y动物之间的吃与被吃的关系,该句话与先前确定的状态产生了矛盾,*/
                ans++;
                continue;
            }
            else /*x和y属于同一类不会产生矛盾,则合并元素 x-A 和 y-A, x-B 和 y-B, x-C 和 y-C; */
            {
                maxp(x,y);
                maxp(x+n,y+n);
                maxp(x+2*n,y+2*n);
            }
        }
        else
        {
            if(find(x)==find(y)||find(x)==find(y+2*n))/*x-A 和 y-A, x-A 和 y-C*/
            {
            /*即判断”x-A, y-A为同一组, 或者x-A, y-C为同一组”是否成立. 
            即判断x, y是否已经时同类, 或者已经时y吃x的关系. 
            如果是上述其中一种, 则该句话与之前已经产生的状态矛盾, 该句话为假. */
                ans++;
                continue;
            }
            else/*x吃y不矛盾, 则合并元素 x-A 和 y-B , x-B 和 y-C, x-C 和 y-A;*/
            {
                maxp(x,y+n);
                maxp(x+n,y+2*n);
                maxp(x+2*n,y);
            } 
        }
    }
    printf("%d\n",ans);
}