题面

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. mac mini 装UBUNTU后没有WIFI解决办法

    1.在终端中运行如下命令,重新安装b43相关的全部驱动和firmware: 复制代码 代码如下: sudo apt-get install bcmwl-kernel-source #Broadcom ...

  2. C#.NET中的程序集版本

    更新记录 2022年4月16日:本文迁移自Panda666原博客,原发布时间:2021年8月22日. 在Visual Studio中查看程序集版本 在程序运行中获得程序集版本信息 除了在Visual ...

  3. ACM-01背包问题-Python

    日后完善 二维数组实现 if __name__ == '__main__': # 背包空间 space = 10 # 默认第一个元素为 0, 仅仅是为了方便理解 weights = [0, 2, 2, ...

  4. numpy学习笔记 01

    NumPy(Numerical Python) 是 Python 语言的一个扩展程序库,支持大量的维度数组与矩阵运算,此外也针对数组运算提供大量的数学函数库. NumPy 是一个运行速度非常快的数学库 ...

  5. 不同的子序列问题I

    不同的子序列问题I 作者:Grey 原文地址: 不同的子序列问题I 题目链接 LeetCode 115. 不同的子序列 暴力解法 定义递归函数 int process(char[] str, char ...

  6. 11.4 Android Studio如何设置代理

    有些网络环境下,Android Studio下载无法下载依赖,这个时候就要配置代理,至于代理的问题,大家要自己解决. 获取代理信息 一般要获取如下信息: 地址:可以是域名和IP 端口: 代理类型:常用 ...

  7. 有关golang信道的面试笔记

    信道是一个goroutine之间很关键的通信媒介. 理解golang的信道很重要,这里记录平时易忘记的.易混淆的点. 1. 基本使用 刚声明的信道,零值为nil,无法直接使用,需配合make函数进行初 ...

  8. Springboot 启动初始化bin,InitializingBean

    import org.springframework.beans.factory.InitializingBean; @Componentpublic class TestInitializingBe ...

  9. identity server4 授权成功页面跳转时遇到错误:Exception: Correlation failed. Unknown location的解决方法

    一.异常信息描述 错误信息,看到这个页面是否耳熟能详担又不知道怎么解决 ,坑死个人不偿命,,,,,,,, 二.处理方法 1.在web项目中增加类SameSiteCookiesServiceCollec ...

  10. CF1703C Cypher 题解

    题意:模拟一个 \(n\) 位密码锁. 做法:直接模拟,注意往后推,即若为 \(U\) 变为 \(D\),若为 \(D\) 变为 \(U\).注意 \(0\) 和 \(9\) 进行操作时的特判. #i ...