[SDOI2015]序列统计

标签: NTT 快速幂


Description

给你一个模m意义下的数集,需要用这个数集生成一个数列,使得这个数列在的乘积为x。

问方案数模\(1004535809\)。

Solution

首先很容易写出一个dp。

\(dp_{i,j}\)数列长度为i,乘积为j的方案数。

这么做是\(O(nm^2)\)的。

所以我们肯定要搞点事情,把n变成logn。

这个数列显然是满足结合律的,并且每次的转移都相同。

于是可以写一个快速幂,把n降为logn。

注意到乘积不太好维护,所以可以用原根来把乘法变成加法。

那么现在问题就变成了,\(dp_{i,j}\)表示数列长度为i,和为j的方案数。

是不是很像一个背包?

注意到每次合并两个背包就是一个卷积,所以我们用NTT维护即可。

最终复杂度。\(O(m\ logm\ logn)\)

Code

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<cmath>
#include<queue>
#include<stack>
#include<set>
#include<map>
using namespace std;
#define ll long long
#define REP(i,a,b) for(int i=(a),_end_=(b);i<=_end_;i++)
#define DREP(i,a,b) for(int i=(a),_end_=(b);i>=_end_;i--)
#define EREP(i,a) for(int i=start[(a)];i;i=e[i].next)
inline int read()
{
int sum=0,p=1;char ch=getchar();
while(!(('0'<=ch && ch<='9') || ch=='-'))ch=getchar();
if(ch=='-')p=-1,ch=getchar();
while('0'<=ch && ch<='9')sum=sum*10+ch-48,ch=getchar();
return sum*p;
} const int maxn=2e4+20;
const int mod=1004535809; int yg;
int len,m,en,n,to[maxn]; inline int power(int a,int b,int mod)
{
int ans=1;
while(b)
{
if(b & 1)ans=(ll)ans*a%mod;
b>>=1;
a=(ll)a*a%mod;
}
return ans;
} inline void getyg()
{
for(yg=2;yg<=m-1;yg++)
{
int x=m-1,y=x,flg=1;
for(int i=2;i*i<=y;i++)
{
if(x%i)continue;
while(!(y%i))y/=i;
if(power(yg,x/i,m)==1){flg=0;break;}
}
if(y>1)if(power(yg,x/y,m)==1)continue;
if(flg)return;
}
} int rev[maxn],a[maxn],f[maxn],g[maxn]; void NTT(int *p,int opt)
{
REP(i,0,n-1)if(i<rev[i])swap(p[i],p[rev[i]]);
for(int i=1;i<n;i<<=1)
{
int W=power(3,(mod-1)/(i<<1),mod);
for(int j=0;j<n;j+=i<<1)
{
int w=1;
for(int k=j;k<j+i;k++,w=(ll)w*W%mod)
{
int x=p[k],y=(ll)w*p[k+i]%mod;
p[k]=x+y;p[k+i]=x-y;
if(p[k]>=mod)p[k]-=mod;
if(p[k+i]<0)p[k+i]+=mod;
}
}
}
if(opt==-1)
{
reverse(p+1,p+n);
int inv=power(n,mod-2,mod);
REP(i,0,n-1)p[i]=(ll)p[i]*inv%mod;
}
} inline void init()
{
len=read();m=read();en=read();n=read();
getyg();
REP(i,0,m-2)to[power(yg,i,m)]=i;
REP(i,1,n)
{
int x=read();if(!x)continue;
a[i]=to[x],f[a[i]]++;
}
int s=2*(m-1),l=0;
n=1;while(n<s)l++,n<<=1;
REP(i,1,n-1)rev[i]=(rev[i>>1]>>1)| ( (i & 1)<<(l-1));
} inline void doing()
{
//REP(i,0,n-1)printf("%d ",g[i]);puts("");
g[0]=1;
while(len)
{
if(len & 1)
{
NTT(g,1);
NTT(f,1);
REP(i,0,n-1)g[i]=(ll)f[i]*g[i]%mod;
NTT(g,-1);
NTT(f,-1);
REP(i,m-1,n-1)
g[i%(m-1)]=(g[i%(m-1)]+g[i])%mod,g[i]=0;
}
len>>=1;
NTT(f,1);
REP(i,0,n-1)f[i]=(ll)f[i]*f[i]%mod;
NTT(f,-1);
REP(i,m-1,n-1)
f[i%(m-1)]=(f[i%(m-1)]+f[i])%mod,f[i]=0;
}
printf("%d\n",g[to[en]]);
} int main()
{
freopen("sequence.in","r",stdin);
freopen("sequence.out","w",stdout);
init();
doing();
return 0;
}

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

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

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

  2. 3992: [SDOI2015]序列统计

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

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

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

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

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

  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. BZOJ 3992: [SDOI2015]序列统计 NTT+快速幂

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

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

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

  9. [SDOI2015]序列统计(NTT+求原根)

    题目 [SDOI2015]序列统计 挺好的题!!! 做法 \(f[i][j]\)为第\(i\)个数前缀积在模\(M\)意义下为\(j\) 显然是可以快速幂的:\[f[2*i][j]=\sum\limi ...

随机推荐

  1. 【Asp.net Core】在 Linux 子系统中安装 nginx 并配置反向代理

    上一篇鸟文中,老周已经介绍过在 Ubuntu 子系统中安装 dotnet-sdk 的方法,本文老周给大伙伴们说说安装 nginx 服务,并配置反向代理.同样,老周假设你从来没有用过 Linux,所以老 ...

  2. J.U.C ThreadPoolExecutor解析

    Java里面线程池顶级接口是Executor,但严格意义上讲Executor并不是一个线程池,而是一个线程执行工具,真正的线程池接口是ExecutorService.关系类图如下: 首先Executo ...

  3. mysql查询语句处理

    两表做链接查询,   查理处理顺序各个阶段: 1) From: 对From子句中的坐标<left_table>和右表<right_table>执行笛卡尔积,产生虚拟表T1: 2 ...

  4. UML图学习之二 类图

    类图(ClassDiagrams)是根据系统中的类以及各类之间的关系描述系统的静态视图.类图不仅显示系统内信息的结构,还描述系统内这些信息的行为.类图的一个重要目的是为其他图(如顺序图.交互图)定义一 ...

  5. 单词拼写检查之cutoff距离

    前言 cutoff是一个比较冷门的概念,相比于DP经典算法的编辑距离,cutoff距离只局限于自然语言处理领域.提出cutoff距离的起因很简单,因为经典的编辑距离无法很好地衡量在字符串搜索过程中的编 ...

  6. mybatis用spring的动态数据源实现读写分离

    一.环境: 三个mysql数据库.一个master,两个slaver.master写数据,slaver读数据. 二.原理: 借助Spring的 AbstractRoutingDataSource 这个 ...

  7. phpExcel导出excel加超级链接的实例代码[转]

    phpexcel实现的导出excel文件的代码,且可以在excel文件中加入超级链接. 说明:PHPExcel的开发包Tests目录有详细使用实例.以下代码支持中文,注意文件编码,文件保存为utf-8 ...

  8. windows 下安装和运行 hadoop

    windows下安装hadoop,直接去官网采用简单暴力的方法: 1.下载hadoop的安装包:http://hadoop.apache.org/->左边点Releases->点mirro ...

  9. mysql主从配置主主配置

    一.     概述  MySQL从3.23.15版本以后提供数据库复制(replication)功能,利用该功能可以实现两个数据库同步.主从模式.互相备份模式的功能.本文档主要阐述了如何在linux系 ...

  10. awk之FIELDWIDTHS字段宽度

    $ cat file 1234567890 $ awk -vFIELDWIDTHS="1 2 3 4 5" -vOFS="|" 'NF=NF' file 1|2 ...