True Liars

题意：神圣部落的成员都是诚实的，也就是说，他们总是说实话。而恶魔部落的成员都是骗子，也就是说，他们总是说谎。
Akira 问这些人中的某些人是否神圣。这些人非常了解彼此并且总是根据他们的特质“忠实地”回应他（他们总是说实话或总是撒谎）。他不敢问任何其他别的的问题，因为传说中一个恶魔会在他不喜欢这个问题时永远诅咒提问的人。他还有另一条重要的线索：传说提到了两个部落的人口。因为生活在这个岛上的每个人都是不朽的，所以这个数字是值得信赖的。至少在这几千年里岛上的人口都没有改变过。
你是一个优秀的计算机程序员，请你帮助 Akira 编写一个程序，根据他的问题答案对居民进行分类，帮助他脱离困境。

题解：
多个关系的合并显然可以考虑到并查集。
说真话的$a$认为b是好人，那么$a$和$b$都是好人。反之都是坏人。
如果认为是坏人的话，则$a$是好人，$b$是坏人。
$4$种情况枚举完会发现$a$和$b$在$yes$时同类，反之异类。

然后如何通过这些关系判断能够找出所有好人或者发现找不出。
事实上我们用并查集处理完之后得到多个集合，每个集合我们维护相同类别或者不同类别的关系，这个可以通过带权并查集实现，默认根节点类别为$0$。这样我们划分为两类人，我们从每个集合种取出一类人只要能满足总和为$p1$，且只有一种组合方案即可。

用$dp[i][j]$表示考虑到第$i$个集合已经组合了$j$个人。
显然有$dp[i][j]=dp[i-1][j-num[i][0]]+dp[i-1][j-num[i][1]$
$num[i][0/1]$表示第$i$个集合类别为$0$的数目。
最后倒序推回去判断选择的是那类人即可。

具体操作需要点码力。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<string>
#include<algorithm>
#include<vector>
#include<queue>
#include<set>
#include<map>
#include<stack>
#define ll long long
#define ull unsigned long long
#define FOR(i,a,b) for(int i=a;i<=b;i++)
#define inf 0x3f3f3f3f
using namespace std;

const ll mod = 1e9+7;
const int maxn = 200050;

int n,p1,p2;
int f[maxn];
int dp[2020][1050];
int value[2020],num[2020][2],Map[2020];
int choose[2020];

int find(int x){
    if(f[x]!=x){
        int t=f[x];
        f[x]=find(f[x]);
        value[x]=(value[x]+value[t])%2;
    }
    return f[x];
}

int main(){
    while(scanf("%d%d%d",&n,&p1,&p2)&&(n||p1||p2)){
        for(int i=1;i<=p1+p2;i++)f[i]=i;
        memset(dp,0,sizeof(dp));
        memset(num,0,sizeof(num));
        memset(value,0,sizeof(value));
        memset(Map,-1,sizeof(Map));
        memset(choose,-1,sizeof(choose));
        for(int i=1;i<=n;i++){
            int x,y;char str[7];
            scanf("%d%d%s",&x,&y,str);
            int xx=find(x),yy=find(y);
            if(xx==yy)continue;
            if(str[0]=='y'){
                f[yy]=xx;
                value[yy]=(value[x]+value[y])%2;
            }
            else{
                f[yy]=xx;
                value[yy]=(value[x]+value[y]+1)%2;
            }
        }
        int cnt=0;
        for(int i=1;i<=p1+p2;i++){
            int fa=find(i);
            if(Map[fa]==-1)Map[fa]=++cnt;
            num[Map[fa]][value[i]]++;
        }
        dp[0][0]=1;
        for(int i=1;i<=cnt;i++){
            for(int j=0;j<=p1;j++){
                if(j>=num[i][0])dp[i][j]=dp[i-1][j-num[i][0]];
                if(j>=num[i][1])dp[i][j]+=dp[i-1][j-num[i][1]];
            }
        }
        if(dp[cnt][p1]!=1)puts("no");
        else{
            int j=p1;
            for(int i=cnt;i>=1;i--){
                if(dp[i][j]==dp[i-1][j-num[i][0]])choose[i]=0,j-=num[i][0];
                else choose[i]=1,j-=num[i][1];
            }
            for(int i=1;i<=p1+p2;i++){
                int fa=find(i);
                if(value[i]==choose[Map[fa]])printf("%d\n",i);
            }
            puts("end");
        }
    }
}