UVA 1252

https://vjudge.net/problem/UVA-1252

为了叙述方便，设“心里想的物体”为W。首先在读入时把每个物体转化为一个二进制整数。不难发现，同一个特征不需要问两遍，所以可以用一个集合s表示已经询问的特征集。

在这个集合s中，有些特征是W所具备的，剩下的特征是W不具备的。用集合a来表示“已确认物体W具备的特征集”，则a一定是s的子集。

设d(s,a)表示已经问了特征集s，其中已确认W所具备的特征集为a时，还需要询问的最小次数。如果下一次提问的对象是特征k（这就是“决策”），则询问次数为：
max{d(s+{k},a+{k}),d(s+{k}, a)}+1
考虑所有的k，取最小值即可。边界条件为：如果只有一个物体满足“具备集合a中的所有特征，但不具备集合s-a中的所有特征”这一条件，则d(s,a)=0，因为无须进一步询问，已经可以得到答案。

因为a为s的子集，所以状态总数为3 m ，时间复杂度为O(m*3 m )。对于每个s和a，可以先把满足该条件的物体个数统计出来，保存在cnt[s][a]，避免状态转移的时候重复计算。统计cnt[s][a]的方法是枚举s和物体，时间复杂度为O(n*2 m )，所以总时间复杂度为O(n*2 m +m*3 m )。对于本题的规模来说O(n*2 m )可以忽略不计。

#include<iostream>
#include<algorithm>
#include<string.h>
using namespace std;
#define maxm 20
#define maxn 140
#define maxs (1<<12)-1+10
#define maxa (1<<12)-1+10
#define INF 0x3f3f3f3f
int m;//串的长度
int n;//串的个数 
int d[maxs][maxa];//init by -1
int cnt[maxs][maxa];//init by 0
int w[maxn];

void init()
{
    memset(d,-1,sizeof(d));
    memset(cnt,0,sizeof(cnt));  
}

void cal_cnt()//calculate cnt
{
    for(int s=0;s<=(1<<m)-1;s++)
    {
        for(int t=1;t<=n;t++)
        {
            int a=w[t]&s;
            cnt[s][a]++;
        }
    }
}


int dp(int s,int a)
{
    int& ans=d[s][a];
    if(cnt[s][a]==1)return 0;
    if(ans!=-1)return ans;
    int minn=INF;
    for(int i=0;i<m;i++)
    {
        int k=1<<i;
        if(k&s)
        continue;                   
        minn=min(minn,max(dp(s|k,a|k),dp(s|k,a))+1);
    }
    ans=minn;
    return minn;
}

int main()
{   
    freopen("D:\\txt.txt", "r", stdin);
    while(cin>>m>>n&&m&&n)
    {
        for(int i=1;i<=n;i++)
        {
            getchar();
            int sum=0;
            char c;
            for(int j=m-1;j>=0;j--)
            {
                cin>>c;
                if(c==49)sum|=(1<<j);
            }
            w[i]=sum;           
        }
        init();
        cal_cnt();
        cout<<dp(0,0)<<endl;
    }   
}