poj 1182 推理 || 简单方法

食物链

Time Limit: 1000MS		Memory Limit: 10000K
Total Submissions: 62634		Accepted: 18380

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 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

推荐博客：   这个题目就是推理占主要的

http://blog.youkuaiyun.com/c0de4fun/article/details/7318642/

#include<stdio.h>
#include<algorithm>
#include<string.h>
using namespace std;

const int maxx=50005;
int father[maxx],rank[maxx];
int n,k;

void init()
{
    for(int i=0;i<=n;i++){
        father[i]=i;
        rank[i]=0;
    }
}

int find_it(int x)
{
    if(x!=father[x]){
        int tempx=find_it(father[x]);
        rank[x]=(rank[x]+rank[father[x]])%3;
        father[x]=tempx;
    }
    return father[x];
}

bool unite(int a,int b,int num)
{
    int tx=find_it(a);
    int ty=find_it(b);
    if(tx==ty){
        if((rank[b]-rank[a]+3)%3!=num)
            return true;
        else
            return false;
    }
    father[ty]=tx;
    rank[ty]=(rank[a]+num-rank[b]+3)%3;
    return false;
}

int main()
{
    int d,x,y;
    scanf("%d%d",&n,&k);
    init();
    int ans=0;
    for(int i=0;i<k;i++){
        scanf("%d%d%d",&d,&x,&y);
        if(x>n||y>n||(x==y&&d==2))
            ans++;
        else if(unite(x,y,d-1))
            ans++;
    }
    printf("%d\n",ans);
    return 0;
}

另解

由于N和K很大，所以必须高效地维护动物之间的关系，并快速判断是否产生了矛盾。并查集是维护 “属于同一组” 的数据结构，但是在本题中，并不只有属于同一类的信息，还有捕食关系的存在。因此需要开动脑筋维护这些关系。

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

① i-x 表示 “i属于种类x”。

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

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

1）第一种，x和y属于同一种类———合并x-A和y-A、x-B和y-B、x-C和y-C。

2）第二种，x吃y—————————合并x-A和y-B、x-B和y-C、x-C和y-A。

不过在合并之前需要先判断合并是否会产生矛盾。例如在第一种信息的情况下，需要检查比如x-A和y-B或者y-C是否在同一组等信息。（一开始我一直不明白，对于两种信息都是合并，那么以后怎么分清到底是同类还是捕食关系呢，或者说如何判断是否会产生矛盾呢？后来发现，它利用3*N的数组分3段1~N,N~2N,2N~3N分别当做是A、B、C三个种类的集合，把所有可能符合的情况都会导入进去，虽然对于两种信息的操作都是合并，但合并的内容是不一样的，这样就可以在合并之前判断其是否以另一种信息合并过或者符合另一种信息。可以自己举例来理解一下）

注意下面判断是不是同一类的判断方式和联合方式

这里的解法可以理解为影子，可以参考我的另外的一片blog

http://blog.youkuaiyun.com/summer__show_/article/details/52006792

上面就是用这个方法的

#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;

#define MAXN 150010
int father[MAXN];

int find_it(int x)
{
    int tempx=x,t;
    while(tempx!=father[tempx])
        tempx=father[tempx];

    while(x!=father[x])
    {
        t=father[x];
        father[x]=tempx;
        x=t;
    }
    return tempx;
}

void unin(int x,int y)
{
    int tx=find_it(x);
    int ty=find_it(y);

    if(tx!=ty)
        father[tx]=ty;
}

bool same(int x,int y)
{
    return find_it(x)==find_it(y);
}

int main()
{
    int n,k;
    int d,x,y;
    //freopen("in.txt","r",stdin);
    scanf("%d%d",&n,&k);
    for(int i=0;i<=3*n;i++)
        father[i]=i;

    int ans=0;
    for(int i=1;i<=k;i++){
        scanf("%d%d%d",&d,&x,&y);

        if(x>n||y>n){
            ans++;
            continue;
        }

        if(d==1){
            if(same(x,y+n)||same(x,y+2*n))
                ans++;
            else{
                unin(x,y);
                unin(x+n,y+n);
                unin(x+2*n,y+2*n);
            }
        }
        else{
            if(same(x,y)||same(x,y+2*n))
                ans++;
            else{
                unin(x,y+n);
                unin(x+n,y+2*n);
                unin(x+2*n,y);
            }
        }
    }

    printf("%d\n",ans);
    return 0;
}