C17K:Lying Island

链接

题意：

　　有n个人，每个人可能会说：

• 第x个人是好人/坏人
• 如果第x个人是好人/坏人，则第y个人是好人/坏人

思路：

　　状压dp，首先每个人所说的人只能是他前面10个人，所以对于第i个人记录下，他前面十个人的情况。

　　对于第i个人，如果他说的话一个状态不冲突，那么i可以由这个状态转移。

　　注意：对于“如果第x个人是好人，那么第y个人是坏人 “，那么x是好人，y是好人是不满足的。但是除了x是好人y是坏人这种情况满足，x是坏人，也是满足的。（一定要学好语文！）

 

代码

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<iostream>
#include<cmath>

using namespace std;

int dp[5010][1050];
char str[50];
int k;

void work1(int i,int x,int z) {
    int t = (1 << k);
    for (int j=0; j<t; ++j) {
        if (((j>>(x-i+k))&1)==z) dp[i][(j+t)>>1] = max(dp[i][(j+t)>>1],dp[i-1][j]+1);
        dp[i][j>>1] = max(dp[i][j>>1],dp[i-1][j]); 
    }
}
void work2(int i,int x,int y,int z1,int z2) {
    int t = (1 << k);
    for (int j=0; j<t; ++j) {
        int t1 = ((j>>(x-i+k))&1) == z1,t2 = ((j>>(y-i+k))&1) != z2;
        if (!(t1&&t2)) dp[i][(j+t)>>1] = max(dp[i][(j+t)>>1],dp[i-1][j]+1);
        dp[i][j>>1] = max(dp[i][j>>1],dp[i-1][j]);
    }
}
int main() {
    int T,n,x,y,z; 
    scanf("%d",&T);
    while (T--) {
        scanf("%d%d",&n,&k);
        memset(dp,-1,sizeof(dp));
        for (int j=0,t=(1<<(k-1)); j<t; ++j) dp[1][j] = 0;
        for (int j=(1<<(k-1)),t=(1<<k); j<t; ++j) dp[1][j] = 1;
        
        for (int i=2; i<=n; ++i) {
            scanf("%s%s%s%d",str,str,str,&x);
            if (str[0]=='P') {
                scanf("%s%s%s",str,str,str);
                if (str[0]=='g') z = 1;
                else z = 0;
                scanf("%s",str);
                work1(i,x,z);
            }
            else {
                scanf("%s%d%s%s%s",str,&x,str,str,str);
                if (str[0]=='g') z = 1;
                else z = 0;
                scanf("%s%s%d%s%s%s",str,str,&y,str,str,str);
                work2(i,x,y,z,str[0]=='g');
                scanf("%s",str);
            }
        }
        int ans = 0;
        for (int i=0,t=(1<<k); i<t; ++i) ans = max(ans,dp[n][i]);
        printf("%d\n",ans); 
    }
    return 0;
}