思路

首先有个挺显然的DP

\[dp[i][(j*k)\%m]+=dp[i-1][j]\times dp[i-1][k]
\]

想办法优化这个DP

这个dp也可以写成这样

\[dp[i][j]=\sum_{p*q=j}dp[i-1][p]\times dp[i-1][q]
\]

看着一副卷积的样子

但是是乘法,可以考虑转化乘法为加法,有两种方式,取ln或者原根

注意到m是质数,所以取原根,每层之间的转移就变成卷积了

但是这题的卷积下标是模m的,所以每次乘完都要把大于m-1的加到对应项上(i+m-1和i对应)所以好像不能直接多项式快速幂

n是\(10^9\),上个类似快速幂的倍增即可

复杂度是\(O(m \log m \log n)​\)

代码

#include <cstdio>
#include <algorithm>
#include <cstring>
#include <queue>
#include <cmath>
#define int long long
using namespace std;
const int MOD = 1004535809;
const int G = 3;
const int invG = 334845270;
const int MAXN = 140000;
namespace getG{
int q[100000],cnt=0;
int phi(int n){
int ans=n;
int m=(int)sqrt(n+0.5);
for(int i=2;i<=m;i++){
if(n%i==0){
ans=ans/i*(i-1);
while(n%i==0)
n/=i;
}
}
if(n>1)
ans=ans/n*(n-1);
return ans;
}
int my_pow(int a,int b,int mod){
int ans=1;
while(b){
if(b&1)
ans=(1LL*ans*a)%mod;
a=(1LL*a*a)%mod;
b>>=1;
}
return ans;
}
int G(int m){
int Phi = phi(m);
int sq=sqrt(Phi),mid=Phi;
for(int i=2;i<=sq;i++)
if(mid%i==0){
q[++cnt]=Phi/i;
while(mid%i==0)
mid/=i;
}
if(mid>1)
q[++cnt]=Phi/mid;
for(int g=2;1;g++){
int f=true;
if(my_pow(g,Phi,m)!=1)
continue;
else
for(int j=1;j<=cnt;j++){
if(my_pow(g,q[j],m)==1){
f=false;
break;
}
}
if(f)
return g;
}
}
};
int rev[MAXN];
int my_pow(int a,int b){
int ans=1;
while(b){
if(b&1)
ans=(1LL*ans*a)%MOD;
a=(1LL*a*a)%MOD;
b>>=1;
}
return ans;
}
void cal_rev(int n,int lim){
for(int i=0;i<n;i++)
rev[i]=(rev[i>>1]>>1)|((i&1)<<(lim-1));
}
void NTT(int *a,int opt,int n,int lim){
for(int i=0;i<n;i++)
if(i<rev[i])
swap(a[i],a[rev[i]]);
for(int i=2;i<=n;i<<=1){
int len=i/2;
int tmp=my_pow((opt)?G:invG,(MOD-1)/i);
for(int j=0;j<n;j+=i){
int arr=1;
for(int k=j;k<j+len;k++){
int t=(1LL*a[k+len]*arr)%MOD;
a[k+len]=(a[k]-t+MOD)%MOD;
a[k]=(a[k]+t)%MOD;
arr=(1LL*arr*tmp)%MOD;
}
}
}
if(!opt){
int invN = my_pow(n,MOD-2);
for(int i=0;i<n;i++)
a[i]=(1LL*a[i]*invN)%MOD;
}
}
void mul(int *a,int *b,int &at,int bt){
int num=(at+bt),n=1,lim=0;
while(n<=(num+2))
n<<=1,lim++;
cal_rev(n,lim);
static int tmp[MAXN];
for(int i=0;i<n;i++)
tmp[i]=b[i];
NTT(a,1,n,lim);
NTT(tmp,1,n,lim);
for(int i=0;i<n;i++)
a[i]=(1LL*a[i]*tmp[i])%MOD;
NTT(a,0,n,lim);
at+=bt;
}
void sqr(int *a,int &at){
int num=(at+at),n=1,lim=0;
while(n<=(num+2))
n<<=1,lim++;
cal_rev(n,lim);
static int tmp[MAXN];
for(int i=0;i<n;i++)
tmp[i]=a[i];
NTT(tmp,1,n,lim);
for(int i=0;i<n;i++)
a[i]=(1LL*tmp[i]*tmp[i])%MOD;
NTT(a,0,n,lim);
at=num;
}
void my_pow(int *a,int *b,int n,int m,int k){
static int tmp[MAXN];
for(int i=0;i<=n;i++)
tmp[i]=a[i];
b[0]=1;
int bt=m-1;
while(k){
if(k&1){
mul(b,tmp,bt,n);
for(int i=0;i<m;i++){
b[i]=(b[i]+b[i+m-1])%MOD;
b[i+m-1]=0;
}
for(int i=m;i<=bt;i++)
b[i]=0;
bt=m-1;
}
sqr(tmp,n);
for(int i=0;i<m;i++){
tmp[i]=(tmp[i]+tmp[i+m-1])%MOD;
tmp[i+m-1]=0;
}
for(int i=m;i<=n;i++)
tmp[i]=0;
n=m-1;
k>>=1;
}
}
int n,m,pos[MAXN],S,x,a[MAXN],b[MAXN];
signed main(){
scanf("%lld %lld %lld %lld",&n,&m,&x,&S);
int g=getG::G(m);
for(int i=1,t=1;i<=m-2;i++){
t=(1LL*t*g)%m;
pos[t]=i;
}
for(int i=1;i<=S;i++){
int midx;
scanf("%lld",&midx);
if(midx)
a[pos[midx]]=1;
}
my_pow(a,b,m-1,m,n);
printf("%lld\n",b[pos[x]]);
return 0;
}

