感觉这个题挺妙的......

考虑最暴力的\(dp\),令\(f[i][j]\)表示生成大小为\(i\)的序列,积为\(j\)的方案数,这样做是\(O(nm)\)的。

转移就是

\[f[i+1][j] = \sum\limits_{ab\equiv j(mod\ m)} f[i][a]f[1][b]
\]

后面那个柿子很像卷积?但下标是乘法......好像不那么好卷。

套路的去个对数啥的把他转化成加法?比方说取个ln

那底数怎么确定呢?

我们想把\(1...m-1\)这\(m-1\)个数通过取对数的方法映射到\(0,1,...m-2\)这些不同的数上。

咋办?以原根为底就好辣!(下面默认\(m\)原根是\(g\),\(\log a = \log_{g} a\))。

因为根据定义我们知道\(g^{m-1} \equiv 1\ (mod \ m)\),且\(g^0,g^1,\cdots,g^{m-2}\)是\(m-1\)个不同的数。

所以在上面的\(dp\)转移中,我们令\(A = \log a, B = \log b, C = \log j\),然后再改一下状态,转移就变成了

\[f[i+1][C] = \sum\limits_{A+B=C} f[i][A]f[1][B]
\]

这样一阶段的转移就是卷积的形式,且转移方式是相同的。

但是\(n\)很大.......因为转移的特殊性,我们可以类似快速幂那样倍增(有点像矩乘?)

具体边界还有一些要注意的地方就看代码吧:

#include <bits/stdc++.h>
using namespace std;
const int N=20100,P=1004535809,gen=3,igen=334845270;
inline int add(int x,int y,int mod=P){
return x+y>=mod?x+y-mod:x+y;
}
inline int sub(int x,int y,int mod=P){
return x-y<0?x-y+mod:x-y;
}
inline int fpow(int x,int y,int mod=P){
int ret=1; for(x%=mod;y;y>>=1,x=1ll*x*x%mod)
if(y&1) ret=1ll*ret*x%mod;
return ret;
}
int rev[N];
void init(int n){
for(int i=0;i<n;i++)
rev[i]=rev[i>>1]>>1|((i&1)?n>>1:0);
}
void ntt(int *f,int n,int flg){
for(int i=0;i<n;i++) if(rev[i]<i) swap(f[i],f[rev[i]]);
for(int len=2,k=1;len<=n;len<<=1,k<<=1){
int wn=fpow(flg==1?gen:igen,(P-1)/len);
for(int i=0;i<n;i+=len){
for(int w=1,j=i;j<i+k;j++,w=1ll*w*wn%P){
int tmp=1ll*f[j+k]*w%P;
f[j+k]=sub(f[j],tmp),f[j]=add(f[j],tmp);
}
}
}
if(flg==-1){
int inv=fpow(n,P-2);
for(int i=0;i<n;i++) f[i]=1ll*f[i]*inv%P;
}
}
int limit,m,n,X,C;
void mult(int *f,int *g){
static int F[N],G[N];
for(int i=0;i<m-1;i++) F[i]=f[i],G[i]=g[i];
for(int i=m-1;i<limit;i++) F[i]=G[i]=0;
ntt(F,limit,1),ntt(G,limit,1);
for(int i=0;i<limit;i++) F[i]=1ll*F[i]*G[i]%P;
ntt(F,limit,-1);
for(int i=0;i<m-1;i++) f[i]=add(F[i],F[i+m-1]); // 这里挺重要的qwq,因为卷起来后次数是2(m-1)的,又因为m-1一个循环,要加上去
} int chk(int g){
for(int i=2;i*i<=m-1;i++)
if((m-1)%i==0&&(fpow(g,i,m)==1||fpow(g,(m-1)/i,m)==1)) return 0;
return 1;
}
int getG(){
for(int i=2;;i++) if(chk(i))return i;
}
map<int,int> id;
void getans(int *f,int n,int *ans){
for(ans[id[1]]=1;n;n>>=1,mult(f,f)) // 一开始的时候只有f[0][1]是1
if(n&1) mult(ans,f);
}
int f[N],ans[N];
int main(){
scanf("%d%d%d%d",&n,&m,&X,&C);
limit=1; while(limit<=m*2)limit<<=1; init(limit);
int g=getG(); // m的原根
for(int i=0;i<m-1;i++)id[fpow(g,i,m)]=i;
for(int i=1;i<=C;i++){
int x; scanf("%d",&x),x%=m;
if(x) f[id[x]]=1;
}
getans(f,n,ans);
printf("%d\n",ans[id[X]]);
return 0;
}

