题面

Alice想要得到一个长度为n的序列,序列中的数都是不超过m的正整数,而且这n个数的和是p的倍数。

Alice还希望,这n个数中,至少有一个数是质数。

Alice想知道,有多少个序列满足她的要求。

输入格式

一行三个数,n,m,p。

对100\%的数据,1<= n <=1e9,1<= m <= 2e7,1<= p <= 100

输出格式

一行一个数,满足Alice的要求的序列数量,答案对20170408取模。

题解

我很少写这样的矩阵快速幂的题解

由于p的范围很小,所以p^3*log是可以过的

我们先求不加质数限制的方案数,再减去所有数都为合数的方案。

这道题,其实我们要知道[1,m]中的这些数在p的剩余系中的分布就可以计算,

因为对于不加质数限制的方案,就算值域在[1 + p,m + p]它的答案也是正确的。

设f[i][j]表示对于i个数,“ 其总和 % p = j ”的方案数,

我们发现,对于f,余数是要相加的,而方案数是要相乘的,

根据这个来推一下矩阵,i = 1的情况要直接算:

然后答案矩阵 ,这里的n就是题目中的n,

再来推一下所有数都是合数的方案

其实只要用欧拉筛筛一遍合数就行,然后:

表示对于i个合数,“ 其总和 % p = j ”的方案数,

我们发现,对于f,余数是要相加的,而方案数是要相乘的,

根据这个来推一下矩阵,i = 1的情况要直接算:

然后答案矩阵 ,这里的n就是题目中的n,

最终的答案就是

别忘了要全程取模

CODE

#include<cstdio>
#include<iostream>
#include<cstring>
#include<vector>
#include<queue>
#include<stack>
#include<cmath>
#include<algorithm>
#define LL long long
#define MAXN 200005
#pragma GCC optimize(2)
#pragma G++ optimize(3)
#define rg register
#define DB double
using namespace std;
inline int read() {
int f = 1,x = 0;char s = getchar();
while(s < '0' || s > '9') {if(s == '-') f = -1;s = getchar();}
while(s >= '0' && s <= '9') {x = x * 10 + s - '0';s = getchar();}
return x * f;
}
int mod = 20170408;
int n,m,q,i,j,s,o,k,t;
struct matrix{
int n,m;
int a[105][105];
matrix(){memset(a,0,sizeof(a));n = m = 1;}
}m1;
matrix operator * (matrix A,matrix B) {
matrix C;
C.n = A.n;C.m = B.m;
for(rg int i = 1;i <= C.n;i ++) {
for(rg int k = 1;k <= A.m;k ++) {
for(rg int j = 1;j <= C.m;j ++) {
C.a[i][j] = (C.a[i][j] + A.a[i][k] *1ll* B.a[k][j] % mod) % mod;
}
}
}
return C;
}
matrix qkpow(matrix a,LL b) {
if(b == 0) return m1;
if(b == 1) return a;
matrix as = qkpow(a,b>>1);
return as*as*qkpow(a,b&1);
}
int pri[5000005],cn;
bool f[20000005];
void sieve(int n) {
f[1] = 1;cn = 0;
for(rg int i = 2;i <= n;i ++) {
if(!f[i]) pri[++cn] = i;
for(rg int j = 1;j <= cn && i * pri[j] <= n;j ++) {
f[i * pri[j]] = 1;
if(i % pri[j] == 0) break;
}
}
}
int cnt[105],cnt2[105];
int main() {
n = read();m = read();k = read();
for(rg int i = 1;i <= k;i ++) m1.a[i][i] = 1;
m1.n = m1.m = k;
sieve(m);
for(rg int i = 1;i <= m;i ++) {
if(f[i]) cnt2[i % k] ++;
cnt[i % k] ++;
}
matrix A,B,C,D;
A.n = 1,A.m = B.n = B.m = k;
for(rg int i = 1;i <= k;i ++) A.a[1][i] = cnt[i-1];
for(rg int i = 1;i <= k;i ++) {
for(rg int j = 1;j <= k;j ++) {
B.a[j][i] = cnt[(k + i - j) % k];
}
}
C = A * qkpow(B,n-1);
A.n = 1,A.m = B.n = B.m = k;
for(rg int i = 1;i <= k;i ++) A.a[1][i] = cnt2[i-1];
for(rg int i = 1;i <= k;i ++) {
for(rg int j = 1;j <= k;j ++) {
B.a[j][i] = cnt2[(k + i - j) % k];
}
}
D = A * qkpow(B,n-1);
printf("%d\n",(C.a[1][1] + mod - D.a[1][1]) % mod);
return 0;
}

