【BZOJ3992】序列统计(动态规划,NTT)

题面

BZOJ

题解

最裸的暴力

设\(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)的更多相关文章

  1. 【bzoj3992】[SDOI2015]序列统计 原根+NTT

    题目描述 求长度为 $n$ 的序列,每个数都是 $|S|$ 中的某一个,所有数的乘积模 $m$ 等于 $x$ 的序列数目模1004535809的值. 输入 一行,四个整数,N.M.x.|S|,其中|S ...

  2. 【BZOJ3992】【SDOI2015】序列统计 原根 NTT

    题目大意 有一个集合\(s\),里面的每个数都\(\geq0\)且\(<m\). 问有多少个长度为\(n\)的数列满足这个数列所有数的乘积模\(m\)为\(x\).答案模\(1004535809 ...

  3. BZOJ.3992.[SDOI2015]序列统计(DP NTT 原根)

    题目链接 \(Description\) 给定\(n,m,x\)和集合\(S\).求\(\prod_{i=1}^na_i\equiv x\ (mod\ m)\)的方案数.其中\(a_i\in S\). ...

  4. 洛谷P3321 [SDOI2015]序列统计(NTT)

    传送门 题意:$a_i\in S$,求$\prod_{i=1}^na_i\equiv x\pmod{m}$的方案数 这题目太珂怕了……数学渣渣有点害怕……kelin大佬TQL 设$f[i][j]$表示 ...

  5. [BZOJ3992][SDOI2015]序列统计(DP+原根+NTT)

    3992: [SDOI2015]序列统计 Time Limit: 30 Sec  Memory Limit: 128 MBSubmit: 1888  Solved: 898[Submit][Statu ...

  6. 【BZOJ3992】[SDOI2015]序列统计 NTT+多项式快速幂

    [BZOJ3992][SDOI2015]序列统计 Description 小C有一个集合S,里面的元素都是小于M的非负整数.他用程序编写了一个数列生成器,可以生成一个长度为N的数列,数列中的每个数都属 ...

  7. bzoj3992【SDOI2015】序列统计

    3992: [SDOI2015]序列统计 Time Limit: 30 Sec  Memory Limit: 128 MB Submit: 673  Solved: 327 [Submit][Stat ...

  8. BZOJ 3992: [SDOI2015]序列统计 NTT+快速幂

    3992: [SDOI2015]序列统计 Time Limit: 30 Sec  Memory Limit: 128 MBSubmit: 1155  Solved: 532[Submit][Statu ...

  9. BZOJ 3992: [SDOI2015]序列统计 快速幂+NTT(离散对数下)

    3992: [SDOI2015]序列统计 Description 小C有一个集合S,里面的元素都是小于M的非负整数.他用程序编写了一个数列生成器,可以生成一个长度为N的数列,数列中的每个数都属于集合S ...

随机推荐

  1. PHP 支持8种基本的数据类型

    四种标量类型: boolean (布尔型):这是最简单的类型,只有两种取值,可以为 TRUE/true 或 FALSE/false ,不区分大小写.详细请查看:PHP布尔类型(boolean)inte ...

  2. docker dead but pid file exists

    CentOS 6安装docker 报docker dead but pid file exists 执行 yum install epel-release yum install docker-io ...

  3. 02-Nginx+MySQL+PHP7

    [安装Nginx] #先安装如下包 yum install gcc gcc-c++ kernel-devel yum -y install pcre-devel openssl openssl-dev ...

  4. ansible 检查大量客户端的文件与配置情况

    ansible pro_adservers -m command -a 'w' ansible pro_adservers -m command -a 'hostname' ansible pro_a ...

  5. jq自定义多选下拉列表框

    多选选择国家插件 https://gitee.com/richard1015/dropDownList

  6. IE兼容swiper

    swiper3能完美运用在移动端,但是运用在PC端,特别是IE浏览器上不能兼容,没有效果,要使IE兼容Swiper的话必须使用swiper2,也就是idangerous.swiper.js, 下载地址 ...

  7. thinkPHP替换SQL变量

    使用tp里M()->where(pb_id=%d and course=%d and DATE_FORMAT(pub_time, \"%H:%i:%s\") < &qu ...

  8. ASP.NET CORE MVC 实现减号分隔(Kebab case)样式的 URL

    ASP.NET CORE MVC 中,默认的 Route 模板是: /{controller}/{action}  .我们可以通过开启 URL 小写转换将 URL 变为小写,但此方式在 Control ...

  9. 将Object对象转换成Map 属性名和值的形式

    将Java对象转换成Map的键值对形式 代码: package cn.lonelcoud.util; import com.sun.deploy.util.StringUtils; import ja ...

  10. 修改maven项目jdk版本,并解决Dynamic Web Module 3.1 requires Java 1.7 or newer错误

    使用maven的时候,默认会使用1.5版本的JDK,并且创建项目时也会是1.5版本. 但是我想用JDK1.7版本,所以我手动将maven项目JDK改为1.7版本. 手动修改JDK版本为1.7以后,项目 ...