Wannafly挑战赛6 D-锁 (状态压缩）

题目：https://www.nowcoder.com/acm/contest/37/D

状态压缩的过程就是二进制枚举。

这题可以把，恰好差一个人重要度就大于M了，的状态都加起来就是答案

。。。。。

（根本不明白为啥是这样）

官方题解：

答案是这样的居民子集个数q:重要度的和不足s,但加入任何一个新居民都将导致重要度的和大于等于s. 必要:由于上面的集合重要度都不够,他们都至少缺一把锁。若不足q把锁,这些子集中必有两个u,t缺同一把锁l。把这两个子集u和t并起来,仍然缺l这把锁,无法开门，但现在子集的重要度已经达到s了,与题目要求矛盾.所以合法的解至少需要q把锁.充分:一共q把锁,每把锁上面各写一个这种居民的子集(互不相同).一个居民持有大部分的钥匙:他持有所有上面的子集不包括自己的锁的钥匙.可以验证这样满足要求.

注意到如果所有人加起来重要度都不够,则需要一把锁,无人有钥匙:对应全集为唯一满足上面条件的集合,不能加入任意一个居民(虚满足).

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
int a[25];

int main(){
    int n,M,ans = 0;
    scanf("%d%d",&n,&M);
    for(int i = 0;i < n;i++) scanf("%d",&a[i]);
    for(int i = 0;i < (1<<n);i++){  //二进制枚举
        LL m = 0;
        for(int j = 0;j < n;j++)
            if(i & (1<<j)) m += a[j];  //每一位对应的重要度加起来
        if(m >= M) continue;
        int flag = 1;
        for(int j = 0;j < n;j++)
            if((i&(1<<j)) == 0 && m+a[j]<M) flag = 0; //判断是不是对于每个人而言加上他都可以大于M
        ans += flag;
    }
    printf("%d\n",ans);
    return 0;
}