[题解] LuoguP3321 [SDOI2015]序列统计的更多相关文章

  1. 【题解】SDOI2015序列统计

    [题解]SDOI2015序列统计 来自永不AFO的YYB的推荐 这里是乘积,比较麻烦,不过由于给定的序列膜数是个小质数,所以可以\(O(m^2\log m)\)找原跟(实际上不需要这么多). 乘积有点 ...

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

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

  3. 【LG3321】[SDOI2015]序列统计

    [LG3321][SDOI2015]序列统计 题面 洛谷 题解 前置芝士:原根 我们先看一下对于一个数\(p\),它的原根\(g\)有什么性质(好像就是定义): \(g^0\%p,g^1\%p,g^2 ...

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

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

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

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

  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. [BZOJ3992][SDOI2015]序列统计(DP+原根+NTT)

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

随机推荐

  1. python面向对象之练习题1

    定义管理员类,管理员有属性(name,password),可以创建学校.创建课程.创建老师 定义老师类,老师有属性(name,password),可以添加课程.给学生打分,但发现学生没有购买课程时,不 ...

  2. python之对象基础

    目录 面向对象 1. 面向过程编程的优缺点 2. 面向对象编程的优缺点 3. 类 类和函数的区别 什么是类 现实世界中先有对象,后有类 python中先有类,再有对象 对象 如何实例化一个对象 对象属 ...

  3. mathematica练习程序(第一章 Mathematica的基本量)

    虽然过去有用Mathematica解过一些问题,不过对这个语言并没有系统学习过. 所以最近想重新把Mathematica系统的学一遍. 偶然在B站上找到了这样一组教程:https://www.bili ...

  4. 「Luogu P2845 [USACO15DEC]Switching on the Lights 开关灯」

    USACO的又一道搜索题 前置芝士 BFS(DFS)遍历:用来搜索.(因为BFS好写,本文以BFS为准还不是因为作者懒) 链式前向星,本题的数据比较水,所以邻接表也可以写,但是链式前向星它不香吗. 具 ...

  5. 【Game学习随笔01】挑战任务01

    今天是2020年2月6日,时间过得好快,以至于我在写到时间会下意识写成2019年…… 看来全国肺炎情况进一步升温了,以至于我家所在的小区进行了命令封锁通知,所以出行不再像以前那么自由了,不管怎样,给战 ...

  6. 谈一下你对uWSGI和 nginx的理解(原理)

    要注意 WSGI / uwsgi / uWSGI 这三个概念的区分. WSGI是一种通信协议. uwsgi是一种线路协议而不是通信协议,在此常用于在uWSGI服务器与其他网络服务器的数据通信. uWS ...

  7. Censoring「USACO 2015 Feb」

    题目描述 有一个S串和一个T串,长度均小于1,000,000,设当前串为U串,然后从前往后枚举S串一个字符一个字符往U串里添加,若U串后缀为T,则去掉这个后缀继续流程. 输入格式 包含两行,第一行为S ...

  8. arm linux 移植 gdb/gdbserver

    背景 调试工具gdb的使用对于嵌入式Linux开发人员来说是一项不可少的技能. 目前,嵌入式 Linux系统中,主要有三种远程调试方法,分别适用于不同场合的调试工作:用ROM Monitor调试目标机 ...

  9. Product of Polynomials

    题意:多项式相乘,合并同类项后输出每一项的系数. 题目链接:https://www.patest.cn/contests/pat-a-practise/1009 分析:注意合并后系数为0,这一项就不存 ...

  10. oracle 查看表中有多少字段

    select count(*) from user_tab_columns t where t.TABLE_NAME='WPM_CHECK_ORDER'