【UOJ#450】【集训队作业2018】复读机(生成函数,单位根反演)

题面

UOJ

题解

似乎是\(\mbox{Anson}\)爷的题。

\(d=1\)的时候,随便怎么都行,答案就是\(k^n\)。

\(d=2\)的时候,可以做一个\(dp\),设\(f[i][j]\)表示前\(i\)个复读机选了\(j\)个时间的方案数。

然后枚举当前这个复读机复读的次数,得到:

\[f[x][j]=\sum_{i=0}^{j}[2|i]{n-j+i\choose i}f[x-1][j-i]
\]

化简啥的之后得到

\[(n-j)!f[x][j]=\sum_{i=0}^{j}[2|i]\frac{1}{i!}(n-j+i)!f[x-1][j-i]
\]

那么对于\((n-j)!f_j\)构建生成函数,那么等价于每加入一个数就乘上了一个\(A(x)=\sum_{i=0}^{\infty}[2|i]\frac{1}{i!}x^i\)

化简之后就是\(A(x)=\frac{e^x+e^{-x}}{2}\)。

所以最终的答案就是\(A(x)^k[n]\),即\((\frac{e^x+e^{-x}}{2})^k[x^n]\)。

把那个除二搞出来,拿二项式定理算算得到\(\displaystyle \sum_{i=0}^k{k\choose i}e^{(2i-k)x}\) 。

所以\(n\)次项系数就是\((2i-k)^n\)。

最后就是对于\(d=3\)的情况,

推出来的式子就是

\[\sum_{i=0}^k[3|i]\frac{1}{i!}x^i
\]

实际上没必要拿\(dp\)方程来推,可以直接用生成函数考虑。如果确定了每个复读机复读的次数,那么总方案实际上就是\(n!\)除上每个复读机复读次数的阶乘。这个可重排列可以直接推出这个生成函数。

然后发现不会算,前面那个\([3|i]\)不会搞,这样子就可以丢一脸的单位根反演出来:

\[[d|i]=\frac{1}{d}\sum_{j=0}^{d-1}\omega_d^{ij}
\]

然后原式就变成了

\[\frac{1}{d}\sum_{i=0}^k\sum_{j=0}^{d-1}\omega_d^{ij}\frac{1}{i!}x^i
\]

也就是

\[\frac{1}{d}\sum_{j=0}^{d-1}e^{\omega_d^{j}x}
\]

要求的是这个东西的\(k\)次方,也就是

\[\frac{1}{d^k}(\sum_{i=0}^{d-1}e^{\omega_d^{j}x})^k
\]

而\(d=3\)的时候\(k\)很小,直接\(O(k^2)\)暴力二项式定理给他展开就好了。

至于单位根怎么求?

求出模数\(p\)的原根\(g\),我们知道\(g^{p-1}\equiv 1(mod\ p)\),而\(\omega_d^d\equiv 1(mod\ p)\)。所以有\(\omega_d=g^{\frac{p-1}{d}}\)。

那么算出来之后就可以\(O(k^2\log n)\)计算答案了。

#include<iostream>
#include<cstdio>
using namespace std;
#define MOD 19491001
#define MAX 500500
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 n,k,d,ans;
int jc[MAX],jv[MAX],inv[MAX];
int C(int n,int m){if(n<m||n<0)return 0;return 1ll*jc[n]*jv[m]%MOD*jv[n-m]%MOD;}
int main()
{
scanf("%d%d%d",&n,&k,&d);
if(d==1){printf("%d\n",fpow(k,n));return 0;}
jc[0]=jv[0]=inv[0]=inv[1]=1;
for(int i=2;i<=k;++i)inv[i]=1ll*inv[MOD%i]*(MOD-MOD/i)%MOD;
for(int i=1;i<=k;++i)jc[i]=1ll*jc[i-1]*i%MOD;
for(int i=1;i<=k;++i)jv[i]=1ll*jv[i-1]*inv[i]%MOD;
if(d==2)
{
for(int i=0;i<=k;++i)ans=(ans+1ll*C(k,i)*fpow((i+i-k+MOD)%MOD,n))%MOD;
ans=1ll*ans*fpow(fpow(2,k),MOD-2)%MOD;
printf("%d\n",ans);
}
else
{
int w1=fpow(7,(MOD-1)/3),w2=1ll*w1*w1%MOD;
for(int i=0;i<=k;++i)
for(int j=0;i+j<=k;++j)
{
int p=(1ll*(k-j-i)+1ll*w1*i+1ll*w2*j)%MOD;
ans=(ans+1ll*C(k,i)*C(k-i,j)%MOD*fpow(p,n))%MOD;
}
ans=1ll*ans*fpow(fpow(d,k),MOD-2)%MOD;
printf("%d\n",ans);
}
return 0;
}

