容斥原理 集合计数

45 篇文章 0 订阅
36 篇文章 0 订阅

问题 J: 集合计数
时间限制: 1 Sec 内存限制: 128 MB
题目描述
一个有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≤1000000;0≤K≤N;

当前集合的数量为2^n个。然后我们固定k个元素为交集,也就是这k个元素必选,集合数量还剩下2^(n-k)个。选择方案总数就是2^(2^(n-k))。再枚举k,总方案C(n,k)*2^(2^(n-k)),很明显会出现重复的情况。以此类推,有k+1个交集的情况就是C(n,k+1)*2(2^(n-k-1))把k+1的剪掉,把k+2的再加回来。。。但是注意要枚举是哪一部分重了。
最终方案是 C(n,k)*2^(2^(n-k))-C(n,k+1)*2^(2^(n-k-1))*C(k+1,k)+…..
阶乘预处理,逆元预处理,2^(2^a)==2((2^a)%phi(mod)-phi(mod))。2的幂%phi(mod)预处理。。。。就会很快了。

#include <cstdio>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <cstring>
#define p 1000000007
#define N 1000000
#define ll long long
using namespace std;
int n,k;
ll ans,a[N+5],b[N+5],xp[N+5];
ll cheng(ll x,ll m){llans=1;for(;m;m>>=1,x=x*x%p)if(m&1)ans=ans*x%p;return ans;}
ll C(int n,int m){return (a[n]*b[m]%p)*b[n-m]%p;}
void init()
{
    a[0]=b[0]=xp[0]=1;
    for(ll i=1;i<=n;i++)a[i]=a[i-1]*i%p;
    for(int i=1;i<=n-k;i++)xp[i]=xp[i-1]*2ll%(p-1);
    b[n]=cheng(a[n],p-2);
    for(ll i=n-1;i>=1;i--)b[i]=b[i+1]*(i+1)%p;
}
int main()
{
    scanf("%d%d",&n,&k);
    init();
    for(ll i=k,f=1;i<=n;i++,f=-f)
        ans=(ans+f*C(i,k)*cheng(2,xp[n-i])%p*C(n,i)%p+p)%p;
    printf("%lld\n",ans);
}
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值