3992: [SDOI2015]序列统计

Time Limit: 30 Sec  Memory Limit: 128 MB

Submit: 673  Solved: 327

[Submit][Status][Discuss]

Description

小C有一个集合S,里面的元素都是小于M的非负整数。他用程序编写了一个数列生成器,能够生成一个长度为N的数列,数列中的每一个数都属于集合S。
小C用这个生成器生成了很多这种数列。可是小C有一个问题须要你的帮助:给定整数x,求全部能够生成出的,且满足数列中全部数的乘积mod M的值等于x的不同的数列的有多少个。小C觉得,两个数列{Ai}和{Bi}不同。当且仅当至少存在一个整数i,满足Ai≠Bi。另外,小C觉得这个问题的答案可能非常大,因此他仅仅须要你帮助他求出答案mod 1004535809的值就能够了。

Input

一行。四个整数。N、M、x、|S|,当中|S|为集合S中元素个数。

第二行,|S|个整数,表示集合S中的全部元素。

Output

一行,一个整数,表示你求出的种类数mod
1004535809的值。

Sample Input

4 3 1 2

1 2

Sample Output

8

HINT

【例子说明】
能够生成的满足要求的不同的数列有(1,1,1,1)、(1,1,2,2)、(1,2,1,2)、(1,2,2,1)、(2,1,1,2)、(2,1,2,1)、(2,2,1,1)、(2,2,2,2)。
【数据规模和约定】
对于10%的数据。1<=N<=1000;
对于30%的数据,3<=M<=100;
对于60%的数据,3<=M<=800。
对于所有的数据,1<=N<=109,3<=M<=8000,M为质数,1<=x<=M-1。输入数据保证集合S中元素不反复

Source

NTT第一题

首先能够发现1004535809=479*2^21+1,并且是一个质数,所以能够用NTT解决。

用f[i][j]表示i个数模m等于g^j的方案数(i为2的整数次幂,g为m的原根)。则f[i][j]=∑f[i/2][k]*f[i/2][j-k]。

这样就成了卷积形式,NTT搞定。

但n并不一定是2的整数次幂,这里就要用到高速幂的思想(详见代码)。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<algorithm>
#define F(i,j,n) for(int i=j;i<=n;i++)
#define D(i,j,n) for(int i=j;i>=n;i--)
#define ll long long
#define maxn 40000
#define mod 1004535809
using namespace std;
int n,m,num,s,mg,g,bit,inv;
int a[maxn],c[maxn],A[maxn],B[maxn],ind[maxn],rev[maxn];
inline int read()
{
int x=0,f=1;char ch=getchar();
while (ch<'0'||ch>'9'){if (ch=='-') f=-1;ch=getchar();}
while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
inline ll power(ll x,int y,int p)
{
ll ret=1;
for(;y;y>>=1,x=x*x%p) if (y&1) ret=ret*x%p;
return ret;
}
inline bool get_order(int x,int m)
{
int lim=sqrt(m),phi=m-1;
F(i,1,lim) if (phi%i==0)
{
if (power(x,i,m)==1){if (i!=m-1) return false;}
if (power(x,phi/i,m)==1){if (phi/i!=m-1) return false;}
}
return true;
}
inline int get_primitive_root(int x)
{
F(i,2,x) if (get_order(i,x)) return i;
}
inline void ntt(int *a,int flag)
{
F(i,0,(1<<bit)-1) if (rev[i]>i) swap(a[i],a[rev[i]]);
F(i,1,bit)
{
int y=(1ll*flag*(mod-1)/(1<<i)+mod-1)%(mod-1);
ll wn=power(g,y,mod);
for(int j=0;(j<1<<bit);j+=(1<<i))
{
ll w=1;
F(k,j,j+(1<<(i-1))-1)
{
int u=a[k],v=w*a[k+(1<<(i-1))]%mod;
a[k]=(u+v)%mod;
a[k+(1<<(i-1))]=((u-v)%mod+mod)%mod;
w=w*wn%mod;
}
}
}
if (flag<0) F(i,0,(1<<bit)-1) a[i]=1ll*a[i]*inv%mod;
}
inline void convol(int *a,int *b)
{
int len=1<<bit;
F(i,0,len-1) c[i]=b[i];
ntt(a,1);ntt(c,1);
F(i,0,len-1) a[i]=(ll)a[i]*c[i]%mod;
ntt(a,-1);
for(int i=m-1,j=0;i<len;i++,j++) a[j]=(a[j]+a[i])%mod,a[i]=0;
}
int main()
{
n=read();m=read();num=read();s=read();
F(i,1,s) a[i]=read();
mg=get_primitive_root(m);
g=get_primitive_root(mod);
int tmp=1;
F(i,0,m-2){ind[tmp]=i;tmp=tmp*mg%m;}
for(bit=0;(1<<bit)<(m-1)*2;bit++);
inv=power(1<<bit,mod-2,mod);
F(i,0,(1<<bit)-1) rev[i]=rev[i>>1]>>1|((i&1)<<(bit-1));
A[0]=1;
F(i,1,s) if (a[i]) B[ind[a[i]]]=1;
for(;n;convol(B,B),n>>=1) if (n&1) convol(A,B);
printf("%d\n",A[ind[num]]);
return 0;
}

最新文章

  1. SQL Server编程入门
  2. sql基本命令
  3. VS中的代码段功能
  4. JAVA的整型与字符串相互转换
  5. (转)使用SQLCMD在SQLServer执行多个脚本
  6. [JAVA设计模式]第三部分:结构模式
  7. 【转载】String、StringBuffer与StringBuilder之间区别
  8. 搭建LNMP发布ecshop系统及压测启用opcache缓存与否的情况
  9. php中12个魔术方法
  10. jboss7.1.1配置数据库mysql与oracle
  11. iOS 表视图(UITableVIew)的使用方法(1)表视图的示例
  12. Chrome控制台详解
  13. lock invoke 死锁事例
  14. 跨域请求cookie获取与设置问题
  15. MySQL .msi 安装失败改用.zip安装步骤
  16. iot前台开发环境:请求示例
  17. nohup 与 &amp; 的区别
  18. CEPH监控软件
  19. vip视频解析接口
  20. js计算日期增加

热门文章

  1. 如何隐藏 video 元素的下载按钮
  2. Hadoop 2.2.0 Job源代码阅读笔记
  3. 【安居客】资深PHP软件开发工程师
  4. 一个小时内学习SQLite数据库
  5. 发布android apk,Error running app: No target device found.
  6. ElasticSearch5.5.2:Windows下ElasticSearch安装配置
  7. TestNG+ReportNG+IDEA+Git+Jenkins+surefire持续集成数据驱动dubbo接口测试
  8. Codeforces #263 div2 解题报告
  9. 【IOS】mac终端运行.sh文件总是提示permission denied
  10. Django与SQL语言中——NULL与空字符串的区别