zoukankan      html  css  js  c++  java
  • 容斥原理 集合计数

    问题 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
    ",ans);
    }
  • 相关阅读:
    Git 总结
    .net报错大全
    对于堆和栈的理解
    html 局部打印
    c#面试问题总结
    算法题总结
    h5-plus.webview
    堆和栈,引用类型,值类型,指令,指针
    .NET framework具体解释
    前端之间的url 传值
  • 原文地址:https://www.cnblogs.com/QTY2001/p/7688757.html
Copyright © 2011-2022 走看看