HAOI2018染色——容斥

Posted ylsoi

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了HAOI2018染色——容斥相关的知识,希望对你有一定的参考价值。

题目大意

loj

思路

(f_i)表示至少出现了i种颜色的方案数

[ egin{aligned} f_i&={m choose i} imes frac{(s imes i)!}{(s!)^{i}} imes {nchoose s imes i} imes (m-i)^{n-s imes i}f_i&={m choose i} imes frac{n!}{(s!)^{i} imes (n-s imes i)!} imes (m-i)^{n-s imes i}\end{aligned} ]

(g_i)表示恰好出现了i种颜色的方案数,不难得到(g_i)的容斥式子。

[ egin{aligned} g_i=&f_i-sum_{j=i+1}^{m}g_{j} imes {jchoose i}g_i=&f_i-frac{sum_{j=i+1}^{m} imes frac{g_j imes j!}{(j-i)!}}{i!} end{aligned} ]

上面是一个经典的分治FFT形式的式子,使用分治FFT可以做到(nlog^2n)

其实可以更加优化,上面的式子同样也是一个经典的二项式反演。

[ egin{aligned} f_i&=sum_{j=i}^{m}{jchoose i} imes g_{j}g_i&=sum_{j=i}^{m}(-1)^{j-i} imes {jchoose i} imes f_{j} end{aligned} ]

直接用NTT一遍求出g的值即可。

/*=======================================
 * Author : ylsoi
 * Time : 2019.3.22
 * Problem : loj2527_ntt
 * E-mail : [email protected]
 * ====================================*/
#include<bits/stdc++.h>

#define REP(i,a,b) for(int i=a,i##_end_=b;i<=i##_end_;++i)
#define DREP(i,a,b) for(int i=a,i##_end_=b;i>=i##_end_;--i)
#define debug(x) cout<<#x<<"="<<x<<" "
#define fi first
#define se second
#define mk make_pair
#define pb push_back
typedef long long ll;

using namespace std;

void File(){
    freopen("loj2527_ntt.in","r",stdin);
    freopen("loj2527_ntt.out","w",stdout);
}

template<typename T>void read(T &_){
    _=0; T f=1; char c=getchar();
    for(;!isdigit(c);c=getchar())if(c=='-')f=-1;
    for(;isdigit(c);c=getchar())_=(_<<1)+(_<<3)+(c^'0');
    _*=f;
}

string proc(){
    ifstream f("/proc/self/status");
    return string(istreambuf_iterator<char>(f),istreambuf_iterator<char>());
}

const int maxn=1e7+10;
const int maxm=1e5+10;
const int mod=1004535809;
int n,m,S,w[maxm],ans;
int fac[maxn],ifac[maxn];

int qpow(int x,int y=mod-2){
    int ret=1; x%=mod;
    while(y){
        if(y&1)ret=1ll*ret*x%mod;
        x=1ll*x*x%mod;
        y>>=1;
    }
    return ret;
}

void inc(int &x,int y){
    x+=y;
    if(x>=mod)x-=mod;
    else if(x<0)x+=mod;
}

int C(int x,int y){
    if(x<0 || y<0 || x<y)return 0;
    return 1ll*fac[x]*ifac[y]%mod*ifac[x-y]%mod;
}

namespace Poly{
    int om[maxm<<2],dn[maxm<<2],lim,cnt;
    void dft(int *A,int ty){
        if(ty==-1)reverse(A+1,A+lim);
        REP(i,0,lim-1)if(i<dn[i])swap(A[i],A[dn[i]]);
        for(int len=1;len<lim;len<<=1){
            int w=om[len<<1];
            for(int L=0;L<lim;L+=len<<1){
                int wk=1;
                REP(i,L,L+len-1){
                    int u=A[i],v=1ll*A[i+len]*wk%mod;
                    A[i]=(u+v)%mod;
                    A[i+len]=(u-v)%mod;
                    wk=1ll*wk*w%mod;
                }
            }
        }
        if(ty==-1){
            int inv=qpow(lim);
            REP(i,0,lim-1)A[i]=(1ll*A[i]*inv%mod+mod)%mod;
        }
    }
}

void init(){
    read(n),read(m),read(S);
    REP(i,0,m)read(w[i]);
    fac[0]=1;
    int lim=max(n,m);
    REP(i,1,lim)fac[i]=1ll*fac[i-1]*i%mod;
    ifac[lim]=qpow(fac[lim]);
    DREP(i,lim-1,0)ifac[i]=1ll*ifac[i+1]*(i+1)%mod;
}

int f[maxm<<2],g[maxm<<2];

using namespace Poly;

