题目

​ $laofu $出的题

​ \(n\)个离散型随机变量\(X_i\)可能的值为\([1,D]\) ,求有至少\(m\)对的概率

​ $0 \le m \le 10^9 \ , \ 1 \le n \le 10^9 \ , \ 1 \le D \le 10^5 $

题解

  • 60 pts

    观察到能配对的个数只和颜色奇数个数有关

    令\(L=min(D,n-2m)\),这是奇数个数上界

    \(dp_i,j\)表示前\(i\)个球,奇数个数为\(j\)的方案

    复杂度:\(O(Dn)\)

    如果用快速幂转移加上一些奇技淫巧可以通过13-15

  • 100pts

    $ f_i $ 表示硬点$ i $ 个颜色是奇数的方案和

    \[\begin{align}
    f_i &= (^D_i)n![x^n](\frac{e^x-e^{-x}}{2} )^i e^{(D-i)x}\\
    &= \frac{i!(^D_i)}{2^i} \sum_{j=0}^{i} \frac{(-1)^j(D-2j)^n}{j!(i-j)!}
    \end{align}
    \]

    直接把\(f_i\)卷出来,考虑二项式反演

    \[\begin{align}
    g_i &= \sum_{j \ge i}(-1)^{j-i}(^j_i) f_j \\
    即\ i!g_i &= \sum_{j \ge i}\frac{(-1)^{j-i}}{(j-i)!}\times j!f_j\\
    把 G和F都 & \ reverse \ 一下就可以卷积了
    \end{align}
    \]

    #include<bits/stdc++.h>
    #define ll long long
    #define mod 998244353
    using namespace std;
    const int N=400010;
    int D,n,m,G=3,fac[N],inv[N],ny[N],len,L,rev[N],a[N],b[N],c[N],f[N];
    void inc(int&x,int y){x+=y;if(x>=mod)x-=mod;}
    int pw(int x,int y){
    if(y<0)y+=mod-1;
    int re=1;
    while(y){
    if(y&1)re=(ll)re*x%mod;
    y>>=1;x=(ll)x*x%mod;
    }
    return re;
    }
    void ntt(int*A,int F){
    for(int i=0;i<len;++i)if(i<rev[i])swap(A[i],A[rev[i]]);
    for(int i=1;i<len;i<<=1){
    int wn=pw(G,F*(mod-1)/i/2);
    for(int j=0;j<len;j+=(i<<1)){
    int w=1;
    for(int k=0;k<i;++k,w=(ll)w*wn%mod){
    int x=A[j+k],y=(ll)w*A[j+k+i]%mod;
    A[j+k]=(x+y)%mod;A[j+k+i]=(x-y+mod)%mod;
    }
    }
    }
    if(!~F)for(int i=0;i<len;++i)A[i]=(ll)ny[len]*A[i]%mod;
    }
    void Mul(int*A,int*B,int*C){
    ntt(A,1);ntt(B,1);
    for(int i=0;i<len;++i)C[i]=(ll)A[i]*B[i]%mod;
    ntt(C,-1);
    }
    int main(){
    // freopen("pearl.in","r",stdin);
    // freopen("pearl.out","w",stdout);
    scanf("%d%d%d",&D,&n,&m);
    for(L=0,len=1;len<=D<<1;++L,len<<=1);
    ny[1]=1;for(int i=2;i<=len;++i)ny[i]=(ll)(mod-mod/i)*ny[mod%i]%mod;
    for(int i=fac[0]=inv[0]=1;i<=len;++i){
    fac[i]=(ll)fac[i-1]*i%mod;
    inv[i]=(ll)inv[i-1]*ny[i]%mod;
    rev[i]=(rev[i>>1]>>1)|((i&1)<<(L-1));
    }
    for(int i=0;i<=D;++i){
    f[i]=(ll)fac[D]*inv[D-i]%mod*pw(2,-i)%mod;
    b[i]=(ll)inv[i]*pw((D-2*i+mod)%mod,n)%mod;
    a[i]=inv[i];if(i&1)b[i]=(mod-b[i])%mod;
    }
    Mul(a,b,c);
    for(int i=0;i<=D;++i)f[i]=(ll)f[i]*c[i]%mod;
    for(int i=0;i<len;++i)a[i]=b[i]=c[i]=0;
    for(int i=0;i<=D;++i){
    a[i]=i&1?mod-inv[i]:inv[i];
    b[i]=(ll)fac[D-i]*f[D-i]%mod;
    }
    Mul(a,b,c);
    int ans=0,mn=min(D,n-2*m);
    for(int i=0;i<=mn;++i)inc(ans,(ll)inv[i]*c[D-i]%mod);
    cout<<ans<<endl;
    return 0;
    }
  • 官解

    感觉挺好玩

    谁说生成函数只能有一个未知数的???

    我们重新设计一下不用二项式反演的生成函数

    \[\begin{align}
    ans &= \sum_{i=0}^{L}n!(\frac{e^x+e^{-x}}{2}+y\frac{e^x-e^{-x}}{2})^D[x^ny^i]\\
    &= \frac{n!}{2^D} \sum_{i=0}^{L}(e^x(1+y)+e^{-x}(1-y))^D[x^ny^i]\\
    &= \frac{n!}{2^D} \sum_{i=0}^{L}\sum_{j=0}^{D}(^D_j)e^{(2j-D)x}(1+y)^j(1-y)^{D-j}[x^ny^i]\\
    &= \frac{n!}{2^D} \sum_{j=0}^{D}(^D_j)e^{(2j-D)x}[x^n] \sum_{i=0}^{L}(1+y)^j(1-y)^{D-j}[x^ny^i]\\
    \end{align}
    \]

    考虑求后面\(y\)那坨,就是某个式子的前\(L\)项和,我们知道:

