【洛谷5月月赛】玩游戏(NTT,生成函数)

题面

Luogu

题解

看一下要求的是什么东西

\((a_x+b_y)^i\)的期望。期望显然是所有答案和的平均数。

所以求出所有的答案就在乘一个逆元就好了。

现在考虑怎么算上面那个东西。

对于单个的计算,我们可以用二项式定理直接展开

得到

\[\begin{aligned}\sum(a+b)^k&=\sum\sum_{i=0}^kC_k^ia^ib^{k-i}\\&=\sum_{i=0}^kC_k^i(\sum a^i)(\sum b^{k-i})\\&=\sum_{i=0}^k\frac{k!}{i!(k-i)!}(\sum a^i)(\sum b^{k-i})\\&=k!\sum_{i=0}^k\frac{\sum a^i}{i!}\frac{\sum b^{k-i}}{(k-i)!} \end{aligned}
\]

这样就是很明显的卷积的形式了。

现在考虑怎么计算\(\sum a^i\),

构造\(G(x)=\prod_{i=1}^n(1+a_ix)\)

然后对于\(G(x)\)求\(ln\),再给第\(i\)项乘上\(i\)就好了。

为什么?

因为是乘积的形式,所以\(ln\)之后等价于对于所有东西都先\(ln\)在求和

所以考虑一下单个的\(ln\)值是什么,然后有\(ln'(A(x))=\frac{A'(x)}{A(x)}\)

