Twenty Questions UVA - 1252 （状态压缩dp）

题目链接：点击打开链接

题目大意：给出n个物体，每个物体有s个特征，每一次询问可以询问某个特征哪些有哪些没有，问最小询问多少次可以确认任意一个物体。

题目思路：首先这道题的题意我感觉十分变扭，有点不好理解，其实在询问的过程中就是在构建一个新的01串，直到这个串只与所给串中的一个相同2，或者没有一个与之相同，

所以问题就变成了，怎样构建一个·这样的01串使得与所给串中只有一个相同，或者一个也没有，注意没有构建的位置默认为0，那么这样的话，显然就是一个多阶段多决策问题了，也就是dp问题了，自然就要想到用状压dp，那么我们怎么定义状态呢，这里需要用到一点经验或者说套路，既然我们的目的是要去构建这个新串，那么自然在我们所选的特征值中会有一些特征是符合要求有一些不符合要求，那么我们就可以这样定义状态，dp[setfa][setson]，setfa为所选泽的所有特征值，setson为有用的特征值集合，呢么转移的时候，我们去选择特征值，对于当前选择的这个特征值有两种转移方式，一种时认为有用的，一种时认为没用的，取最大值，剩下的就是注意一下边界了，边界就是看是否setson唯一，是就返回0，最后说一下判断唯一的方法，就是求出每一个物体与setson的交集，看是否与setson相等，复杂度（m+n)3^m

ac代码：

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<map>
#include<queue>
#include<iostream>
#include<sstream>
#include<cmath>
#include<vector>
#define LL long long
#define INF 0x3f3f3f3f
using namespace std;
const int maxn = 1<<11;
int dp[maxn+10][maxn+10];
int s,n;
int st[130];
char ss[50];
int dfs(int setfa,int setson)
{
 //   cout<<"fuck"<<endl;
    if(dp[setfa][setson]!=INF)
        return dp[setfa][setson];
    int num = 0;
    for(int i = 1;i<=n;i++){
        if((st[i]&setfa)==setson)
            num++;
    }
    if(num<=1)
        return dp[setfa][setson]=0;
    for(int i = 0;i<s;i++){
        if((setfa&(1<<i))==0)
        {
            dp[setfa][setson] = min(dp[setfa][setson],max(dfs(setfa|(1<<i),setson),dfs(setfa|(1<<i),setson|(1<<i)))+1);
        }
    }
    return dp[setfa][setson];
}
int main()
{
    while(~scanf("%d%d",&s,&n)){
            if(!s&&!n)
                return 0;

        memset(dp,INF,sizeof(dp));
        memset(st,0,sizeof(st));
        for(int i = 1;i<=n;i++){
           scanf("%s",ss);
           //cout<<ss<<endl;
           int len  = strlen(ss);
           for(int j = 0;j<len;j++){
                if(ss[j]=='1'){
                    st[i] |= (1<<j);
                }
           }
        } //cout<<"fuck"<<endl;
           dfs(0,0);
           printf("%d\n",dp[0][0]);
    }
}