- 遇到集合个数太多的情况想办法转换表达方式,再用数组存储,相当于用状态做一个映射。
- 需要得到第几个的时候就不太好s++这样枚举,适合多次枚举第几个数,再判断是否曾经枚举过。
- 分阶段的思想运用时如果需要利用阶段的状态,则更适合利用二进制枚举状态,以方便状态的表示,递归i>>i+1这种不方便表示。
- 根据题意注意题目中什么时候要用max,什么时候要用min。
- 多次枚举每一位可以得到结果,重复利用数组解决,i>>i+1选或不选的递归也可以解决此问题,重复较少但状态表示复杂。
- 考虑边界值优化,例如当有两个物品时,返回1。
题目链接:http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=36067
#include<cstdio>
#include<ctime>
#include<cstring>
#include<algorithm>
#include<cassert>
using namespace std;
const int maxn = 128;
const int maxm = 11;
int kase, n, m;
char objects[maxn][maxm + 100];
int vis[1<<maxm][1<<maxm], d[1<<maxm][1<<maxm];
int cnt[1<<maxm][1<<maxm]; //此数组表示满足当前集合的还有多少个物品?
// s: the set of features we already asked
// a: subset of s that the object has
int dp(int s, int a) {//s是询问过的子集,a是s的子集且表示拥有的状态
if(cnt[s][a] <= 1) return 0;//如果只有一个元素则不需要再访问
/*
*如果有两个物品,则最优还需要再询问一次,有三个物品则不确定。
*考虑边界值得优化条件。
*/
if(cnt[s][a] == 2) return 1;
int& ans = d[s][a];
if(vis[s][a] == kase) return ans;//免去了数组初始化的时间,利用第几种情况来标明
vis[s][a] = kase;
ans = m;//初始化为最大值
for(int k = 0; k < m; k++)
if(!(s & (1<<k))) { // 如果第k位没访问过
int s2 = s|(1<<k), a2 = a|(1<<k);//新的s2加上这个状态,新的a加上这种状态。
if(cnt[s2][a2] >= 1 && cnt[s2][a] >= 1) {//否则说明有一种情况下没有这种物品存在,无需遍历
int need = max(dp(s2, a2), // the object has feature k
dp(s2, a)) + 1; // the object doesn't have feature k
//因为要保证猜到,所以要用max。
ans = min(ans, need);//取最优值。
}
}
return ans;
}
void init() {
memset(cnt,0,sizeof(cnt));
for(int i = 0; i < n; i++) {//将每个物品初始化
int features = 0;
for(int f = 0; f < m; f++)//将字符串转换为二进制
if(objects[i][f] == '1') features |= (1<<f);
for(int s = 0; s < (1<<m); s++)//遍历所有状态
cnt[s][s & features]++;//找到s的子集,即和所求物品状态相同时物品的个数
}
}
int main() {
memset(vis, 0, sizeof(vis));
while(scanf("%d%d", &m, &n) == 2 && n) {
++kase;
for(int i = 0; i < n; i++) scanf("%s", objects[i]);
init();
printf("%d\n", dp(0, 0));
}
return 0;
}