题目

​ $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. linux 释放系统内存命令

    1.sync 因为系统在操作的过程当中,会把你的操作到的文件资料先保存到buffer中去,因为怕你在操作的过程中因为断电等原因遗失数据,所以在你操作过程中会把文件资料先缓存.所以我们执行sync命令, ...

  2. Java字节码扩展

    异常表 代码一: public class Test03 { public void test() { try { InputStream is = new FileInputStream(" ...

  3. Tomcat组件梳理--Server

    Tomcat组件梳理--Server 1.Server组件的定义和功能概述 定义: Server组件用于描述一个启动的Tomcat实例,一个Tocmat被启动,在操作系统中占用一个进程号,提供web服 ...

  4. python爬虫-房天下-登录

    房天下-登录 本次爬取的网址为:https://passport.fang.com 一.分析请求 输入用户名和密码,点击登录按钮 请求的参数为: uid: 123456789 pwd: 64ccd42 ...

  5. 【Java基础】- Java学习路线图

    Java的学习路线图,整理以备自己学习和温习. 1.Java基础 具体内容: 1. 编程基础(开发环境配置.基础语法.基本数据类型.流程控制.常用工具类) 2. 面向对象(继承.封装.多态.抽象类.接 ...

  6. ES6 新增集合----- Set 和Map

    Sets 和数组一样,都是一些有序值的的集合,但是Sets 和数组又有所不同,首先Sets 集合中不能存有相同的值,如果你向Sets 添加重复的值,它会忽略掉, 其次Sets 集合的作用也有所不同,它 ...

  7. Vue学习之项目部分代码(十八)

    1.mian.js: // 入口文件 import Vue from "vue"; // 1.1导入路由 import VueRouter from "vue-route ...

  8. ORACLE ASMLIB

    ORACLE ASMLIB   This blog post is more of a note for myself on configuring ASMLib. ASMLib is an opti ...

  9. Clickhouse高可用配置总结

    1. 简述 Clickhouse默认是多分片单副本集群,分布式表的配置是每个分片只有一份,如果某个节点挂掉的话,则会直接导致写入或查询异常:Clickhouse是具有高可用特性的,即每个分片具有2个或 ...

  10. [Java] Eclipse中复制全限定名(Copy Qualified Name)的效果

    在Eclipse中,使用“ Copy Qualified Name”复制类的全限定名有两种效果: (1)选中工程上的java文件,右键 - Copy Qualified Name 复制的效果是带斜杠的 ...