Bzoj2839 集合计数

C. 集合计数

题目描述

一个有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;

 ab%c!=ab%c!!!卡了我好久。

这道题要用到组合数和容斥,因为交集为k的方案并不好求,但是交集至少为k的方案数比较好求,所以考虑容斥:

设提前选出来k个数,然后求交集至少为k+x时的方案数:(2^ 2(n-k-x)-1)*C(n-k,x),交集至少为k+x时,有2(n-k-x)个集合,则有2^ 2(n-k-x)种方案,但是要减去一个都不选的一种,乘C(n-k,x),然后容斥,对于x奇减偶加;

但是因为k是提前选出来的,以上并没有考虑k的方案,所以最后答案*C(n,k);

错误示范:

1 LL ans=0;
2     for(int i=0;i<=n-k;i++)
3     {
4         LL res=(inv(2,inv(2,n-k-i))-1)*C(n-k,i)%mod;
5         if(i%2)ans-=res;
6         else   ans+=res;
7         ans%=mod;
8     }

 

ab%c!=ab%c!!!但是如果把循环顺序改一下,可以发现其实inv(2,inv(2,n-k-i))是每次平方的(inv为快速幂):

#include<iostream>
#include<cstdio>
#define mod 1000000007
#define LL long long
using namespace std;
int n,k;
LL jc[1000010];

LL inv(LL a,LL b)
{
	LL ans=1;
	while(b)
	{
		if(b&1)ans=ans*a%mod;
		a=a*a%mod;
		b=b>>1;
	}
	return ans%mod;
}
LL C(LL n,LL m)
{
	if(!m)return 1;
	return jc[n] * inv(jc[m],mod-2) %mod * inv(jc[n-m],mod-2) %mod;
}
void init()
{
	jc[0]=1;
	for(int i=1;i<=n;i++)jc[i]=jc[i-1]*i%mod;
}
signed main()
{
//	freopen("in.txt","r",stdin);

	cin>>n>>k;init();
	LL ans=0,pf=2;
	for(int i=n-k;i>=0;i--)
	{
		LL res=(pf-1)*C(n-k,i)%mod;
		pf=pf*pf%mod;
		if(i%2)ans-=res;
		else   ans+=res;
		ans=(ans%mod+mod)%mod;
	}
	ans=(ans%mod+mod)%mod;
	ans=ans*C(n,k)%mod;
	cout<<(ans%mod+mod)%mod<<endl;
}

 

转载于:https://www.cnblogs.com/Al-Ca/p/11110438.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值