题目：http://poj.org/problem?id=1417
题意：输入三个数m, p, q 分别表示接下来的输入行数，天使数目，恶魔数目；
接下来m行输入形如x, y, ch，ch为yes表示x说y是天使，ch为no表示x说y不是天使(x, y为天使，恶魔的编号，1<=x,y<=p+q)；天使只说真话，恶魔只说假话；
如果不能确定所有天使的编号，输出no，若能确定，输出所有天使的编号，并且以end结尾；
注意：可能会有连续两行一样的输入；还有，若x==y，x为天使；
思路：种类并查集+dp；
我们分析输入的数据不难发现，对于输入x, y, yes，假设x为天使，则y也为为天使，若x为恶魔，那么y也为恶魔，即x, y, 同为恶魔或者天使；
对于输入x, y, no，同理可得x, y, 一者为天使一者为恶魔；即可得ch为yes时，x, y, 属同种，ch为no时， x, y属异种；
那么我们很容易就能想到种类并查集，rank[x]表示x与其父亲节点的关系，rank[x]=0表示x与其父亲节点属于同类，rank[1]表示x与其父亲节点属于异类；通过并查集将能确定相对关系的编号放在一个集合里面，每个结合里面的编号可以分为两部分，和根节点属同种的的节点，以及和根节点属于异种的节点；这样并不能直接确定答案，我们确定了划分集合的个数以及每个集合里面和根节点同种的节点数目以及异节点的数目；从每个集合里面选择一种节点，若所有选中的节点数目和为p的选择方法唯一，那么我们能够确定所有天使的编号，反之则不能；关于这个问题我们可以用dp完美解决；
事实上这个题目前面的并查集部分只是一个普通的种类并查集，这个记录路径的dp才是本题解的精妙部分；我们先用一个tot变量来存储集合个数(对于x==y的情况，我们让x单独为一个集合)，并且用gg数组来标记所有编号属于的集合；用tag数组存储每个集合两种种类的数目；dp[i][j]表示到第i个集合选择种类的和为j的方法总数，即dp[tot][p]==1时能确定答案；对于dp过程中的每个选择我们用jj数组记录，然后反推选择路径用cc数组记录路径就ok啦～
代码：
#include <iostream>
#include <stdio.h>
#include <string.h>
#define MAXN 600
using namespace std; int pre[MAXN], rank[MAXN], gg[MAXN], jj[MAXN][MAXN], tag[MAXN][], dp[MAXN][MAXN], cc[MAXN][]; int find(int x){
if(x!=pre[x]){
int px=find(pre[x]);
rank[x]^=rank[pre[x]];
pre[x]=px;
}
return pre[x];
} void jion(int x, int y, int d){
int px=find(x);
int py=find(y);
if(px!=py){
pre[py]=px;
rank[py]=rank[x]^rank[y]^d;
}
} int main(void){
int m, p, q;
while(scanf("%d%d%d", &m, &p, &q)){
if(m+p+q==){
break;
}
for(int i=; i<=p+q; i++){ //**初始话
rank[i]=;
pre[i]=i;
}
while(m--){
int x, y, d=;
char ch[];
scanf("%d%d%s", &x, &y, ch);
if(ch[]=='y'){
d=;
}
jion(x, y, d);
}
memset(gg, , sizeof(gg)); //**gg存储集合个数并且给他们编号
memset(jj, , sizeof(jj));
memset(tag, , sizeof(tag));
memset(dp, , sizeof(dp));
memset(cc, , sizeof(cc));
int tot=;
for(int i=; i<=p+q; i++){ //**统计集合个数并且编号
if(find(i)==i){
gg[i]=++tot;
}
}
for(int i=; i<=p+q; i++){ //**分别统计每个集合两种类的数目并存储到tag中
tag[gg[find(i)]][rank[i]]++;
}
dp[][]=;
for(int i=; i<=tot; i++){
for(int j=; j<=p+q; j++){ //**dp[i][j]存储到第i个集合选择种类和为j的方法数
if(j-tag[i][]>=&&dp[i-][j-tag[i][]]){
dp[i][j]+=dp[i-][j-tag[i][]];
jj[i][j]=tag[i][]; //**jj数组记录路径，即选的是1还是0
}
if(j-tag[i][]>=&&dp[i-][j-tag[i][]]){
dp[i][j]+=dp[i-][j-tag[i][]];
jj[i][j]=tag[i][];
}
}
}
if(dp[tot][p]!=){
printf("no\n");
}else{
for(int i=tot,j=p; j>&&i>; i--){ //**标记路径
if(jj[i][j]==tag[i][]){
cc[i][]=;
}else{
cc[i][]=;
}
j-=jj[i][j];
}
for(int i=; i<=p+q; i++){
if(cc[gg[find(i)]][rank[i]]){
printf("%d\n", i);
}
}
printf("end\n");
}
}
return ;
}