\[(1+y)^i(1-y)^{D-i} = -(1+y)^{i-1}(1-y)^{D-i+1}+2(1+y)^{i-1}(1-y)^{D-i}\\
即F(D,i) = -F(D,i-1) + 2F(D-1,i-1)
\]

​ 只需要求出\(F(I,0)(I \le D)\)即可通过组合数卷出\(F(D,i)\)

  可是由于我上课没有认真听讲,所以我忘了怎么求的\(F(I,0)\)惹.......

  可能有天会突然醒悟吧....

​ upd:看了上课认真听讲的BAJim_H的题解,好吧是我太弱了.....

\[\begin{align}
F(I,0)&= \begin{cases}
0 &(I>L)\\
\sum_{i=0}^{L} (-1)^i (^I_i) &(I<L)
\end{cases}\\
&讨论第二个式子,把组合数拆开\\
&= \sum_{i=0}^{L} (^{I-1}_i)(-1)^i + \sum_{i=0}^{L-1}(^{L-1}_{i})(-1)^{i+1}\\
&= (^{I-1}_L)(-1)^L
\end{align}
\]

​ 这样只要一次卷积.

【loj3120】【CTS2019】珍珠的更多相关文章

  1. LOJ3120 CTS2019 珍珠 生成函数、二项式反演、NTT

    传送门 题目大意:给出一个长度为\(n\)的序列\(a_i\),序列中每一个数可以取\(1\)到\(D\)中的所有数.问共有多少个序列满足:设\(p_i\)表示第\(i\)个数在序列中出现的次数,\( ...

  2. [CTS2019]珍珠——二项式反演

    [CTS2019]珍珠 考虑实际上,统计多少种染色方案,使得出现次数为奇数的颜色数<=n-2*m 其实看起来很像生成函数了 n很大?感觉生成函数会比较整齐,考虑生成函数能否把n放到数值的位置,而 ...

  3. 【题解】CTS2019珍珠(二项式反演+卷积)

    [题解]CTS2019珍珠 题目就是要满足这样一个条件\(c_i\)代表出现次数 \[ \sum {[\dfrac {c_i } 2]} \ge 2m \] 显然\(\sum c_i=n\)所以,而且 ...

  4. 题解-CTS2019 珍珠

    题面 CTS2019 珍珠 有 \(n\) 个在 \([1,d]\) 内的整数,求使可以拿出 \(2m\) 个整数凑成 \(m\) 个相等的整数对的方案数. 数据范围:\(0\le m\le 10^9 ...

  5. [LOJ3120][CTS2019|CTSC2019]珍珠:生成函数+NTT

    分析 容易发现\(D \leq n - 2m\)时,任意数列都满足要求,直接判掉,下文所讨论的均为\(D > n - 2m\)的情况. 考虑把两个数列合并,显然可以认为是两个带标号对象的合并,可 ...

  6. 题解 P5401 [CTS2019]珍珠

    蒟蒻语 这题太玄学了,蒟蒻写篇题解来让之后复习 = = 蒟蒻解 假设第 \(i\) 个颜色有 \(cnt_i\) 个珍珠. \(\sum\limits_{i=1}^{n} \left\lfloor\f ...

  7. [LOJ#3120][Luogu5401][CTS2019]珍珠(容斥+生成函数)

    https://www.luogu.org/blog/user50971/solution-p5401 #include<cstdio> #include<algorithm> ...

  8. Luogu5401 CTS2019珍珠(生成函数+容斥原理+NTT)

    显然相当于求有不超过n-2m种颜色出现奇数次的方案数.由于相当于是对各种颜色选定出现次数后有序排列,可以考虑EGF. 容易构造出EGF(ex-e-x)/2=Σx2k+1/(2k+1)!,即表示该颜色只 ...

  9. [CTS2019]珍珠(NTT+生成函数+组合计数+容斥)

    这题72分做法挺显然的(也是我VP的分): 对于n,D<=5000的数据,可以记录f[i][j]表示到第i次随机有j个数字未匹配的方案,直接O(nD)的DP转移即可. 对于D<=300的数 ...

  10. 洛谷 P5401 - [CTS2019]珍珠(NTT+二项式反演)

    题面传送门 一道多项式的 hot tea 首先考虑将题目的限制翻译成人话,我们记 \(c_i\) 为 \(i\) 的出现次数,那么题目的限制等价于 \(\sum\limits_{i=1}^D\lflo ...

随机推荐

  1. ELK学习笔记之配置logstash消费kafka多个topic并分别生成索引

    0x00 filebeat配置多个topic filebeat.prospectors: - input_type: log encoding: GB2312 # fields_under_root: ...

  2. Go内存分配器可视化指南【译】【精】

    当我第一次开始尝试理解 Go 语言的内存分配器时,整个过程让我抓狂.一切看起来都像一个神秘的黑盒子.因为几乎所有技术魔法(technical wizardry)都隐藏在抽象之下,所以你需要一层一层的剥 ...

  3. 30个关于Shell脚本的经典案例(上)

    对于初学者而言,因为没有实战经验,写不出来Shell脚本很正常,如果工作了几年的运维老年还是写不出来,那就是没主动找需求,缺乏练习,缺乏经验.针对以上问题,总结了30个生产环境中经典的Shell脚本, ...

  4. Linux系统新手入门学习的四点建议

    随着计算机的普及.互联网的发展,原本黑客手中的攻城利器---Linux,渐渐进入到普通群众的视线里,让越来越多的人接触到Linux,并学习Linux进而投身到Linux运维工作中去.如果大家对Linu ...

  5. docker启动报错解决及分析(Cannot create container for service *******: cannot mount volume over existing file, file exists /var/lib/docker/overlay2/)

    现象: Cannot create container for service *******: cannot mount volume over existing file, file exists ...

  6. hive自定义函数学习

    1介绍 Hive自定义函数包括三种UDF.UDAF.UDTF UDF(User-Defined-Function) 一进一出 UDAF(User- Defined Aggregation Funcat ...

  7. Arm Qt编译Qt例程出错 GLES3/gl3.h: No such file or directory 解决方法

    工作环境 PC:Ubuntu18.04QtCreator: 4.8.2交叉编译环境:野火imxull6开发板提供的 5-编译工具链->qt交叉编译工具 在之前博客配置成功的交叉编译环境,编译Qt ...

  8. 日常bug(1)

    今天在写写代码的时候,前端找我,说我写的一个接口有可能有问题.导致前端的数据不能正常显示,我去看了一下,确实不能正常显示.问题的原因是本来前端循环遍历一个json里的数组,但是接下来的数据变成对象了. ...

  9. 下载恶意pcap包的网站汇总

    说几个我经常用的,免费的:1.  Malware  Traffic  Analysis:  http://www.malware-traffic-analysis.net/2018/index.htm ...

  10. 由Catalan数所引出的

    百度一番: 历史 ·1758年,Johann Segner 给出了欧拉问题的递推关系: ·1838年,研究热潮: –GabrielLame给出完整证明和简洁表达式: –EugèneCharlesCat ...