UVA1252 20个问题

题目描述:有n个物体和m个特征，每个物体用一个01串表示，第i位为1说明该特征该物体具有。我在心里想一个这n个物体的其中一个，你每次询问一个特征，我回答这个物体是否具备这个特征，当你确定答案后把答案告诉我。假设你采取最优策略，最少询问多少次就能保证猜到？(m<=11,n<=128)

首先我们想到同一个特征最多被询问一遍，因此解的最大值为m

我们可以用二进制数字来表示物体特征的具备情况，并且由此推测可能是一个复杂状态的动态规划

我们用一个二进制集合s表示已经询问的特征，这s中既有目标物体具备的，也有不具备的。用a表示询问的s个特征中目标物体具备的特征集合，显然a是s的子集

考虑f[s][a]表示已经问了特征集合s,其中已经确认目标物体的特征集合为a时，还需要询问的最小次数。每一次的决策是下一次询问的特征。假设即将询问k特征，则可得到状态转移方程:

f[s][a]=max{f[s+{k}][a+{k}],f[s+{k}][a]}+1

以上两种情况分别表示k特征是否是目标物体的特征，将k遍历过后取所有的最小值即可

边界条件为如果只有一个物体满足"具备集合a中的所有特征，但是不具备集合s-a中的所有特征"，f[s][a]=0(因为不需要更多判断)

如果有两个物体满足上述条件，则f[s][a]=1,因为只需要一次就可以把这两者区分开

我们用cnt[s][a]表示满足上述条件的物体数，然后在动态转移之前预处理出来，就完美的解决了。可以用循环体也可以记忆化搜索，这里给出循环体的形式

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn=(1<<11);
int p,n,m,f[maxn][maxn];
int cnt[maxn][maxn],S;
void clear(){
	memset(f,0,sizeof(f));
	memset(cnt,0,sizeof(cnt));
}
int main(){
	while(scanf("%d%d",&m,&n)&&m!=0&&n!=0){
		string inp;
		S=(1<<m)-1;
		clear();
		for(int i=1;i<=n;i++){
			cin>>inp;
			p=0;
			for(int j=0;j<m;j++)p|=(inp[j]-'0')<<j;
			for(int s=0;s<=S;s++)cnt[s][s&p]++;
		}
		for(int s=S;s>=0;s--)
			for(int a=s;a>=0;a=(a-1)&s){
				if(cnt[s][a]<=1){
					f[s][a]=0;
					if(a==0)break;
					continue;
				}
				if(cnt[s][a]==2){
					f[s][a]=1;
					if(a==0)break; 
					continue;
				}
				f[s][a]=m;
				for(int i=0;i<m;i++)
					if(!(s&(1<<i))){
						int s2=s|(1<<i),a2=a|(1<<i);
						if(cnt[s2][a]>=1&&cnt[s2][a2]>=1)
							f[s][a]=min(f[s][a],max(f[s2][a2],f[s2][a])+1);
					}
				if(a==0)break;
			}
		printf("%d\n",f[0][0]);
	}
}