P3321 [SDOI2015]序列统计的更多相关文章

  1. P3321 [SDOI2015]序列统计 FFT+快速幂+原根

    \(\color{#0066ff}{ 题目描述 }\) 小C有一个集合S,里面的元素都是小于M的非负整数.他用程序编写了一个数列生成器,可以生成一个长度为N的数列,数列中的每个数都属于集合S.小C用这 ...

  2. [洛谷P3321][SDOI2015]序列统计

    题目大意:给你一个集合$n,m,x,S(S_i\in(0,m],m\leqslant 8000,m\in \rm{prime},n\leqslant10^9)$,求一个长度为$n$的序列$Q$,满足$ ...

  3. Luogu P3321 [SDOI2015]序列统计

    一道不错的多项式好题.还涉及了一些数论内容. 首先我们看到题目是求乘积模\(m\)的方案数,考虑到这种方案数我们一般都可以用生成函数来做. 但显然卷积的下标有加(FFT,NTT等)有位运算(FWT)但 ...

  4. 洛咕 P3321 [SDOI2015]序列统计

    显然dp就是设\(f[i][j]\)表示dp了i轮,对m取膜是j的方案数 \(f[i][xy\mod m]=f[i-1][x]\times f[i-1][y]\) 这是\(O(nm^2)\)的 像我这 ...

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

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

  6. BZOJ 3992: [SDOI2015]序列统计 [快速数论变换 生成函数 离散对数]

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

  7. [SDOI2015]序列统计

    [SDOI2015]序列统计 标签: NTT 快速幂 Description 给你一个模m意义下的数集,需要用这个数集生成一个数列,使得这个数列在的乘积为x. 问方案数模\(1004535809\). ...

  8. 3992: [SDOI2015]序列统计

    3992: [SDOI2015]序列统计 链接 分析: 给定一个集和s,求多少个长度为n的序列,满足序列中每个数都属于s,并且所有数的乘积模m等于x. 设$f=\sum\limits_{i=0}^{n ...

  9. [BZOJ 3992][SDOI2015]序列统计

    3992: [SDOI2015]序列统计 Time Limit: 30 Sec  Memory Limit: 128 MBSubmit: 2275  Solved: 1090[Submit][Stat ...

随机推荐

  1. vue设置背景图片

    现在data里面定义: note: { backgroundImage: "url(" + require("../../assets/home/bigdatabak.p ...

  2. ES6的字符串和数值的扩展

    字符串扩展 对于处理大于两个字节(大于0xffff)的字符,let str =’\u{20bb7}abc’ ES5中的遍历  for(let i=0;i<str.length;i++){ con ...

  3. redis集群及相关的使用

    从redis 3.0之后版本支持redis-cluster集群,Redis-Cluster采用无中心结构,每个节点保存数据和整个集群状态,每个节点都和其他所有节点连接. 1.所有的redis节点彼此互 ...

  4. 图解:window与BOM的关系

    window与BOM的关系: 1.https://www.jianshu.com/p/f5409202a835

  5. vue Baidu Map --- vue百度地图插件

    vue Baidu Map 官网:https://dafrok.github.io/vue-baidu-map/#/zh/start/installation javascript 官网:http:/ ...

  6. iOS 上架注意

    一.推送证书 配置推送证书的流程说明:https://docs.aws.amazon.com/zh_cn/pinpoint/latest/developerguide/apns-setup.html ...

  7. windows程序设计 Unicode和多字节之间转换

    Unicode转多字节:WideCharToMultiByte 多字节转Unicode:MultiByteToWideChar 代码演示 #include <windows.h> int ...

  8. zipCrack-v1.1 工具介绍

    一个暴力破解zip的工具 用python开发 与kali 自带的fcrackzip类似 git地址:https://github.com/mapyJJJ/python3-for-linux-h-.gi ...

  9. CentOS7运行报错kernel:NMI watchdog: BUG: soft lockup - CPU#0 stuck for 26s

    CentOS内核,对应的文件是/proc/sys/kernel/watchdog_thresh.CentOS内核和标准内核还有一个地方不一样,就是处理CPU占用时间过长的函数,CentOS下是watc ...

  10. python 类的属性__slots__ (了解一点点)

    当一个类需要创建大量实例时,可以通过__slots__声明实例所需要的属性, 优点: 1)更快的属性访问速度 2)减少内存消耗 3)限定一个类创建的实例只能有固定的实例属性(实例变量),不允许对象添加 ...