【解题报告】 POJ - 2912 Rochambeau(种类并查集好题、枚举)

原题地址

题意

有ｎ个小朋友，玩剪子石头布，其中n-1个小朋友被分为了３组（即石头、剪刀、布组）同一组的小朋友每次都只能出对应的手势，且可能存在空组。还有一个小朋友很特别，他不受限制，可以任意出剪子石头布。给ｍ组胜负关系的信息，问是否能找出这个特别的小朋友，并且要在至少获取多少局游戏信息才能确定这个特别小朋友，如果游戏逻辑出错这输出“Impossible”, 如果决定不了则输出“Can not determine”

思路

首先，我们由分组和胜负关系可以想到这题需要用并查集来做，但是一个问题是这ｍ条信息里有若干条对我们来说是没有参考价值的，即特别小朋友参与的胜负信息，这些信息会干扰我们对并查集的维护。因此这里只能用枚举法，假设第ｉ个小朋友为特别小朋友，然后每一次都根据信息做一次并查集维护，遍历每一条游戏信息，碰到有这个小朋友参与的游戏信息就忽略。若此时我们还能从剩下的信息中找到矛盾，那么证明这个小朋友不是特别小朋友，并且我们遍历到的第ｊ条信息就是我们确定这个小朋友他不特别的至少需要的信息条数。那么如果我们遍历完了所有的ｍ条信息，仍没有找到矛盾，就可以说明我们假设的是成立的。最后遍历一遍所有的ｎ个小朋友的遍历结果，如果出现了１个假设成立的情况，我们就找到了这个特别的小朋友，要确定他就是特别的小朋友，我们就要确定其他ｎ－１个小朋友都不特别，即需要获取这剩下ｎ－１个小朋友中产生矛盾时信息的最大条数的信息我们才能确定剩下ｎ－１个小朋友都不特别。那么如果最后假设成立的情况多于１，则说明无法决定，当然，如果没有假设成立的情况，就说明游戏的逻辑产生了问题。剩下的并查集实现就是那种很常见的带权并查集的写法。

代码：

#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
const static int maxn = 2010;
int n, m;
int tok = 0;
int credi[maxn];
struct child
{
    int pre;
    int revalation;
}cd[maxn];
struct msg
{
    int a, b;
    int k;
}ms[maxn];

void init()
{
    for(int i=0; i<n; i++)
    {
        cd[i].pre = i;
        cd[i].revalation = 0;
    }
}

int findfather(int x)
{
    if(cd[x].pre != x)
    {
        int temp = cd[x].pre;
        cd[x].pre = findfather(temp);
        cd[x].revalation = (cd[x].revalation+cd[temp].revalation)%3;
    }
    return cd[x].pre;
}

void Union(int a, int b, int k)
{
    int t1 = findfather(a);
    int t2 = findfather(b);
    cd[t2].pre = t1;
    cd[t2].revalation = (3-cd[b].revalation+cd[a].revalation+k) % 3;
}

int main()
{
    while(scanf("%d %d", &n, &m) != EOF)
    {
        memset(credi, 0, sizeof(credi));
        for(int t=1; t<=m; t++)
        {
            int k;
            char cmd[100];
            scanf("%s", cmd);
            int a = 0;
            int b = 0;
            int i;
            for(i = 0; i<strlen(cmd); i++)
            {
                if(cmd[i] < '0' || cmd[i] > '9')
                {
                    if(cmd[i] == '=')
                        k = 0;
                    else if(cmd[i] == '<')
                        k = 1;
                    else if(cmd[i] == '>')
                        k = 2;
                    break;
                }
                a = a*10 + cmd[i]-'0';
            }
            //cout<<cmd<<endl;
            for(i++; i<strlen(cmd); i++)
            {
                b = b*10 + cmd[i]-'0';
            }
            //cout<<a<<" "<<k<<" "<<b<<endl;
            ms[t].a = a;
            ms[t].b = b;
            ms[t].k = k;
        }
        for(int j=0; j<n; j++)
        {
            init();
            for(int i=1; i<=m; i++)
            {
                if(ms[i].a == j || ms[i].b == j)
                    continue;
                int t1 = findfather(ms[i].a);
                int t2 = findfather(ms[i].b);
                if(t1 != t2)
                {
                    Union(ms[i].a, ms[i].b, ms[i].k);
                }
                else
                {
                    if((3+cd[ms[i].b].revalation-cd[ms[i].a].revalation)%3 != ms[i].k)
                    {
                        credi[j] = i;
                        break;
                    }
                }
            }
        }
        int line = 0;
        int cnt = 0;
        int ans = 0;
        for(int i=0; i<n; i++)
        {
            if(!credi[i])
            {
                cnt++;
                ans = i;
            }
            else
                line = max(line, credi[i]);
        }
        if(cnt > 1)
            printf("Can not determine\n");
        else if(cnt == 0)
            printf("Impossible\n");
        else
            printf("Player %d can be determined to be the judge after %d lines\n", ans, line);

    }
    return 0;
}