【LG3321】[SDOI2015]序列统计

题面

洛谷

题解

前置芝士:原根

我们先看一下对于一个数\(p\),它的原根\(g\)有什么性质(好像就是定义):

\(g^0\%p,g^1\%p,g^2\%p...g^{p-2}\%p\)恰好等于\([0,p - 1]\)中所有数。

那么怎么求呢?

对\(\varphi(p)\)分解质因数,得到\(\varphi(p)=p_1^{a_1}p_2^{a_2}p_3^{a_3}...p_n^{a_n}\)

从\(2\)~\((p-1)\)枚举\(g\),如果满足\(g\)对于\(\forall p_i\),有$$g^{\frac {\varphi(p)}{p_i}}\neq1;mod;p$$

则该数是个原根,\(break\),否则\(continue\)

关于此题:

有了上面的铺垫,我们想一想这题怎么做。

设\(f[i][j]\)表示选了\(i\)个数,乘积\(\%m\)为\(j\)的方案数,

则有转移:

\[f[2*i][c]=\sum_{a*b\%m=c}f[i][a]*f[i][b]
\]

这时候我们复杂度是\(O(m^2\log n)\)的,跑不过去,而转移次数已经无法优化了,想办法优化转移。

观察这个转移,如果它的判断条件为\((a+b)\%m=c\),我们不就可以卷起来了吗?

想想什么能把乘法换成加法?对数!!!

但是因为是模意义下的对数,所以我们取个原根就行了。

\(\therefore\) 设\(C=\log_gc\%m,A=\log_ga\%m,B=\log_gb\%m\)。

则有转移:

\[f[2*i][C]=\sum_{(A+B)\%\varphi (m)=c}f[i][A]*f[i][B]
\]

那么就可以用\(NTT\)搞了,

注意最后要\(f[i][j]+=f[i][j+\varphi (m)]\),因为你每次卷起来后\(\varphi (m)\)~\((2\varphi (m)-2)\)项都是要算贡献的。

注意:集合中\(\%m=0\)的数也要判一下。

