题目传送门
题目描述
一个有N个元素的集合有${2}^{N}$个不同子集（包含空集），现在要在这${2}^{N}$个集合中取出若干集合（至少一个），使得它们的交集的元素个数为K，求取法的方案数，答案模1000000007。（是质数喔~）
输入格式
一行两个整数N,K。
输出格式
一行为答案。
样例
样例输入：
3 2
样例输出：
6
样例说明
假设原集合为{A,B,C}
则满足条件的方案为：{AB,ABC},{AC,ABC},{BC,ABC},{AB},{AC},{BC}
数据范围与提示
对于100%的数据，1≤N≤16；0≤K≤N；
题解
我也不知道为什么看到这道题就像到了组合数学和容斥，别问我为什么。
好叭～既然你这么可爱……那就……
其实，我感觉叭……这种什么什么集合的题，要是你一秒想不出来什么算法，就往容斥去想吧，个人感觉基本上就是容斥了。
反正是容斥你就赚了，不是你也不亏（反正你也不会，不不不，您是最神的）。
言归正转（其实刚才也不是废话叭～）：
首先是组合数学，既然自己很执着就往组合数学上去想吧。
显然，问题可以转化为先在n个数里选k个，然后在剩下的数中选出任意多个集合，使他们的交集为空集即可。
这时候答案即为：ans=（一堆数，我也不知道有多大）×$C_{n}^{k}$。
然后“我也不知道有多大”的数看样子很难求，它们会组成${2}^{n-k}$个集合，然后你还要从这些集合当中去选，让它们没有交集，那我估计你有钱的话可以让它先跑着，自己冷冻个几百年没准它能算完？不好说～
那么显然不能这样，怎么办？
我说了还有容斥。
那么我们考虑让它们的交集为i(i=[k,n],i∈N*)。
从这n个元素中选出i个元素，剩下的n-i个元素可以组成${2}^{n-i}$个不同的集合，然后这些集合还有${2}^{{2}^{n-i}}$-1种组合，-1是因为我们不能什么也不选。
方案数即为$C_{n}^{i}$×$C_{i}^{k}$×(${2}^{{2}^{n-i}}$-1)。
这时候就要考虑我们伟大的容斥了，奇加偶减即可。
代码时刻
#include<bits/stdc++.h>
using namespace std;
long long n,k;
long long ans;
long long jc[1000005],inv[1000005];
long long qpow(long long x,long long y,long long mod)//快速幂
{
long long ans=1;
while(y)
{
if(y%2)ans=(ans*x)%mod;
y>>=1;
x=(x*x)%mod;
}
return ans;
}
void pre_work()//预处理
{
jc[0]=1;
for(long long i=1;i<=1000000;i++)
jc[i]=(jc[i-1]*i)%1000000007;
inv[1000000]=qpow(jc[1000000],1000000005,1000000007);
for(long long i=999999;i>=0;i--)
inv[i]=(inv[i+1]*(i+1))%1000000007;
}
long long cm(long long n,long long m){return jc[n]*inv[m]%1000000007*inv[n-m]%1000000007;}//求C
int main()
{
pre_work();
scanf("%lld%lld",&n,&k);
int flag=1;//用来奇加偶减
for(long long i=k;i<=n;i++)
{
ans=(ans+(((cm(n,i)*cm(i,k))%1000000007*(qpow(2,qpow(2,n-i,1000000006),1000000007)-1))%1000000007)*flag%1000000007)%1000000007;//式子，注意容斥
flag=-flag;
}
cout<<(ans+1000000007)%1000000007;//因为最后一步可能是一个减，所以注意要+mod再%mod
return 0;
}
rp++