【BZOJ3992】序列统计(动态规划,NTT)
【BZOJ3992】序列统计(动态规划,NTT)
题面
题解
最裸的暴力
设\(f[i][j]\)表示前\(i\)个数,积在膜意义下是\(j\)的方案数
转移的话,每次枚举一个数,直接丢进去就好
复杂度\(O(nm|S|)\),10pts
#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 1004535809
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 n,m,X,T;
int f[2][10000];
int a[10000];
int main()
{
n=read();m=read();X=read();T=read();
for(int i=1;i<=T;++i)a[i]=read()%m;
for(int i=1;i<=T;++i)f[1][a[i]]++;
for(int i=2;i<=n;++i)
{
for(int j=0;j<m;++j)f[i&1][j]=0;
for(int j=1;j<=T;++j)
for(int k=0;k<m;++k)
(f[i&1][k*a[j]%m]+=f[(i+1)&1][k])%=MOD;
}
printf("%d\n",f[n&1][X]);
return 0;
}
发现每一步的转移是相同的,
因此可以矩阵快速幂
时间复杂度\(O(lognm^3)\),30pts
我懒得写了
我们都发现了转移是相同的
那么不一定只能用矩阵快速幂呀
我们的转移也是满足结合律的
所以可以把转移跑快速幂
复杂度\(O(lognm^2)\),60pts
#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 1004535809
#define MAX 10000
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 n,m,X,T;
int f[MAX],s[MAX];
int a[MAX],ret[MAX];
int* zy(int *a,int *b)
{
memset(ret,0,sizeof(ret));
for(int i=0;i<m;++i)
for(int j=0;j<m;++j)
(ret[i*j%m]+=1ll*a[i]*b[j]%MOD)%=MOD;
return ret;
}
int main()
{
n=read();m=read();X=read();T=read();
for(int i=1;i<=T;++i)a[i]=read()%m;
for(int i=1;i<=T;++i)f[a[i]]++;
bool fl=false;
int b=n;
while(b)
{
if(b&1)
{
if(fl)
{
memset(ret,0,sizeof(ret));
for(int i=0;i<m;++i)
if(s[i])
for(int j=0;j<m;++j)
(ret[i*j%m]+=(1ll*s[i]*f[j])%MOD)%=MOD;
for(int i=0;i<m;++i)s[i]=ret[i];
}
else
{
for(int i=0;i<m;++i)s[i]=f[i];
fl=true;
}
}
memset(ret,0,sizeof(ret));
for(int i=0;i<m;++i)
if(f[i])
for(int j=0;j<m;++j)
(ret[i*j%m]+=(1ll*f[i]*f[j])%MOD)%=MOD;
for(int i=0;i<m;++i)f[i]=ret[i];
b>>=1;
}
printf("%d\n",s[X]);
return 0;
}
现在就是最大的问题了
\(n\)已经优化到了\(logn\)
转移现在才是最大的问题
我们发现转移是这样的:
\(f[i]*f[j]\to f[i*j]\)
如果它长成这个样子:
\(f[i]*f[j]\to f[i+j]\)
这样子的话就会做啦
这样就可以跑一遍多项式的卷积
怎么转换呢?
题目给定的条件\(m\)是质数
我们知道\(x^{\varphi(m)}\% m=1\)
而如果\(x\)是\(m\)的原根
那么,对于\(0~\varphi(m)\),
每一个原根的若干次幂恰好对应一个数
那么,这样的话,乘法可以转换成幂的加法
于是,直接跑多项式的卷积就好了
因为要取膜,只能跑\(NTT\)
#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 1004535809
#define MAX 100000
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;
}
const int pr=3;
const int phi=MOD-1;
int n,m,X,T;
int f[MAX],s[MAX];
int a[MAX],mp[MAX],b[MAX];
int N,M,l,r[MAX],ret[MAX];
int fpow(int a,int b,int P)
{
int s=1;
while(b){if(b&1)s=1ll*s*a%P;a=1ll*a*a%P;b>>=1;}
return s;
}
int ys[MAX],yst;
int getroot(int n)
{
int tmp=n-1;
for(int i=2;i*i<=tmp;++i)
if(tmp%i==0)
{
ys[++yst]=i;
while(tmp%i==0)tmp/=i;
}
if(tmp>1)ys[++yst]=tmp;
for(int g=2;g<=n-1;++g)
{
bool fl=true;
for(int i=1;i<=yst;++i)
if(fpow(g,(n-1)/ys[i],n)==1){fl=false;break;}
if(fl)return g;
}
return -1;
}
void getmap()
{
int prm=getroot(m);
for(int i=0;i<m-1;++i)
mp[fpow(prm,i,m)]=i;
}
void preNTT()
{
M=2*(m-2);
for(N=1;N<=M;N<<=1)++l;
for(int i=0;i<N;++i)r[i]=(r[i>>1]>>1)|((i&1)<<(l-1));
}
void NTT(int *P,int opt)
{
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(pr,phi/(i<<1),MOD);
for(int p=i<<1,j=0;j<N;j+=p)
{
int w=1;
for(int k=0;k<i;++k,w=1ll*w*W%MOD)
{
int X=P[j+k],Y=1ll*P[i+j+k]*w%MOD;
P[j+k]=(X+Y)%MOD;P[i+j+k]=(X-Y+MOD)%MOD;
}
}
}
if(opt==-1)
{
reverse(&P[1],&P[N]);
int inv=fpow(N,MOD-2,MOD);
for(int i=0;i<N;++i)P[i]=1ll*P[i]*inv%MOD;
}
}
void zy(int *a1,int *a2,int *c)
{
memset(a,0,sizeof(a));memset(b,0,sizeof(b));
for(int i=0;i<m-1;++i)a[i]=a1[i],b[i]=a2[i];
NTT(a,1);NTT(b,1);
for(int i=0;i<N;++i)a[i]=1ll*a[i]*b[i]%MOD;
NTT(a,-1);
memset(ret,0,sizeof(ret));
for(int i=0;i<m-1;++i)ret[i]=(a[i]+a[i+m-1])%MOD;
for(int i=0;i<m-1;++i)c[i]=ret[i];
}
int main()
{
n=read();m=read();X=read();T=read();
getmap();preNTT();
for(int i=1;i<=T;++i)
{
int x=read()%m;
if(x)f[mp[x]]++;
}
s[mp[1]]=1;
while(n)
{
if(n&1)zy(s,f,s);
zy(f,f,f);
n>>=1;
}
printf("%d\n",s[mp[X]]);
return 0;
}
【BZOJ3992】序列统计(动态规划,NTT)的更多相关文章
- 【bzoj3992】[SDOI2015]序列统计 原根+NTT
题目描述 求长度为 $n$ 的序列,每个数都是 $|S|$ 中的某一个,所有数的乘积模 $m$ 等于 $x$ 的序列数目模1004535809的值. 输入 一行,四个整数,N.M.x.|S|,其中|S ...
- 【BZOJ3992】【SDOI2015】序列统计 原根 NTT
题目大意 有一个集合\(s\),里面的每个数都\(\geq0\)且\(<m\). 问有多少个长度为\(n\)的数列满足这个数列所有数的乘积模\(m\)为\(x\).答案模\(1004535809 ...
- BZOJ.3992.[SDOI2015]序列统计(DP NTT 原根)
题目链接 \(Description\) 给定\(n,m,x\)和集合\(S\).求\(\prod_{i=1}^na_i\equiv x\ (mod\ m)\)的方案数.其中\(a_i\in S\). ...
- 洛谷P3321 [SDOI2015]序列统计(NTT)
传送门 题意:$a_i\in S$,求$\prod_{i=1}^na_i\equiv x\pmod{m}$的方案数 这题目太珂怕了……数学渣渣有点害怕……kelin大佬TQL 设$f[i][j]$表示 ...
- [BZOJ3992][SDOI2015]序列统计(DP+原根+NTT)
3992: [SDOI2015]序列统计 Time Limit: 30 Sec Memory Limit: 128 MBSubmit: 1888 Solved: 898[Submit][Statu ...
- 【BZOJ3992】[SDOI2015]序列统计 NTT+多项式快速幂
[BZOJ3992][SDOI2015]序列统计 Description 小C有一个集合S,里面的元素都是小于M的非负整数.他用程序编写了一个数列生成器,可以生成一个长度为N的数列,数列中的每个数都属 ...
- bzoj3992【SDOI2015】序列统计
3992: [SDOI2015]序列统计 Time Limit: 30 Sec Memory Limit: 128 MB Submit: 673 Solved: 327 [Submit][Stat ...
- BZOJ 3992: [SDOI2015]序列统计 NTT+快速幂
3992: [SDOI2015]序列统计 Time Limit: 30 Sec Memory Limit: 128 MBSubmit: 1155 Solved: 532[Submit][Statu ...
- BZOJ 3992: [SDOI2015]序列统计 快速幂+NTT(离散对数下)
3992: [SDOI2015]序列统计 Description 小C有一个集合S,里面的元素都是小于M的非负整数.他用程序编写了一个数列生成器,可以生成一个长度为N的数列,数列中的每个数都属于集合S ...
随机推荐
- 保存文件名至txt文件中,不含后缀
准备深度学习的训练数据时,可能会用到将图片文件名保存到txt文件中,所以用python实现了该功能.输入参数只设了两个,图片存放路径,和输出的txt文件名. 代码里写死了只识别.jpg格式,并不进行目 ...
- WEB-INF目录下文件复制的几种方式
2018年1月31日 10:42:55 工作完写点博客记录下. 需求:从web-inf下拷贝文件到指定目录. 目录结构 直接贴代码 第一种方式,字节流读取 try { int index = 0; S ...
- ajax常用操作
load的方法的使用(现在已不常用) <!doctype html><html lang="en"><head> <meta charse ...
- 初识vps,域名与购买,初步配置
终于还是到了这一天,不管我们是不是程序员,当我们想拥有自己的一个的博客,当我们想有自己的一个空间,当我们想在网上有一个自己可以随心所欲编写任何不被限制的仅仅是酷炫的效果,当我们想收录自己的技术,经历, ...
- win7(windows 7)系统下安装SQL2005(SQL Server 2005)图文教程
操作系统:Microsoft Windows 7 旗舰版(32位) 数据库版本:SQL Server 2005 简体中文开发板 数据库下载链接: https://pan.baidu.com/s/1cq ...
- CentOS7中关闭firewall,并使用iptables管理防火墙
背景描述 在使用Docker时,启用centos7默认的firewall,启动端口映射时,防火墙规则不生效.docker默认使用了iptables防火墙机制.所以需要关闭firewall使用iptab ...
- 8、flask之flask-script组件
Flask Script扩展提供向Flask插入外部脚本的功能,包括运行一个开发用的服务器,一个定制的Python shell,设置数据库的脚本,cronjobs,及其他运行在web应用之外的命令行任 ...
- HashMap中的散列函数、冲突解决机制和rehash
一.概述 散列算法有两个主要的实现方式:开散列和闭散列,HashMap采用开散列实现. HashMap中,键值对(key-value)在内部是以Entry(HashMap中的静态内部类)实例的方式存储 ...
- ABP框架源码学习之授权逻辑
asp.net core的默认的几种授权方法参考"雨夜朦胧"的系列博客,这里要强调的是asp.net core mvc中的授权和asp.net mvc中的授权不一样,建议先看前面& ...
- 基于gmap.net制作离线地图下载器
网上已有大量文章介绍gamp.net和离线下载相关的文章了.我就不在介绍gmap相关的文章了,这里着重介绍一下下载相关原理.其实gmap.net本身已自带下载工能,只是离线图片下载到sqlit中,现将 ...