代码

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <map>
using namespace std;
inline int gi() {
register int data = 0, w = 1;
register char ch = 0;
while (!isdigit(ch) && ch != '-') ch = getchar();
if (ch == '-') w = -1, ch = getchar();
while (isdigit(ch)) data = 10 * data + ch - '0', ch = getchar();
return w * data;
}
int fpow(int x, int y, int mod) {
int res = 1;
while (y) {
if (y & 1) res = 1ll * res * x % mod;
x = 1ll * x * x % mod;
y >>= 1;
}
return res;
}
const int Mod = 1004535809, G = 3, iG = fpow(G, Mod - 2, Mod);
int GetRoot(int x) {
int fact[10000], tot = 0;
int phi = x - 1;
for (int i = 2; i * i <= phi; i++) {
if (phi % i == 0) {
fact[++tot] = i;
while (phi % i == 0) phi /= i;
}
}
if (phi > 1) fact[++tot] = phi;
phi = x - 1;
for (int i = 2; i <= phi; i++) {
bool flg = 1;
for (int j = 1; j <= tot && flg; j++)
if (fpow(i, phi / fact[j], x) == 1) flg = 0;
if (flg) return i;
}
return -1;
}
const int MAX_M = 2.4e4 + 5;
int Limit, rev[MAX_M];
void NTT(int *p, int op) {
for (int i = 0; i < Limit; i++) if (i < rev[i]) swap(p[i], p[rev[i]]);
for (int i = 1; i < Limit; i <<= 1) {
int rot = fpow(op == 1 ? G : iG, (Mod - 1) / (i << 1), Mod);
for (int j = 0; j < Limit; j += (i << 1)) {
int w = 1;
for (int k = 0; k < i; k++, w = 1ll * w * rot % Mod) {
int x = p[j + k], y = 1ll * w * p[i + k + j] % Mod;
p[j + k] = (x + y) % Mod, p[i + j + k] = (x - y + Mod) % Mod;
}
}
}
if (op == -1) {
int inv = fpow(Limit, Mod - 2, Mod);
for (int i = 0; i < Limit; i++) p[i] = 1ll * p[i] * inv % Mod;
}
}
map<int, int> mp;
int N, M, X, S, F[MAX_M], H[MAX_M];
void mul(int *A, int *B, int *C) {
static int res[MAX_M], a[MAX_M], b[MAX_M];
for (int i = 0; i < Limit; i++) a[i] = A[i], b[i] = B[i];
NTT(a, 1), NTT(b, 1);
for (int i = 0; i < Limit; i++) a[i] = 1ll * a[i] * b[i] % Mod;
NTT(a, -1);
for (int i = 0; i < M - 1; i++) res[i] = (a[i] + a[i + M - 1]) % Mod;
for (int i = 0; i < M - 1; i++) C[i] = res[i];
}
int main () {
N = gi(), M = gi(), X = gi(), S = gi();
int g = GetRoot(M); for (int i = 0; i < M - 1; i++) mp[fpow(g, i, M)] = i;
for (int i = 1, x; i <= S; i++) {
x = gi() % M;
if (x) F[mp[x % M]]++;
}
H[mp[1]] = 1;
int p = 0;
for (Limit = 1; Limit <= 2 * M; Limit <<= 1, ++p) ;
for (int i = 0; i < Limit; i++) rev[i] = (rev[i >> 1] >> 1) | ((i & 1) << (p - 1));
while (N) {
if (N & 1) mul(H, F, H);
mul(F, F, F);
N >>= 1;
}
printf("%d\n", H[mp[X]]);
return 0;
}

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

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

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

  2. [SDOI2015]序列统计

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

  3. 3992: [SDOI2015]序列统计

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

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

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

  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. Java对html标签的过滤和清洗

    OWASP HTML Sanitizer 是一个简单快捷的java类库,主要用于放置XSS 优点如下: 1.使用简单.不需要繁琐的xml配置,只用在代码中少量的编码 2.由Mike Samuel(谷歌 ...

  2. ctf经典好题复习

    WEB200-2 这是swpu-ctf的一道题. <?php if(isset($_GET['user'])){ $login = @unserialize(base64_decode($_GE ...

  3. Odoo模块添加logo

    模块的static目录是专门用于存放静态文件内容如:图片.css等的.其中,description目录是存放关于模块的一些描述性的文件的,其中,模块的图标也放在下面,以icon命名.

  4. Bootstrap--模仿官网写一个页面

    本文参考Bootstrap官方文档写了简单页面来熟悉Bootstrap的栅格系统.常用CSS样.Javascript插件和部分组件. 以下html代码可以直接复制本地运行: BootstrapPage ...

  5. 关于numpy mean函数的axis参数

    import numpy as np X = np.array([[1, 2], [4, 5], [7, 8]]) print np.mean(X, axis=0, keepdims=True) pr ...

  6. Nexus修改admin密码及其添加用户

    Nexus之所以修改密码,是为了安全起见,个人学习的话,本地windows或者虚拟机即可,外网服务器建议将密码修改复杂点,而且强烈建议端口不要8081,最好将其改为其他的.同样也是为了安全起见. 添加 ...

  7. 从零搭建vue

    第一步: 安装node.js,一般安装 长期维护版  相对比较稳定 点击下载,下载好了之后双击运行,可选择安装路径,然后一路下一步即可. 安装完成后,在cmd输入 node -v 如果出现版本号,则安 ...

  8. XMPP备忘笔记

    xmpp中文翻译计划: http://wiki.jabbercn.org/%E9%A6%96%E9%A1%B5 XEP-0004: 数据表单 摘要: 本文定义了一个XMPP扩展协议用于数据表单,可以用 ...

  9. Android-社会化分享

    2016年2月25日下午3点:现在无事,整理下这两天在网上搜集到的乱起八糟的东西和我的思路. 关于对社会化分享的了解,源于前天的一次apk打包操作.现在的情况是:开发编写功能代码提交SVN,我把代码d ...

  10. 一些有用的社区论坛,wiki网站(持续更新)

    1. IBM开发者(IBM developerwork): 这是一个比较全面的网站,上面有关于linux 管理.linux内核设计.存储等各个方面的知识,内容广泛,参考价值很高 http://www. ...