[SDOI2017]序列计数 (矩阵加速,小容斥)的更多相关文章

  1. [BZOJ 4818/LuoguP3702][SDOI2017] 序列计数 (矩阵加速DP)

    题面: 传送门:https://www.lydsy.com/JudgeOnline/problem.php?id=4818 Solution 看到这道题,我们不妨先考虑一下20分怎么搞 想到暴力,本蒟 ...

  2. [Sdoi2017]序列计数 [矩阵快速幂]

    [Sdoi2017]序列计数 题意:长为\(n \le 10^9\)由不超过\(m \le 2 \cdot 10^7\)的正整数构成的和为\(t\le 100\)的倍数且至少有一个质数的序列个数 总- ...

  3. luogu 3702 [SDOI2017]序列计数 矩阵乘法+容斥

    现在看来这道题真的不难啊~ 正着求不好求,那就反着求:答案=总-全不是质数 这里有一个细节要特判:1不是质数,所以在算全不是质数的时候要特判1 code: #include <bits/stdc ...

  4. 【bzoj4818】[Sdoi2017]序列计数 矩阵乘法

    原文地址:http://www.cnblogs.com/GXZlegend/p/6825132.html 题目描述 Alice想要得到一个长度为n的序列,序列中的数都是不超过m的正整数,而且这n个数的 ...

  5. Luogu3702 SDOI2017 序列计数 矩阵DP

    传送门 不考虑质数的条件,可以考虑到一个很明显的$DP:$设$f_{i,j}$表示选$i$个数,和$mod\ p=j$的方案数,显然是可以矩阵优化$DP$的. 而且转移矩阵是循环矩阵,所以可以只用第一 ...

  6. [Sdoi2017]序列计数 矩阵优化dp

    题目 https://www.lydsy.com/JudgeOnline/problem.php?id=4818 思路 先考虑没有质数限制 dp是在同余系下的,所以\(f[i][j]\)表示前i个点, ...

  7. BZOJ 4818 [Sdoi2017]序列计数 ——矩阵乘法

    发现转移矩阵是一个循环矩阵. 然后循环矩阵乘以循环矩阵还是循环矩阵. 据说还有FFT并且更优的做法. 之后再看吧 #include <map> #include <cmath> ...

  8. 【BZOJ 4818】 4818: [Sdoi2017]序列计数 (矩阵乘法、容斥计数)

    4818: [Sdoi2017]序列计数 Time Limit: 30 Sec  Memory Limit: 128 MBSubmit: 560  Solved: 359 Description Al ...

  9. BZOJ_4818_[Sdoi2017]序列计数_矩阵乘法

    BZOJ_4818_[Sdoi2017]序列计数_矩阵乘法 Description Alice想要得到一个长度为n的序列,序列中的数都是不超过m的正整数,而且这n个数的和是p的倍数.Alice还希望 ...

  10. [bzoj4818][Sdoi2017]序列计数_矩阵乘法_欧拉筛

    [Sdoi2017]序列计数 题目大意:https://www.lydsy.com/JudgeOnline/problem.php?id=4818. 题解: 首先列出来一个递推式子 $f[i][0]$ ...

随机推荐

  1. 从零开始实现lmax-Disruptor队列(二)多消费者、消费者组间消费依赖原理解析

    MyDisruptor V2版本介绍 在v1版本的MyDisruptor实现单生产者.单消费者功能后.按照计划,v2版本的MyDisruptor需要支持多消费者和允许设置消费者组间的依赖关系. 由于该 ...

  2. 【clickhouse专栏】基础数据类型说明

    本文是clickhouse专栏第五篇,更多内容请关注本号历史文章! 一.数据类型表 clickhouse内置了很多的column数据类型,可以通过查询system.data_type_families ...

  3. 给王心凌打Call的,原来是神奇的智能湖仓

    图文原创:谭婧(王凌老粉) "爷青回" "我们只是老了,并没有死." 谭老师作为老粉,热烈庆祝"甜心教主"王凌成为现象级翻红顶流. 只要地球 ...

  4. 【Spring】事务的执行原理(三)

    事务的回滚 如果获取事务属性不为空,并且抛出的异常是RuntimeException或者Error类型,调用事务管理器中的rollback方法进行回滚 如果事务属性为空或者抛出的异常不是Runtime ...

  5. Linux文件的删除和软硬链接

    文件的构成 由元数据(metadata)和数据(data)两部分组成 硬盘分区上一块空间存该分区上文件的元数据,一块空间存这些文件的数据 因为元数据和数据分离存放,所以需要通过指针地址来进行关联 元数 ...

  6. Python selenium 实现大麦网自动购票过程

    一些无关紧要的哔哔: 大麦网是中国综合类现场娱乐票务营销平台,业务覆盖演唱会. 话剧.音乐剧.体育赛事等领域今天,我们要用代码来实现他的购票过程 开搞! 先来看看完成后的效果是怎么样的 开发环境 版 ...

  7. Codeforces Round #792 (Div. 1 + Div. 2) A-E

    Codeforces Round #792 (Div. 1 + Div. 2) A-E A 题目 https://codeforces.com/contest/1684/problem/A 题解 思路 ...

  8. VxWorks环境搭建与学习

    搭建环境所需的所有资源: https://pan.baidu.com/s/1sUF2I_DBHs-86IUJ4Ykn2Q 提取码: t7sj 实时系统vxWorks - Shell命令 https:/ ...

  9. 题解 $UVA$ 11825【$Hackers$' $Crackdown$】

    本题的数学模型是:把\(\mathcal{n}\)个集合\(\mathcal{P1,P2,...,Pn}\)分成尽量多组,使得每组中所以集合的并集等于全集.这里集合\(\mathcal{Pi}\)就是 ...

  10. logrotate command in Linux

    背景 在生产过程中,由于磁盘空间.保留周期等因素,会对系统.应用等日志提出要求,要求系统日志定期进行轮转.压缩和删除,从而减少开销,而系统自带的logrotate  则是一个简单又实用的小工具,下面着 ...