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[][];
 char str[];
 int k;

 void work1(int i,int x,int z) {
     int t = ( << k);
     for (int j=; j<t; ++j) {
         if (((j>>(x-i+k))&)==z) dp[i][(j+t)>>] = max(dp[i][(j+t)>>],dp[i-][j]+);
         dp[i][j>>] = max(dp[i][j>>],dp[i-][j]);
     }
 }
 void work2(int i,int x,int y,int z1,int z2) {
     int t = ( << k);
     for (int j=; j<t; ++j) {
         int t1 = ((j>>(x-i+k))&) == z1,t2 = ((j>>(y-i+k))&) != z2;
         if (!(t1&&t2)) dp[i][(j+t)>>] = max(dp[i][(j+t)>>],dp[i-][j]+);
         dp[i][j>>] = max(dp[i][j>>],dp[i-][j]);
     }
 }
 int main() {
     int T,n,x,y,z;
     scanf("%d",&T);
     while (T--) {
         scanf("%d%d",&n,&k);
         memset(dp,-,sizeof(dp));
         for (int j=,t=(<<(k-)); j<t; ++j) dp[][j] = ;
         for (int j=(<<(k-)),t=(<<k); j<t; ++j) dp[][j] = ;

         for (int i=; i<=n; ++i) {
             scanf("%s%s%s%d",str,str,str,&x);
             if (str[]=='P') {
                 scanf("%s%s%s",str,str,str);
                 if (str[]=='g') z = ;
                 else z = ;
                 scanf("%s",str);
                 work1(i,x,z);
             }
             else {
                 scanf("%s%d%s%s%s",str,&x,str,str,str);
                 if (str[]=='g') z = ;
                 else z = ;
                 scanf("%s%s%d%s%s%s",str,str,&y,str,str,str);
                 work2(i,x,y,z,str[]=='g');
                 scanf("%s",str);
             }
         }
         int ans = ;
         for (int i=,t=(<<k); i<t; ++i) ans = max(ans,dp[n][i]);
         printf("%d\n",ans);
     }
     return ;
 }