【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. 树莓派3B上部署运行.net core 2程序

    针对Linxu arm处理器如何部署.net core 2的资料很少,网上找到几篇但都写得不够详细,按照他们教程来撞墙了,折磨了几天终于部署成功了,先上一张运行成功的图 1.windows系统中,在项 ...

  2. LeetCode - 307. Range Sum Query - Mutable

    Given an integer array nums, find the sum of the elements between indices i and j (i ≤ j), inclusive ...

  3. String,StringBuffer,StringBuilder的区别

    数据结构: 数据结构是指相互之间存在一种或多种特定关系的数据元素的集合. 比如数据库就是对硬盘中的数据进行有规则的管理,可以进行增删改查工作,而良好的数据结构可以优化这些操作, 也许大家会想这些和St ...

  4. 关于CSS的外边距合并问题

    首先,需要明确的是只有普通文档流中块框的垂直外边距才会发生外边距合并.行内框.浮动框或绝对定位之间的外边距不会合并. 而在普通文档流中,这又分两种情况,分别是父子元素之间和相邻元素之间. <!D ...

  5. Hadoop2.7.3+Spark2.1.0 完全分布式环境 搭建全过程

    一.修改hosts文件 在主节点,就是第一台主机的命令行下; vim /etc/hosts 我的是三台云主机: 在原文件的基础上加上; ip1 master worker0 namenode ip2 ...

  6. PH日期格式化

    %M 月名字(January--December) %W 星期名字(Sunday--Saturday) %D 有英语前缀的月份的日期(1st, 2nd, 3rd, 等等.) %Y 年, 数字, 4 位 ...

  7. scp的简单记忆方法

    scp虽然只有把文见发送到远端和从远端copy文件俩功能,但是常常把俩功能的先写什么给计混了,所以我就用通俗的大白话给总结了下,十分容易记忆,这里给大家分享一下.scp 我们常用的两个功能: (1)把 ...

  8. Nginx限流办法

    Nginx 限流 电商平台营销时候,经常会碰到的大流量问题,除了做流量分流处理,可能还要做用户黑白名单.信誉分析,进而根据用户ip信誉权重做相应的流量拦截.限制流量.Nginx自身有的请求限制模块ng ...

  9. 1.2 decimal模块

    >>> 0.1 + 0.1 +0.1 == 0.3 False >>> >>> print(0.1 + 0.1 + 0.1) 0.30000000 ...

  10. UVa230 Borrowers

    原题链接 UVa230 思路 这题输入时有一些字符串处理操作,可以利用string的substr()函数和find_last_of()函数更加方便,处理时不必更要把书名和作者对应下来,注意到原题书名的 ...