【状压dp】UVA1252二十个问题

版权声明: https://blog.csdn.net/Lerbon23James/article/details/79951886

题目大意:有n件物品,每件物品有m个特征,可以对特征进行询问,询问的结果是得知某个物体是否含有该特征,要把所有的物品区分出来(n个物品的特征都互不相同)至少需要多少次询问?

考虑状态的表示,可以用一个集合s1表示已经询问过的特征集合,s2表示已经确定物体有的特征集合。在每个状态下,考虑询问哪个特征。首先明确一个问题,在一个状态下,问哪个特征是由你决定,但得到什么回答就不一定了。比如询问一个所有物体中只有一个物体有的特征,如果回答yes那么一击即中。但更坏的情况是回答no,那么还得继续向下找。所以在这个状态下,就要想象对方故意难为你,回答让你询问更多次数的答案。但是选择询问什么是你自己决定的,这就是取min和max的含义。当cnt[s1][s2]=1时是边界,这时无需再询问,因为只有一个物体合法了。

细节比较难处理,cnt[s1][s2]表示询问集合s1得到含有特征集合s2的物体的个数,这个预处理开始没想出来。感觉AC是因为跟着题解的思路走的,很多细节还要再考虑。如果s1,s2状态下没有这样一个物体,也就是状态不合法。这样的话cnt[s1][s2]=0,就可以通过cnt的数值判断出状态合不合法,如果不合法就返回0,取max的时候就会忽略这个状态。然后顺着这个又可以想到,万一有两个转移状态都不合法怎么办?首先,如果走到转移这一步,cnt[s1][s2]肯定>=2,cnt[s1][s2]>=1说明此状态合法。那么询问的这个特征,目标物体要么有要么没有,所以回答有和没有的状态中肯定有一个是合法的

#include<iostream>
#include<cstdio>
#include<cstring>
#define INF (20010)
using namespace std;
int m,n,A[2020],cnt[(1<<11)+5][(1<<11)+5],dp[(1<<11)+5][(1<<11)+5];
char s[2020];
bool vis[(1<<11)+5][(1<<11)+5];
int Dfs(int s1,int s2){
	int &ans=dp[s1][s2];
	if (vis[s1][s2]) return ans;
	vis[s1][s2]=1;
	if (cnt[s1][s2]<=1) return ans=0;
	ans=INF;
	int i;
	for (i=1;i<=m;i++)
		if (!((1<<(i-1))&s1)) 
			ans=min(ans,max(Dfs(s1|(1<<(i-1)),s2|(1<<(i-1))),Dfs(s1|(1<<(i-1)),s2))+1);
	return ans;
}
void Work(){
	int i,j,len;
	memset(A,0,sizeof(A));
	memset(cnt,0,sizeof(cnt));
	memset(vis,0,sizeof(vis));
	for (i=1;i<=n;i++){
		scanf("%s",s);
		len=strlen(s);
		for (j=0;j<len;j++) if (s[j]-'0') A[i]|=(1<<j); 
	}
	for (i=0;i<=(1<<m)-1;i++)
		for (j=1;j<=n;j++)
			cnt[i][i&A[j]]++;
	printf("%d\n",Dfs(0,0));
}
int main(){
	while (cin>>m>>n){
		if (!m&&!n) break;
		Work();
	}
}


阅读更多 登录后自动展开
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页