100道动态规划——12 UVA 1252 Twenty Questions 状态压缩，记忆化搜索，带一点小小的优化

好吧，这道题目我没有做出来。

总之想的状态已经很到正解的边上了，就差一点点，诶，加油呀！

定义dp[s][s0]表示当前猜了s特性而心中想的物品被猜中的特性是s0（注：此处的s和s0均为集合，第k位上的1表示第k个特性在这个集合中）最少还需要猜出心中的物品的次数

我们猜了|s|次，有一些特性属于心中想的物品，有些不是，因此s0包含于s，但是s0不一定就是心中想的物品的全部特性。

题目是问最优策略下，我们最少能够猜多少次，也就是问，需要猜测次数最多的物品最少几次可以猜出来。

这里用的是记忆化搜索，状态转移方程是：

dp[s][s0]=min(max(dp[s+{i}][s0],dp[s+{i}][s0+{i}])+1),其中i是s中没有的特性。

说明几点：①之所以有max是因为我们需要猜测次数最多的物品

   ②有min是因为我们需要最少几次猜出来

   ③我们需要保证按照dp[s+{i}[s0]并且dp[s+{i}][s0+{i}]这两种方式猜下去的话，最后一定能够猜到某件物品。

       除开边界条件之外，假若按照两种方式猜下去得不到物品或者是一条路可以，一条路不行，那么对于这种情况的猜测实际上我们是浪费了猜测次数了的。因为我们知道所有物品的特性，一些猜了但是不能帮助我们分辨物品的特性就是浪费次数。

   ④边界条件是沿着这条路走但是最后已经没有物品了或者仅仅剩下一件物品的时候，这种情况就不用再次猜测了，可以直接分辨出来。

   ⑤用一个cnt数组预处理好每一种可能下的余剩物品次数。

Tips：搜索里面的参数a就是这上面说的s0，vis数组表明是否访问过，可以省去初始化dp数组的时间（但是好像实际上也才优化了100ms+），ca表示第几组数据，和vis数组相配合。

#include <iostream>
#include <algorithm>
#include <cstring>

using namespace std;

int dp[1<<12][1<<12],n,m,fea[130],limi,cnt[1<<12][1<<12],_find(int s,int a),vis[1<<12][1<<12],ca=1;
char c;

int main(){
    ios_base::sync_with_stdio(false);
    while(cin>>m>>n&&m){
        //memset(dp,0x3f,sizeof dp);
        cin.get();
        for(int i=0;i<m;++i)
            limi|=(1<<i);

        for(int i=0;i<n;++i){
            for(int j=0;j<m;++j)
            cin.get(c),fea[i]|=((c-'0')?(1<<j):0);
            cin.get();
        }
        for(int i=0;i<n;++i)
        for(int s=0;s<=limi;++s)
        ++cnt[s][s&fea[i]];

        cout<<_find(0,0)<<endl;
        limi=0;++ca;
        memset(fea,0,sizeof fea);
        memset(cnt,0,sizeof cnt);
    }
    return 0;
}

int _find(int s,int a){
    if(cnt[s][a]<=1)
        return 0;
    if(vis[s][a]==ca)
        return dp[s][a];
    vis[s][a]=ca;

    dp[s][a]=0x3f3f3f3f;
    for(int i=0;i<m;++i)
    if(!(s&(1<<i)))
    if(cnt[s|(1<<i)][a|(1<<i)]&&cnt[s|(1<<i)][a])
    dp[s][a]=min(dp[s][a],max(_find(s|(1<<i),a),_find(s|(1<<i),a|(1<<i)))+1);

    return dp[s][a];
}