int main(){
//  File();
    init();
    REP(i,0,m)if(S*i<=n)f[i]=1ll*C(m,i)*fac[S*i]%mod*
        qpow(ifac[S],i)%mod*C(n,S*i)%mod*qpow(m-i,n-S*i)%mod*fac[i]%mod;
    REP(i,0,m)g[i]=1ll*(i&1 ? -1 : 1)*ifac[i]%mod;
    reverse(g,g+m+1);

    lim=1,cnt=0;
    while(lim<=m+m)lim<<=1,++cnt;
    if(!cnt)cnt=1;
    om[lim]=qpow(3,(mod-1)/lim);
    for(int i=lim>>1;i;i>>=1)
        om[i]=1ll*om[i<<1]*om[i<<1]%mod;
    REP(i,0,lim-1)dn[i]=dn[i>>1]>>1|((i&1)<<(cnt-1));

    dft(f,1),dft(g,1);
    REP(i,0,lim-1)g[i]=1ll*g[i]*f[i]%mod;
    dft(g,-1);

    REP(i,0,m)inc(ans,1ll*g[i+m]*w[i]%mod*ifac[i]%mod);
    printf("%d
",ans);

    return 0;
}
/*=======================================
 * Author : ylsoi
 * Time : 2019.3.21
 * Problem : loj2527
 * E-mail : [email protected]
 * ====================================*/
#include<bits/stdc++.h>

#define REP(i,a,b) for(int i=a,i##_end_=b;i<=i##_end_;++i)
#define DREP(i,a,b) for(int i=a,i##_end_=b;i>=i##_end_;--i)
#define debug(x) cout<<#x<<"="<<x<<" "
#define fi first
#define se second
#define mk make_pair
#define pb push_back
typedef long long ll;

using namespace std;

void File(){
    freopen("loj2527.in","r",stdin);
    freopen("loj2527.out","w",stdout);
}

template<typename T>void read(T &_){
    _=0; T f=1; char c=getchar();
    for(;!isdigit(c);c=getchar())if(c=='-')f=-1;
    for(;isdigit(c);c=getchar())_=(_<<1)+(_<<3)+(c^'0');
    _*=f;
}

string proc(){
    ifstream f("/proc/self/status");
    return string(istreambuf_iterator<char>(f),istreambuf_iterator<char>());
}

const int maxn=1e7+10;
const int maxm=1e5+10;
const int mod=1004535809;
int n,m,S,w[maxm],ans;
int fac[maxn],ifac[maxn];

int qpow(int x,int y=mod-2){
    int ret=1; x%=mod;
    while(y){
        if(y&1)ret=1ll*ret*x%mod;
        x=1ll*x*x%mod;
        y>>=1;
    }
    return ret;
}

int C(int x,int y){
    if(x<0 || y<0 || x<y)return 0;
    return 1ll*fac[x]*ifac[y]%mod*ifac[x-y]%mod;
}

void inc(int &x,int y){
    x+=y;
    if(x>=mod)x-=mod;
    else if(x<0)x+=mod;
}

namespace Poly{
    int om[maxm<<2],dn[maxm<<2],lim,cnt;
    void dft(int *A,int ty){
        if(ty==-1)reverse(A+1,A+lim);
        REP(i,0,lim-1)if(i<dn[i])swap(A[i],A[dn[i]]);
        for(int len=1;len<lim;len<<=1){
            int w=om[len<<1];
            for(int L=0;L<lim;L+=len<<1){
                int wk=1;
                REP(i,L,L+len-1){
                    int u=A[i],v=1ll*A[i+len]*wk%mod;
                    A[i]=(u+v)%mod;
                    A[i+len]=(u-v)%mod;
                    wk=1ll*wk*w%mod;
                }
            }
        }
        if(ty==-1){
            int inv=qpow(lim);
            REP(i,0,lim-1)A[i]=1ll*A[i]*inv%mod;
        }
    }
    void multi(int *A,int *B,int *C,int la,int lb){
        lim=1,cnt=0;
        while(lim<=la+lb)lim<<=1,++cnt;
        REP(i,0,lim-1){
            dn[i]=dn[i>>1]>>1|((i&1)<<(cnt-1));
            if(i>la)A[i]=0;
            if(i>lb)B[i]=0;
        }
        dft(A,1),dft(B,1);
        REP(i,0,lim-1)C[i]=1ll*A[i]*B[i]%mod;
        dft(C,-1);
    }
}

void math_init(){
    fac[0]=1;
    int lim=max(n,m);
    REP(i,1,lim)fac[i]=1ll*fac[i-1]*i%mod;
    ifac[lim]=qpow(fac[lim],mod-2);
    DREP(i,lim-1,0)ifac[i]=1ll*ifac[i+1]*(i+1)%mod;

    using namespace Poly;
    lim=1;
    while(lim<=m+m)lim<<=1;
    om[lim]=qpow(3,(mod-1)/lim);
    for(int i=lim>>1;i;i>>=1)
        om[i]=1ll*om[i<<1]*om[i<<1]%mod;
}

int f[maxm<<2],g[maxm<<2],ap[maxm<<2],bp[maxm<<2];

void divide(int l,int r){
    if(l==r){
        g[l]=(f[l]-1ll*g[l]*ifac[l]%mod)%mod;
        inc(ans,1ll*g[l]*w[l]%mod);
        return;
    }

    using namespace Poly;
    int mid=(l+r)>>1;

    divide(mid+1,r);

    REP(i,0,r-mid-1)ap[i]=1ll*g[i+mid+1]*fac[i+mid+1]%mod;
    REP(i,0,r-l-1)bp[i]=ifac[i+1];
    reverse(bp,bp+r-l);
    multi(ap,bp,ap,r-mid-1,r-l-1);
    REP(i,l,mid)inc(g[i],ap[i-mid-1+r-l]);

    divide(l,mid);
}

int main(){
    //File();

    read(n),read(m),read(S);
    REP(i,0,m)read(w[i]);

    math_init();

    REP(i,0,m)if(S*i<=n)
        f[i]=1ll*C(m,i)*fac[n]%mod*qpow(ifac[S],i)%mod*ifac[n-S*i]%mod*qpow(m-i,n-S*i)%mod;

    divide(0,m);

    printf("%d
",ans);

    return 0;
}

以上是关于HAOI2018染色——容斥的主要内容,如果未能解决你的问题,请参考以下文章

HAOI 2018 染色(容斥+NTT)

[HAOI2018][bzoj5306] 染色 [容斥原理+NTT]

luoguP4491 [HAOI2018]染色 广义容斥原理 + FFT

「HAOI2018」染色

P4491 [HAOI2018]染色

luogu P4491 [HAOI2018]染色