洛谷题面传送门

PGF 入门好题。

首先介绍一下 PGF 的基本概念。对于随机变量 \(X\),满足 \(X\) 的取值总是非负整数,我们即 \(P(v)\) 表示 \(X=v\) 的概率,那么我们定义 \(X\) 的概率生成函数为 \(F(x)=\sum\limits_{n\ge 0}P(n)x^n\)。较一般的生成函数有所不同的是,对于概率生成函数 \(F(1)=1\) 必然成立,因为 \(X\) 取遍所有值的概率之和为 \(1\)。此外,\(X\) 的期望 \(E(X)\) 也可表示为 \(\sum\limits_{n\ge 0}P(n)·n=F'(1)\),同理 \(X\) 的方差 variant 也可被表示为 \(F''(1)+F'(1)-F'(1)^2\),这个可以由方差基本公式 \(E(X^2)-E(X)^2\) 推得。

接下来考虑这道题。我们设 \(P(x)\) 为刚好唱了 \(x\) 秒的概率,\(Q(x)\) 为唱了至少 \(x+1\) 秒的概率,再记 \(F(x),G(x)\) 分别为 \(P(x),Q(x)\) 的 PGF,那么考虑 \(F,G\) 之间有什么联系,首先:

\[P(x)+Q(x)=P(x-1)(x\ge 1)
\]

这是因为至少唱 \(x\) 秒的概率就是恰好 \(x\) 秒的概率加上至少 \(x+1\) 秒的概率。

写成 PGF 的形式就是

\[F(x)+G(x)=1+xG(x)
\]

我们再从酋长的名字 \(a\) 的角度列式子。我们考虑一个时刻 \(t\),如果唱了 \(t\) 秒后还没有唱出酋长的名字,并且在接下来 \(len\) 秒后刚好唱出了酋长的名字,那么这样的概率就是 \(Q(x)·\dfrac{1}{n^{len}}\),再考虑将这个概率表示成 \(P\) 的形式,我们考虑什么时第一次唱出酋长的名字,我们假设在时刻 \(t+t'\),显然 \(t'\in[1,len]\),那么这样的概率就是 \(P(t+t')·\dfrac{1}{n^{len-t'}}\),但是一个 \(t'\) 不一定符合条件。不难发现由于我们钦定 \([t+1,t+len]\) 唱出的部分刚好是酋长的名字,而由于我们钦定 \(t+t'\) 时刻刚好唱出酋长的名字,因此必须有 \(a_i=a_{t-t'+i}\),也就是 \(a\) 存在长度为 \(t'\) 的 border。如果我们设 \(b_i\) 表示 \(a\) 是否存在长度 \(i\) 的 border,那么

\[Q(x)·\dfrac{1}{n^{len}}=\sum\limits_{t'=1}^{len}b_{t'}·P(t+t')·\dfrac{1}{n^{len-t'}}
\]

写成 PGF 的形式就是