这个手动用生成函数玩一下就知道了为啥了。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define ll long long
#define RG register
#define MOD 998244353
#define MAX 888888
inline int read()
{
RG int x=0,t=1;RG char ch=getchar();
while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
if(ch=='-')t=-1,ch=getchar();
while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
return x*t;
}
int fpow(int a,int b)
{
int s=1;
while(b){if(b&1)s=1ll*s*a%MOD;a=1ll*a*a%MOD;b>>=1;}
return s;
}
int r[MAX],W[MAX];
void NTT(int *P,int len,int opt)
{
int N,l=0;
for(N=1;N<len;N<<=1)++l;
for(int i=0;i<N;++i)r[i]=(r[i>>1]>>1)|((i&1)<<(l-1));
for(int i=0;i<N;++i)if(i<r[i])swap(P[i],P[r[i]]);
for(int i=1;i<N;i<<=1)
{
int w=fpow(3,(MOD-1)/(i<<1));W[0]=1;
for(int k=1;k<i;++k)W[k]=1ll*W[k-1]*w%MOD;
for(int p=i<<1,j=0;j<N;j+=p)
for(int k=0;k<i;++k)
{
int X=P[j+k],Y=1ll*P[i+j+k]*W[k]%MOD;
P[j+k]=(X+Y)%MOD;P[i+j+k]=(X+MOD-Y)%MOD;
}
}
if(opt==-1)
{
reverse(&P[1],&P[N]);
for(int i=0,inv=fpow(N,MOD-2);i<N;++i)P[i]=1ll*P[i]*inv%MOD;
}
}
int n,m,t[MAX];
int S1[MAX],S2[MAX];
int inv[MAX];
int F[MAX],P[MAX];
int jc[MAX],jcinv[MAX];
int tmp[50][MAX],St[50],top;
void Solve(int l,int r,int *P,int *t)
{
if(l==r){P[1]=t[l];P[0]=1;return;}
int mid=(l+r)>>1,N,ls=St[top--];
Solve(l,mid,tmp[ls],t);
int rs=St[top--];
Solve(mid+1,r,tmp[rs],t);
for(N=1;N<=r-l+1;N<<=1);
NTT(tmp[ls],N,1);NTT(tmp[rs],N,1);
for(int i=0;i<N;++i)P[i]=1ll*tmp[ls][i]*tmp[rs][i]%MOD;
NTT(P,N,-1);
St[++top]=ls;St[++top]=rs;
for(int i=0;i<N;++i)tmp[ls][i]=tmp[rs][i]=0;
}
namespace Poly
{
int A[MAX],B[MAX];
void Inv(int *a,int *b,int len)
{
if(len==1){b[0]=fpow(a[0],MOD-2);return;}
Inv(a,b,len>>1);
for(int i=0;i<len;++i)A[i]=a[i],B[i]=b[i];
NTT(A,len<<1,1);NTT(B,len<<1,1);
for(int i=0;i<len<<1;++i)A[i]=1ll*A[i]*B[i]%MOD*B[i]%MOD;
NTT(A,len<<1,-1);
for(int i=0;i<len;++i)b[i]=(b[i]+b[i])%MOD;
for(int i=0;i<len;++i)b[i]=(b[i]+MOD-A[i])%MOD;
for(int i=0;i<len<<1;++i)A[i]=B[i]=0;
}
void Dao(int *a,int *b,int len)
{
for(int i=1;i<len;++i)b[i-1]=1ll*a[i]*i%MOD;
b[len]=b[len-1]=0;
}
void Jifen(int *a,int *b,int len)
{
for(int i=1;i<len;++i)b[i]=1ll*a[i-1]*inv[i]%MOD;
b[0]=0;
}
int C[MAX],D[MAX];
void ln(int *a,int *b,int len)
{
memset(C,0,sizeof(C));memset(D,0,sizeof(D));
Dao(a,C,len);Inv(a,D,len);
NTT(C,len<<1,1);NTT(D,len<<1,1);
for(int i=0;i<len<<1;++i)C[i]=1ll*C[i]*D[i]%MOD;
NTT(C,len<<1,-1);Jifen(C,b,len);
}
int E[MAX],G[MAX];
void Exp(int *a,int *b,int len)
{
if(len==1){b[0]=1;return;}
Exp(a,b,len>>1);ln(b,E,len);
for(int i=0;i<len;++i)E[i]=(MOD-E[i]+a[i])%MOD;E[0]=(E[0]+1)%MOD;
for(int i=0;i<len;++i)G[i]=b[i];
NTT(E,len<<1,1);NTT(G,len<<1,1);
for(int i=0;i<len<<1;++i)E[i]=1ll*E[i]*G[i]%MOD;
NTT(E,len<<1,-1);
for(int i=0;i<len;++i)b[i]=E[i];
for(int i=0;i<len<<1;++i)E[i]=G[i]=0;
}
}
int A[MAX],B[MAX],K;
int SA[MAX],SB[MAX];
int main()
{
n=read();m=read();
for(int i=1;i<=n;++i)A[i]=read();
for(int i=1;i<=m;++i)B[i]=read();
K=read();
inv[0]=inv[1]=1;
int len;for(len=1;len<=max(n,m)+K;len<<=1);
for(int i=2;i<(len<<1);++i)inv[i]=1ll*inv[MOD%i]*(MOD-MOD/i)%MOD;
for(int i=0;i<50;++i)St[++top]=i;Solve(1,n,S1,A);Poly::ln(S1,SA,len);top=0;
for(int i=0;i<50;++i)St[++top]=i;Solve(1,m,S2,B);Poly::ln(S2,SB,len);top=0;
for(int i=0;i<len;++i)SA[i]=1ll*SA[i]*i%MOD;
for(int i=0;i<len;i+=2)SA[i]=(MOD-SA[i])%MOD;
for(int i=0;i<len;++i)SB[i]=1ll*SB[i]*i%MOD;
for(int i=0;i<len;i+=2)SB[i]=(MOD-SB[i])%MOD;
SA[0]=n;SB[0]=m;jc[0]=jcinv[0]=1;
for(int i=1;i<len;++i)jc[i]=1ll*i*jc[i-1]%MOD;
for(int i=1;i<len;++i)jcinv[i]=1ll*jcinv[i-1]*inv[i]%MOD;
memset(A,0,sizeof(A));memset(B,0,sizeof(B));
for(int i=0;i<=K;++i)A[i]=1ll*SA[i]*jcinv[i]%MOD;
for(int i=0;i<=K;++i)B[i]=1ll*SB[i]*jcinv[i]%MOD;
for(len=1;len<=K+K;len<<=1);
NTT(A,len,1);NTT(B,len,1);
for(int i=0;i<len;++i)A[i]=1ll*A[i]*B[i]%MOD;
NTT(A,len,-1);
for(int i=1,inv=fpow(1ll*n*m%MOD,MOD-2);i<=K;++i)
{
int ans=1ll*A[i]*jc[i]%MOD*inv%MOD;
printf("%d\n",ans);
}
return 0;
}