【UOJ#450】【集训队作业2018】复读机(生成函数,单位根反演)的更多相关文章

  1. uoj #450[集训队作业2018]复读机

    传送门 \(d=1\),那么任何时刻都可以\(k\)个复读机的一种,答案为\(k^n\) \(d>1\),可以枚举某个复读机的复读次数(必须是\(d\)的倍数),然后第\(i\)个复读时间为\( ...

  2. 【UOJ#450】[集训队作业2018] 复读机

    题目链接 题目描述 群里有\(k\)个不同的复读机.为了庆祝平安夜的到来,在接下来的\(n\)秒内,它们每秒钟都会选出一位优秀的复读机进行复读.非常滑稽的是,一个复读机只有总共复读了\(d\)的倍数次 ...

  3. uoj#450. 【集训队作业2018】复读机(单位根反演)

    题面 传送门 题解 我的生成函数和单位根反演的芝士都一塌糊涂啊-- \(d=1\),答案就是\(k^n\)(因为这里\(k\)个复读机互不相同,就是说有标号) \(d=2\),我们考虑复读机的生成函数 ...

  4. [2018集训队作业][UOJ450] 复读机 [DP+泰勒展开+单位根反演]

    题面 传送门 思路 本文中所有$m$是原题目中的$k$ 首先,这个一看就是$d=1,2,3$数据分治 d=1 不说了,很简单,$m^n$ d=2 先上个$dp$试试 设$dp[i][j]$表示前$i$ ...

  5. UOJ 422 [集训队作业2018] 小Z的礼物 min-max容斥 期望 轮廓线dp

    LINK:小Z的礼物 太精髓了 我重学了一遍min-max容斥 重写了一遍按位或才写这道题的. 还是期望多少时间可以全部集齐. 相当于求出 \(E(max(S))\)表示最后一个出现的期望时间. 根据 ...

  6. uoj450 【集训队作业2018】复读机(生成函数,单位根反演)

    uoj450 [集训队作业2018]复读机(生成函数,单位根反演) uoj 题解时间 首先直接搞出单个复读机的生成函数 $ \sum\limits_{ i = 0 }^{ k } [ d | i ] ...

  7. UOJ #449. 【集训队作业2018】喂鸽子

    UOJ #449. [集训队作业2018]喂鸽子 小Z是养鸽子的人.一天,小Z给鸽子们喂玉米吃.一共有n只鸽子,小Z每秒会等概率选择一只鸽子并给他一粒玉米.一只鸽子饱了当且仅当它吃了的玉米粒数量\(≥ ...

  8. 【UOJ#422】【集训队作业2018】小Z的礼物(min-max容斥,轮廓线dp)

    [UOJ#422][集训队作业2018]小Z的礼物(min-max容斥,轮廓线dp) 题面 UOJ 题解 毒瘤xzy,怎么能搬这种题当做WC模拟题QwQ 一开始开错题了,根本就不会做. 后来发现是每次 ...

  9. UOJ#418. 【集训队作业2018】三角形

    #418. [集训队作业2018]三角形 和三角形没有关系 只要知道儿子放置的顺序,就可以直接模拟了 记录历史最大值 用一个pair(a,b):之后加上a个,期间最大值为增加b个 合并? A1+A2= ...

随机推荐

  1. js处理ajax返回的json数组

    一.json对象和json数组的区别 jsonObject = {} # json对象 jsonArray=[{},{}] # json数组 二.数据处理 前台接收到后台传过来的json数组实际上是一 ...

  2. asp.net core前后端分离

    陆陆续续的看了两个礼拜的前端知识,把vue+vue-router+axios的知识撸了一遍,本来想加个element-ui来实现一下前后端分离,实施的时候却遇到了很多的坑.我本身不在一个软件开发公司上 ...

  3. 13 Connectors: show contrast/oppistion

    1 "but" 和 "yet" 用来显示两个意思之间的对比关系.在写作中,当 "but" 和"yet" 将两个分句连为一 ...

  4. drf 之序列化组件

    序列化 把Python中对象转换为json格式字符串 反序列化 把json格式转为为Python对象. 用orm查回来的数据都是都是一个一个的对象, 但是前端要的是json格式字符串. 序列化两大功能 ...

  5. 在浏览器上安装 Vue Devtools工具

    Vue.js devtools是基于google chrome浏览器的一款调试vue.js应用的开发者浏览器扩展,可以在浏览器开发者工具下调试代码. 1)首先在github下载devtools源码,地 ...

  6. GlusterFS卷的种类

    1.分布卷 在分布式卷中,文件随机扩展到卷中的砖块中. 使用分布式卷,需要扩展存储和冗余不是很重要,或由其他硬件/软件层提供. 创建语法:gluster volume create [transpor ...

  7. shit vue & shit iview

    shit vue & shit iview <Switch> !== <i-switch> https://www.iviewui.com/components/swi ...

  8. Yii2总结

    1. Web访问流程(即在浏览器中输入一个网址至浏览器展现页面结果的过程) a. 将输入的网址提取出域名,在本地hosts文件中查找对应的IP地址(windows为C:/windows/system3 ...

  9. linux 查看TCP端口

    如有转载,不胜荣幸.http://www.cnblogs.com/aaron-agu/ netstat –nat

  10. QTP 自动货测试桌面程序-笔记 (单据-下拉框选择、对话框 、菜单)

    1 录制下拉框使用键盘上下键 回车键选择记录行 Window("驷惠WIN系列[汽车4S连锁管理软件] 6.").Window("采购计划").WinObjec ...