\[G(x)·(\dfrac{1}{n}x)^{len}=\sum\limits_{t'=1}^{len}b_{t'}·F(x)·(\dfrac{1}{n}x)^{len-t'}
\]

考虑将两个式子结合起来。对记一个式子求导可得:

\[F'(x)+G'(x)=xG'(x)+G(x)
\]

取 \(x=1\) 可得:

\[E(x)=F'(1)=G(1)
\]

也就是说答案等于 \(G(1)\)。

再将答案代入第二个式子:

\[G(1)·\dfrac{1}{n^{len}}=\sum\limits_{t'=1}^{len}b_{t'}·F(1)·\dfrac{1}{n^{len-t'}}
\]

再结合 \(F(1)=1\) 可得:

\[E(x)=\sum\limits_{i=1}^{len}b_i·n^{i}
\]

哈希/KMP 求 border 即可线性求解答案。

const int MAXN=1e5;
const int BS=333337;
const int HMOD=1004535809;
const int MOD=10000;
void print(int x){
static int d[6];int len=0;
while(x) d[len++]=x%10,x/=10;
while(len<4) d[len++]=0;
for(int i=3;~i;i--) printf("%d",d[i]);
printf("\n");
}
int n,qu,len,a[MAXN+5],pre[MAXN+5],suf[MAXN+5],pw[MAXN+5],pwn[MAXN+5];
void solve(){
scanf("%d",&len);for(int i=1;i<=len;i++) scanf("%d",&a[i]);
for(int i=1;i<=len;i++) pre[i]=(pre[i-1]+1ll*a[i]*pw[i-1])%HMOD;
suf[len+1]=0;for(int i=len;i;i--) suf[i]=(1ll*suf[i+1]*BS+a[i])%HMOD;
int res=0;for(int i=1;i<=len;i++) if(pre[i]==suf[len-i+1]) res=(res+pwn[i])%MOD;
print(res);
}
int main(){
int qu;scanf("%d%d",&n,&qu);
for(int i=(pwn[0]=1);i<=MAXN;i++) pwn[i]=1ll*pwn[i-1]*n%MOD;
for(int i=(pw[0]=1);i<=MAXN;i++) pw[i]=1ll*pw[i-1]*BS%HMOD;
while(qu--) solve();
return 0;
}

洛谷 P4548 - [CTSC2006]歌唱王国(概率生成函数)的更多相关文章

  1. 洛谷P4548 [CTSC2006]歌唱王国(概率生成函数)

    题面 传送门 给定一个长度为\(L\)的序列\(A\).然后每次掷一个标有\(1\)到\(m\)的公平骰子并将其上的数字加入到初始为空的序列\(B\)的末尾,如果序列B中已经出现了给定序列\(A\), ...

  2. Luogu4548 CTSC2006 歌唱王国 概率生成函数、哈希

    传送门 orz ymd 考虑构造生成函数:设\(F(x) = \sum\limits_{i=0}^\infty f_ix^i\),其中\(f_i\)表示答案为\(i\)的概率:又设\(G(x) = \ ...

  3. 【题解】歌唱王国(概率生成函数+KMP)+伦讲的求方差

    [题解]歌唱王国(概率生成函数+KMP)+伦讲的求方差 生成函数的本质是什么呀!为什么和It-st一样神 设\(f_i\)表示填了\(i\)个时候停下来的概率,\(g_i\)是填了\(i\)个的时候不 ...

  4. luogu P4548 [CTSC2006]歌唱王国

    传送门 这题\(\mathrm{YMD}\)去年就讲了,然而我今年才做(捂脸) 考虑生成函数,设\(f_i\)表示最终串长为\(i\)的概率,其概率生成函数为\(F(x)=\sum f_ix^i\), ...

  5. 【BZOJ1152】歌唱王国(生成函数,KMP)

    [BZOJ1152]歌唱王国(生成函数,KMP) 题面 BZOJ 洛谷 题解 根据\(YMD\)论文来的QwQ. 首先大家都知道普通型生成函数是\(\displaystyle \sum_{i=0}^{ ...

  6. [CTSC2006]歌唱王国

    [CTSC2006]歌唱王国 Tags:题解 题意 链接:在空串后不断随机添加字符,直到出现串\(S_i\)为止.求最终串的期望长度.\(\sum |S_i|\le 5*10^6\) 题解 以下内容来 ...

  7. bzoi1152 [CTSC2006]歌唱王国Singleland

    [CTSC2006]歌唱王国Singleland Time Limit: 30 Sec Memory Limit: 162 MB Description 在歌唱王国,所有人的名字都是一个非空的仅包含整 ...

  8. 洛谷P4389 付公主的背包--生成函数+多项式

    题目链接戳这里 题目描述 有\(n\)件不同的商品,每件物品都有无限个,输出总体积为\([1,m]\)的方案数 思路 直接跑背包有\(30\) 考虑把每个物品的生成函数设出来,对于一件体积为\(v\) ...

  9. 洛谷P4389 付公主的背包 [生成函数,NTT]

    传送门 同样是回过头来发现不会做了,要加深一下记忆. 思路 只要听说过生成函数的人相信第一眼都可以想到生成函数. 所以我们要求 \[ ans=\prod \sum_n x^{nV}=\prod \fr ...

随机推荐

  1. spark 解决错误java.io.InvalidClassException

    今天遇到一个现场问题,任务报错java.io.InvalidClassException.在开发环境是没有报错的,正式环境报错.大概类似于下面这样(非报错原文,摘自网上同类博客) java.io.In ...

  2. 使用寄存器点亮LED

    1. 项目:使用stm32寄存器点亮LED, 分别点亮红.绿.蓝3个灯. 2. 代码: 只需要编写main.c程序,stm3210x.h程序为空(只需要新建即可). 2.1 点亮绿灯main.c程序 ...

  3. 【UE4 C++】抛物线路径、发射轨道相关

    基于UGameplayStatics Blueprint_PredictProjectilePath_ByObjectType 根据 Object Type,算出抛物线的点集合和检测结果 static ...

  4. The WebSocket session [0] has been closed and no method (apart from close()) may be called on a closed session-ConcurrentHashMap使用在webSocket中采的坑

    一.问题由来 现在开发的一个项目中使用webSocket这个技术和Unity客户端程序进行联动操作,因为socket连接相对来说比http请求连接更加的快速,而且是 一个长链接,方便于这个项目进行其他 ...

  5. activemq实现队列的独有消费

    在我们实际的开发中可能存在这么一种情况,应用程序要向一个队列名为queue的队列中发送3条消息,需要保证这3条消息按顺序消费.必须是第一条消费完,在消费第二条然后是第三条.而我们的程序中可能有时候存在 ...

  6. dfs初步模板解析

    #include<stdio.h> int a[10],book[10],n; //这里还有需要注意的地方C语言全局变量默认为0 void dfs(int step){ //此时在第ste ...

  7. 华为HG255D挂卡中继专用旋风科技固件

    正的挂卡不掉线不掉速,稳定上网看上去好像很NB的样子 挂卡设置教程:http://picimg.lshou.com/pic/clou ... /6/t/1/30247515.mp4 固件链接: htt ...

  8. Android DataBinding使用详解

    简介 DataBinding是一个自动绑定UI的框架. 使用DataBinding需要在app根目录的build.gradle文件中加入DataBinding配置: android { .... da ...

  9. HTML+CSS基础(HTML篇)

    引言 在日常开发Android中,很多时候会遇到和WebView打交道,对CSS HTML JS不是很清楚的话是完不成一些功能的,本篇开始学习HTML,文章的主要内容是总结了慕课网中,HTML+CSS ...

  10. zabbix 监控redis 挂掉自动重启 并发送企业微信

    1.创建redis监控项[配置]-[主机]-[监控项]-创建监控项,监控6379端口(注意关闭防火墙或者开启防火墙端口6379) redis配置文件设置允许任何地址监听: 添加监控项 2.创建redi ...