【洛谷5月月赛】玩游戏(NTT,生成函数)的更多相关文章

  1. 洛谷4月月赛R2

    洛谷4月月赛R2 打酱油... A.koishi的数学题  线性筛约数和就可以\(O(N)\)了... #include <iostream> #include <cstdio> ...

  2. 洛谷3月月赛 R1 Step! ZERO to ONE

    洛谷3月月赛 R1 Step! ZERO to ONE 普及组难度 290.25/310滚粗 t1 10分的日语翻译题....太难了不会... t2 真·普及组.略 注意长为1的情况 #include ...

  3. 【LGR-054】洛谷10月月赛II

    [LGR-054]洛谷10月月赛II luogu 成功咕掉Codeforces Round #517的后果就是,我\(\mbox{T4}\)依旧没有写出来.\(\mbox{GG}\) . 浏览器 \( ...

  4. 【LGR-051】洛谷9月月赛

    [LGR-051]洛谷9月月赛 luogu 签到题 description 给出\(K\)和质数\(m\),求最小的\(N\)使得\(111....1\)(\(N\)个\(1\))\(\equiv k ...

  5. 「LGR-049」洛谷7月月赛 D.Beautiful Pair

    「LGR-049」洛谷7月月赛 D.Beautiful Pair 题目大意 : 给出长度为 \(n\) 的序列,求满足 \(i \leq j\) 且 $a_i \times a_j \leq \max ...

  6. 洛谷9月月赛round2

    洛谷9月月赛2 t1 题意:懒得说了 分析:模拟 代码: program flag; var a:..,..]of char; n,i,m,j,x,y,ans,k:longint; begin ass ...

  7. 「P4996」「洛谷11月月赛」 咕咕咕(数论

    题目描述 小 F 是一个能鸽善鹉的同学,他经常把事情拖到最后一天才去做,导致他的某些日子总是非常匆忙. 比如,时间回溯到了 2018 年 11 月 3 日.小 F 望着自己的任务清单: 看 iG 夺冠 ...

  8. 「P4994」「洛谷11月月赛」 终于结束的起点(枚举

    题目背景 终于结束的起点终于写下句点终于我们告别终于我们又回到原点…… 一个个 OIer 的竞赛生涯总是从一场 NOIp 开始,大多也在一场 NOIp 中结束,好似一次次轮回在不断上演.如果这次 NO ...

  9. 「LuoguP4995」「洛谷11月月赛」 跳跳!(贪心

    题目描述 你是一只小跳蛙,你特别擅长在各种地方跳来跳去. 这一天,你和朋友小 F 一起出去玩耍的时候,遇到了一堆高矮不同的石头,其中第 ii 块的石头高度为 h_ihi​,地面的高度是 h_0 = 0 ...

随机推荐

  1. c# WPF 设置窗口一直在其中窗口后面/底层窗口

    using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.W ...

  2. 一头雾水的"Follow The Pointer"

    原文:一头雾水的"Follow The Pointer" 一头雾水的"Follow The Pointer"                           ...

  3. RHEL7VIM编辑器

    本文介绍Vim编辑器的使用 vi和vim的区别 它们都是多模式编辑器 不同的是vim是vi的升级版本 它不仅兼容vi的所有指令而且还有一些新的特性在里面 vim的这些优势主要体现在以下几个方面 多级撤 ...

  4. 用 Python 分析咪蒙1013篇文章,她凭什么会火?

    咪蒙 文学硕士,驾驭文字能力极强.并且是一个拥有一千多万粉丝,每篇文章阅读量都   100W+,头条发个软文都能赚 80 万,永远都能抓住粉丝G点的那个女人. 1月份因为某篇文章,在网络上被一大批网友 ...

  5. 初识 tk.mybatis.mapper 通用mapper

    在博客园发表Mybatis Dynamic Query后,一位园友问我知不知道通用mapper,仔细去找了一下,还真的有啊,比较好的就是abel533写的tk.mybatis.mapper. 本次例子 ...

  6. host大法之GitHub上不去

    dns解析慢,github上不去,慢 修改host. windows下路径为:C:\Windows\System32\drivers\etc\hosts Linux下路径:/etc/hosts 加入: ...

  7. 阿里云OSS下载pdf文件,并在pdf文件上添加水印

    代码: 兵马未动,粮草先行 作者: 传说中的汽水枪 如有错误,请留言指正,欢迎一起探讨. 转载请注明出处. 公司要求从阿里云OSS下载pdf文件并且需要添加水印. 因此这里总结一下. 首先添加了一个F ...

  8. 继承:call、apply、bind方法

    javascript 中,call 和 apply 都是为了改变某个函数运行时的上下文(context)而存在的,换句话说,就是为了改变函数体内部 this 的指向. call,apply,bind这 ...

  9. EnglishGame

    https://github.com/zhangxue520/EnglishGame/blob/master/EnglishGame <程序设计实践I> 题目:       打字训练测试软 ...

  10. Failed to execute goal org.springframework.boot

    报错 [ERROR] Failed to execute goal org.springframework.boot:spring-boot-maven-plugin:1.4.0.RELEASE:ru ...