锁 lock.cpp

【一句话题意】现在有n个人，每个人有一个重要值。一扇门有k把锁，每把锁可以有1-n把钥匙，每个人可以有1-k把钥匙。要求：所有重要值之和小于m的人聚在一起不能打开门，所有重要值之和大于等于m的人聚在一起一定能打开门。问最小的k有多大。
n<=20,m<=1e9

【分析】
这个房东的数学一定学的很好
这是一道标准的数学证明题，目前来看联赛应该不会出这一类的题。毕竟做得出来和做不出来只有两类，区分度不大。

首先我们需要构造（想象）出一个子集，使得集合中所有的人的重要值之和小于m，但再加入任意一个人之后重要值就会大于等于m。显然这样的集合会有多个，鉴于n<=20我们可以暴力枚举所有的组合，然后暴力判断子集。子集数就是锁数。下面就进行两方面的证明。

必要性：显然每个集合都至少缺一把钥匙。如果锁数k小于集合数，那么就会存在两个集合x和y同时缺同一把钥匙e。合并x、y，从定义上看它们的并集重要值之和一定大于等于m，但由于缺钥匙e，所以不能开门，与前提矛盾，故锁数一定大于等于集合数。

充分性：目的是证明锁数等于集合数时，有成立的钥匙分配方案。现在假定i号集合缺i号锁，先把所有的钥匙分给所有人，然后再按照每个集合的要求收回钥匙。发现方案再从集合外拉过来一个人一定能满足条件，所以方案成立。

然后就是用程序模拟数学证明出来的子集就可以了。
【code】

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
int n,m,ans=0;
int a[25];
int main(){
	cin>>n>>m;
	for(int i=0;i<n;i++)
		cin>>a[i];
	for(int i=0;i<(1<<n);i++){
		int sum=0,mn=1<<29;
		for(int j=0;j<n;j++){
			if(i&(1<<j)) sum+=a[j];
			else mn=min(mn,a[j]);
		}
		if(sum<m&&sum+mn>=m) ans++;
	}
	cout<<ans<<endl;
	return 0;
}