[jzoj 6080] [GDOI2019模拟2019.3.23] IOer 解题报告 (数学构造)
题目链接:
https://jzoj.net/senior/#main/show/6080
题目:
题意:
给定$n,m,u,v$
设$t_i=ui+v$
求$\sum_{k_1+k_2+...+k_m=n}t_1^{k_1}t_2^{k_2}...t_m^{k_m}(k_1,k_2,...,k_m∈N)$
算法一:
对于$m=1$的点,显然答案就是$t_1^n$,快速幂计算即可
获得$5$分
算法二:
对于$m=2$的点,$\sum_{k1+k2=n}t_1^{k_1}t_2^{k_2}=\frac{t_1^{n+1}-t_2^{n+1}}{t1-t2}$
结合算法一获得$15$分
算法三:
这显然可以用生成函数,不妨设$f_i(x)=\sum_{k=0}^{n}t_i^kx^k$
把$f_1(x),f_2(x),...,f_m(x)$全部卷起来,第$n$次项的系数就是答案
用$ntt$优化多项式乘法,时间复杂度$O(Tmn logn)$,结合算法一和算法二得分$40$分
代码
#include<algorithm>
#include<cstring>
#include<cstdio>
#include<iostream>
#include<cmath>
using namespace std;
typedef long long ll; const int N=4e6+;
const ll mo=;
inline ll read(){
char ch=getchar();ll s=,f=;
while (ch<''||ch>'') {if (ch=='-') f=-;ch=getchar();}
while (ch>=''&&ch<='') {s=(s<<)+(s<<)+ch-'';ch=getchar();}
return s*f;
}
ll qpow(ll a,ll b)
{
a%=mo;
ll re=;
for (;b;b>>=,a=a*a%mo) if (b&) re=re*a%mo;
return re;
}
ll wn[];
void pre()
{
for (int i=;i<=;i++)
{
ll t=1ll<<i;
wn[i]=qpow(,(mo-)/t);
}
}
int r[N];
void ntt(int limit,ll *a,int type)
{
for (int i=;i<limit;i++) if (i<r[i]) swap(a[i],a[r[i]]);
for (int len=,id=;len<limit;len<<=)
{
++id;
for (int k=;k<limit;k+=(len<<))
{
ll w=;
for (int l=;l<len;l++,w=w*wn[id]%mo)
{
ll Nx=a[k+l],Ny=w*a[k+len+l]%mo;
a[k+l]=(Nx+Ny)%mo;
a[k+len+l]=((Nx-Ny)%mo+mo)%mo;
}
}
}
if (type==) return;
reverse(a+,a+limit);
ll inv=qpow(limit,mo-);
for (int i=;i<limit;i++) a[i]=a[i]*inv%mo;
}
ll n,m,u,v;
ll f[N],t[N],g[N];
int main()
{
freopen("ioer.in","r",stdin);
freopen("ioer.out","w",stdout);
int T=read();
while (T--)
{
n=read();m=read();u=read();v=read();
if (m==)
{
ll t1=(u+v)%mo;
printf("%lld\n",qpow(t1,n));
continue;
}
if (m==)
{
ll t1=(u+v)%mo,t2=(*u+v)%mo;
ll inv=qpow(((t1-t2)%mo+mo)%mo,mo-);
ll R1=qpow(t1,n+),R2=qpow(t2,n+);
printf("%lld\n",((R1-R2)%mo+mo)%mo*inv%mo);
continue;
}
for (int i=;i<=n;i++) t[i]=(u*i%mo+v)%mo;
for (int i=;i<=n;i++) f[i]=qpow(t[],i);
pre();
int limit=,L=;
while (limit<=((n+)<<)) limit<<=,L++;
for (int i=;i<limit;i++) r[i]=(r[i>>]>>)|((i&)<<(L-));
for (int i=;i<=m;i++)
{
for (int j=;j<=n;j++) g[j]=qpow(t[i],j);
for (int j=n+;j<limit;j++) g[j]=;
ntt(limit,f,);ntt(limit,g,);
for (int j=;j<limit;j++) f[j]=f[j]*g[j]%mo;
ntt(limit,f,-);
for (int j=n+;j<limit;j++) f[j]=;
}
printf("%lld\n",f[n]);
}
return ;
}
算法四:
算法三可以优化
设$f_i(x)=\sum_{k>=0}^{n}t_i^kx^k=\frac{1}{1-t_ik}$
那么求出$\frac{1}{f_1(x)},\frac{1}{f_2(x)},...,\frac{1}{f_m(x)}$的乘积,可以用分治$ntt$在$O(m log^2m)$的时间复杂度内求出
求出后在$\mod x^{n+1}$下多项式求逆,得到的结果的$n$次项系数即为答案
结合算法一,二得分$60$分
算法五:
之前都没有用到$t_i=ui+v$这个条件
不妨构造下面这么一个问题
假设你有一些球,每个球上标有一个不超过$m$的正整数。标有相同数字
的球可能颜色不同,两个球被认为是相同的,当且仅当它们的数字和它们的
颜色都相同。
数字为$i(i<m)$的球各有u中不同的颜色
数字为m的球有u+v中不同颜色
考虑满足一下条件的序列的数量
• 每个元素都是一个球
• 序列长度为 n + m − 1。
• 所有小于 m 的正整数都在序列中某个球上出现过
• 设从左到右第一个数字为 $i(i < m)$ 的球在序列上的位置为 $p_i$(序列上
位置从左到右,从 $1$ 开始编号),对于任意的$ i < j < m$,满足$p_i<p_j$
为了方便描述,设$p_0=0,p_m=n+m$
枚举 $p1, p2, · · · , p_{m−1}$,位置 $pi(1 ≤ i < m)$ 上的球数字只能是 $i$,在$ p_1$
之前的位置数字只能是 $m$,在 $p_2$ 之前的数字只能是 $m $或$ 1$...... 可以得到
满足条件的序列数为
$\sum_{0<p_1<p_2<...<p_m-1<=n+m-1}(u+v)^{p_1-1}u(2u+v)^{p_2-1-p_1}...u(mu+v)^{n+m-1-p_{m-1}}$
设$k_i=p_i-1-p_{i-1}$,上式可以化简为
$u^{m-1}\sum_{k_1+k_2+...+k_m=n} (u+v)^{k_1}(2u+v)^{k_2}...(mu+v)^{k_m}(k1,k2,...,km∈N)$
上式即题目中给出的问题的答案的 $u^{m−1}$ 倍。只要求出满足条件的序列数就能快速得到原问题的答案。对于每个小于 $m$ 的数字,标有这个数字的球颜色种数都是 $u$,所以小于 $m$ 的数字可以看作是等价的。也就是说,设 $a$ 是 $1,...,m−1$ 的任意一个排列,如果把之前所说的这个序列要满足的第四个条件改为:对于任意$i < j < m$,满足$p_{a_i} < p_{a_j}$,满足条件的序列数仍是 $u^{m−1} \sum_{k_1+···+k_m=n}(u +v)^{k_1} (2u + v)^{k_2}...(mu + v)^{k_m}(k_1, · · · , k_m ∈ N)$
因此,只满足前三个条件的序列数,可以看作是 $a$ 取遍所有 $(m − 1)!$ 种排列,满足对于任意 $i < j < m,p_{a_i} < p_{aj}$ 和前三个条件的序列数的和,即:
$(m-1)!u^{m−1} \sum_{k_1+···+k_m=n}(u +v)^{k_1} (2u + v)^{k_2}...(mu + v)^{k_m}(k_1, · · · , k_m ∈ N)$
所以我们只要算出满足前三个条件的序列数,就可以快速求出原问题的答案。
满足前三个条件序列数可以用容斥原理算出,也就是
$\sum_{k=0}^{m-1}\dbinom{m-1}{k}(-1)^k(mu+v-ku)^{n+m-1}$
所以所求问题的答案为
$\frac{\sum_{k=0}^{m-1}\dbinom{m-1}{k}(-1)^k(mu+v-ku)^{n+m-1}}{(m-1)!u^{m-1}}$
预处理阶乘
时间复杂度$O(m+Tm logn)$,可以得到$100$分
思路清新,代码简单
代码
#include<algorithm>
#include<cstring>
#include<cstdio>
#include<cmath>
#include<iostream>
using namespace std;
typedef long long ll; const int M=2e5+;
const ll mo=;
ll n,m,u,v;
ll fac[M],finv[M];
inline ll read()
{
char ch=getchar();ll s=,f=;
while (ch<''||ch>'') {if (ch=='-') f=-;ch=getchar();}
while (ch>=''&&ch<='') {s=(s<<)+(s<<)+ch-'';ch=getchar();}
return s*f;
}
ll qpow(ll a,ll b)
{
a%=mo;
ll re=;
for (;b;b>>=,a=a*a%mo) if (b&) re=re*a%mo;
return re;
}
void pre()
{
fac[]=;
for (int i=;i<M;i++) fac[i]=fac[i-]*i%mo;
finv[M-]=qpow(fac[M-],mo-);
for (int i=M-;i>=;i--) finv[i]=finv[i+]*(i+)%mo;
}
ll C(ll a,ll b)
{
return fac[a]*finv[b]%mo*finv[a-b]%mo;
}
int main()
{
freopen("ioer.in","r",stdin);
freopen("ioer.out","w",stdout);
pre();
int T=read();
while(T--)
{
n=read();m=read();u=read();v=read();
ll ans=;
for (int k=;k<m;k++)
{
if (k&) ans=(ans-C(m-,k)*qpow(m*u+v-k*u,n+m-)%mo+mo)%mo;
else ans=(ans+C(m-,k)*qpow(m*u+v-k*u,n+m-)%mo)%mo;
}
ll o=qpow(u,m-);
ans=ans*finv[m-]%mo*qpow(o,mo-)%mo;
printf("%lld\n",ans);
}
return ;
}
[jzoj 6080] [GDOI2019模拟2019.3.23] IOer 解题报告 (数学构造)的更多相关文章
- [jzoj 6101] [GDOI2019模拟2019.4.2] Path 解题报告 (期望)
题目链接: https://jzoj.net/senior/#main/show/6101 题目: 题解: 设$f_i$表示从节点$i$到节点$n$的期望时间,$f_n=0$ 最优策略就是如果从$i, ...
- [jzoj 6093] [GDOI2019模拟2019.3.30] 星辰大海 解题报告 (半平面交)
题目链接: https://jzoj.net/senior/#contest/show/2686/2 题目: 题解: 说实话这题调试差不多花了我十小时,不过总算借着这道题大概了解了计算几何的基础知识 ...
- [jzoj 6092] [GDOI2019模拟2019.3.30] 附耳而至 解题报告 (平面图转对偶图+最小割)
题目链接: https://jzoj.net/senior/#main/show/6092 题目: 知识点--平面图转对偶图 在求最小割的时候,我们可以把平面图转为对偶图,用最短路来求最小割,这样会比 ...
- [jzoj 6086] [GDOI2019模拟2019.3.26] 动态半平面交 解题报告 (set+线段树)
题目链接: https://jzoj.net/senior/#main/show/6086 题目: 题解: 一群数字的最小公倍数就是对它们质因数集合中的每个质因数的指数取$max$然后相乘 这样的子树 ...
- [jzoj 4528] [GDOI2019模拟2019.3.26] 要换换名字 (最大权闭合子图)
题目链接: https://jzoj.net/senior/#contest/show/2683/0 题目: 题解: 不妨枚举一个点,让两颗树都以这个点为根,求联通块要么点数为$0$,要么包括根(即联 ...
- [jzoj 6087] [GDOI2019模拟2019.3.26] 获取名额 解题报告 (泰勒展开+RMQ+精度)
题目链接: https://jzoj.net/senior/#main/show/6087 题目: 题解: 只需要统计$\prod_{i=l}^r (1-\frac{a_i}{x})$ =$exp(\ ...
- [jzoj 6084] [GDOI2019模拟2019.3.25] 礼物 [luogu 4916] 魔力环 解题报告(莫比乌斯反演+生成函数)
题目链接: https://jzoj.net/senior/#main/show/6084 https://www.luogu.org/problemnew/show/P4916 题目: 题解: 注: ...
- [JZOJ 5893] [NOIP2018模拟10.4] 括号序列 解题报告 (Hash+栈+map)
题目链接: https://jzoj.net/senior/#main/show/5893 题目: 题解: 考虑暴力怎么做,我们枚举左端点,维护一个栈,依次加入元素,与栈顶元素和栈内第二个元素相同时弹 ...
- [JZOJ 5885] [NOIP2018模拟9.27] 物理实验 解题报告 (思维)
题目链接: https://jzoj.net/senior/#main/show/5885 题目: 题解: 把$a$数组按升序排序 我们可以枚举$x$,发现对于任意$x$,最优情况下$y$一定等于$x ...
随机推荐
- wpf小玩意之关键字文本框
有些时候,我们会碰到在输入文本时高亮一些文本关键字,譬如以下这图: 很明显,这个输入的文本中有四个关键字,正常文本都是黑色,关键字文本用了其他颜色.那么我们如何达到这种效果呢.wpf的textbloc ...
- python第三方库 pip 豆瓣源
pip install xxx -i http://pypi.douban.com/simple/ xxx 为包名
- js 按钮连击 减少触发事件次数
<body> <input type="button" onClick="testbtn()" value="测试按钮"& ...
- js prototype 原型
//https://xxxgitone.github.io/2017/06/10/JavaScript%E5%88%9B%E5%BB%BA%E5%AF%B9%E8%B1%A1%E7%9A%84%E4% ...
- angular 常用写法
1.ng-repeat 数组数据中,不允许数组中有相同的两个数据,这个时候用下标去管理数据便可以解决这个问题 ng-repeat="item in list track by $index& ...
- PHP 获取文件 扩展名 的常用方法小结【五种方式】
1: function getExt1($filename) { $arr = explode('.',$filename); return array_pop($arr);; } ...
- 企业级任务调度框架Quartz(5) Quartz的声明式配置
前序: 前面我们已经通过编程的方式实现了多个作业任务执行具体操作的演示:但具体到实际的时候,如果我们要在 Job 启动之后改变它的执行时间和频度,则必须去修改源代码重新编译,我们很难去以编程的 ...
- Flex元素布局规则总结,以及布局和容器
一.Flex中的元素分类从功能层面可以把Flex中的元素分为组件(Components)和容器(Containers)两大类:组件 - 是指那类具有明确交互或数据展示功能的元素,例如Button.Ch ...
- spring helloword
控制反转: Inversion on Control , 控制反转 IOC 对象的创建交给外部容器完成,这个就做控制反转. 依赖注入, dependency injection 处理对象的依赖关系 ...
- 怎么让composer加速(转)
composer 在install的时候会做这几个事情: 去packagist.org中寻找对应需要的包的版本信息和下载地址 循环下载对应的包 解压安装对应的包 我们平时使用composer慢就可能在 ...