poj 1417 种类并查集+普通dp

题意就是：现在这里有两群人，一群人只会说真话，另一群人只会说假话，但你不知道这些人中哪些是说真话的，所以你就去问，然后得出一些信息，其中你只问了是不是说真话的人这一个问题。现在让你去判断这两群人中哪些人是说真话的，如果可以判断请按照升序把说真话的人的编号说出，如果不能，输出no

分析：首先对于这道题，我们可以很明显的看出这是一个牵扯到分类的问题，所以要有使用并查集的意识，然后就是去思考如何判断哪些人是说真话的，这里我们用的是判断这p个人的分法是否唯一，从而避免纠结于判断个人的真假问题。下面就是如何根据题意分类，我们可以看出如果一个人说另一个人是说真话的，那么这两个人应该是同类的，（假设a说b是说真话的，a若为说谎话的，那这句话为假，则b也为说假话的，反之也是这样）这样我们就可以在a和b之间建立联系，这个联系的意义是判断这个节点是否和父节点同类，从而得出多个集合，每个集合都会有一群跟父节点同类的和不同类的，然后把这几个集合同类的相加，如得出再所有的集合相加的情况下人数为p的分法唯一，则代表可以分辨。这里又产生一个问题：这p个人一定全部是说真话的？因为在题目中已经告知说真话的人就是p人，那么既然组成p人的方法唯一那么，很显然这个组法一定是说真话的人

代码：

#include<cstdio>
#include<cstdlib>
#include<iostream>
#include<cstring>

using namespace std;

const int maxn=610;
int dp[maxn][maxn],tag[maxn][2],ranks[maxn],pre[maxn],path[maxn][maxn],road[maxn][maxn],re[maxn];

int find(int x)
{
    if(pre[x]==x)   return x;
    int px=find(pre[x]);
    ranks[x]^=ranks[pre[x]];//
    pre[x]=px;
    return pre[x];
}
void join(int x,int y,int d)
{
    int px=find(x);
    int py=find(y);
    if(px!=py)
    {
        pre[py]=px;
        ranks[py]=ranks[x]^ranks[y]^d;//ranks[x]表示x与父节点是否是同类，若rank值为0则为同类。
    }
    return ;
}

void ini()
{
    for(int i=1;i<=maxn;i++)
    {
        pre[i]=i;
        ranks[i]=0;
    }
    memset(path,0,sizeof (path));//用来后面的路径记录
    memset(dp,0,sizeof(dp));//dp[i][j]表示统计到第i个集合人数为j时的方法数
    memset(tag,0,sizeof(tag));//计算每个集合中跟父节点同类和异类的个数。
    memset(road,0,sizeof(road));//标记路径
    memset(re,0,sizeof(re));//统计集合并给每个集合标记一个数
    return ;
}

void print(int tot,int p,int q)
{
    for(int i = tot,j = p; i > 0; i--)
    {
        if(road[i][j] == tag[i][0])
        {
            path[i][0] = 1;
        }
        else{
            path[i][1] = 1;
        }
        j -= road[i][j];
    }
    for(int i = 1;i <= p+q;i++)
    {
        if(path[ re[find(i) ]][ ranks[i] ]==1)
        {
            printf("%d\n",i);
        }
    }
    printf("end\n");
    return ;
}

void solve(int tot,int p,int q)
{
    dp[0][0]=1;
    for(int i=1;i<=tot;i++)
    {
        for(int j=0;j<=p+q;j++)
        {
            if(j-tag[i][0]>=0&&dp[i-1][j-tag[i][0]])
            {
                dp[i][j] += dp[i-1][ j- tag[i][0] ];
                road[i][j] = tag[i][0];
            }
            if( j - tag[i][1] >= 0 && dp[i-1][ j-tag[i][1] ] )
            {
                dp[i][j] += dp[i-1][ j-tag[i][1] ];
                road[i][j] = tag[i][1];
            }
        }
    }
    if(dp[tot][p]!=1) printf("no\n");
    else{
        print(tot,p,q);
    }
    return ;
}

int check(int p,int q)
{
    int tot=0;
    for(int i=1;i<=p+q;i++)
    {
        if(find(i)==i){
            re[i]=++tot;
        }
    }
    for(int i=1;i<=p+q;i++)
    {
        tag[ re[find(i)] ][ranks[i]]++;
    }
    return tot;
}

int main()
{
    int m,q,p;
    ios::sync_with_stdio(false);
    cin.tie(0);
    while(cin>>m>>p>>q)
    {
        if(m+p+q==0)    break;
        ini();
        for(int i=0;i<m;i++)
        {
            char wo[5];
            int a,b,d=1;
            //scanf("%d%d%s",&a,&b,wo);
            cin>>a>>b>>wo;
            if(wo[0]=='y')
            {
                d=0;
            }
            join(a,b,d);
        }
        int tot=check(p,q);
        solve(tot,p,q);
    }
   // system("pause");
    return 0;
}