[SDOI2017]序列计数 (矩阵加速,小容斥)
题面
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]序列计数 (矩阵加速,小容斥)的更多相关文章
- [BZOJ 4818/LuoguP3702][SDOI2017] 序列计数 (矩阵加速DP)
题面: 传送门:https://www.lydsy.com/JudgeOnline/problem.php?id=4818 Solution 看到这道题,我们不妨先考虑一下20分怎么搞 想到暴力,本蒟 ...
- [Sdoi2017]序列计数 [矩阵快速幂]
[Sdoi2017]序列计数 题意:长为\(n \le 10^9\)由不超过\(m \le 2 \cdot 10^7\)的正整数构成的和为\(t\le 100\)的倍数且至少有一个质数的序列个数 总- ...
- luogu 3702 [SDOI2017]序列计数 矩阵乘法+容斥
现在看来这道题真的不难啊~ 正着求不好求,那就反着求:答案=总-全不是质数 这里有一个细节要特判:1不是质数,所以在算全不是质数的时候要特判1 code: #include <bits/stdc ...
- 【bzoj4818】[Sdoi2017]序列计数 矩阵乘法
原文地址:http://www.cnblogs.com/GXZlegend/p/6825132.html 题目描述 Alice想要得到一个长度为n的序列,序列中的数都是不超过m的正整数,而且这n个数的 ...
- Luogu3702 SDOI2017 序列计数 矩阵DP
传送门 不考虑质数的条件,可以考虑到一个很明显的$DP:$设$f_{i,j}$表示选$i$个数,和$mod\ p=j$的方案数,显然是可以矩阵优化$DP$的. 而且转移矩阵是循环矩阵,所以可以只用第一 ...
- [Sdoi2017]序列计数 矩阵优化dp
题目 https://www.lydsy.com/JudgeOnline/problem.php?id=4818 思路 先考虑没有质数限制 dp是在同余系下的,所以\(f[i][j]\)表示前i个点, ...
- BZOJ 4818 [Sdoi2017]序列计数 ——矩阵乘法
发现转移矩阵是一个循环矩阵. 然后循环矩阵乘以循环矩阵还是循环矩阵. 据说还有FFT并且更优的做法. 之后再看吧 #include <map> #include <cmath> ...
- 【BZOJ 4818】 4818: [Sdoi2017]序列计数 (矩阵乘法、容斥计数)
4818: [Sdoi2017]序列计数 Time Limit: 30 Sec Memory Limit: 128 MBSubmit: 560 Solved: 359 Description Al ...
- BZOJ_4818_[Sdoi2017]序列计数_矩阵乘法
BZOJ_4818_[Sdoi2017]序列计数_矩阵乘法 Description Alice想要得到一个长度为n的序列,序列中的数都是不超过m的正整数,而且这n个数的和是p的倍数.Alice还希望 ...
- [bzoj4818][Sdoi2017]序列计数_矩阵乘法_欧拉筛
[Sdoi2017]序列计数 题目大意:https://www.lydsy.com/JudgeOnline/problem.php?id=4818. 题解: 首先列出来一个递推式子 $f[i][0]$ ...
随机推荐
- mac mini 装UBUNTU后没有WIFI解决办法
1.在终端中运行如下命令,重新安装b43相关的全部驱动和firmware: 复制代码 代码如下: sudo apt-get install bcmwl-kernel-source #Broadcom ...
- C#.NET中的程序集版本
更新记录 2022年4月16日:本文迁移自Panda666原博客,原发布时间:2021年8月22日. 在Visual Studio中查看程序集版本 在程序运行中获得程序集版本信息 除了在Visual ...
- ACM-01背包问题-Python
日后完善 二维数组实现 if __name__ == '__main__': # 背包空间 space = 10 # 默认第一个元素为 0, 仅仅是为了方便理解 weights = [0, 2, 2, ...
- numpy学习笔记 01
NumPy(Numerical Python) 是 Python 语言的一个扩展程序库,支持大量的维度数组与矩阵运算,此外也针对数组运算提供大量的数学函数库. NumPy 是一个运行速度非常快的数学库 ...
- 不同的子序列问题I
不同的子序列问题I 作者:Grey 原文地址: 不同的子序列问题I 题目链接 LeetCode 115. 不同的子序列 暴力解法 定义递归函数 int process(char[] str, char ...
- 11.4 Android Studio如何设置代理
有些网络环境下,Android Studio下载无法下载依赖,这个时候就要配置代理,至于代理的问题,大家要自己解决. 获取代理信息 一般要获取如下信息: 地址:可以是域名和IP 端口: 代理类型:常用 ...
- 有关golang信道的面试笔记
信道是一个goroutine之间很关键的通信媒介. 理解golang的信道很重要,这里记录平时易忘记的.易混淆的点. 1. 基本使用 刚声明的信道,零值为nil,无法直接使用,需配合make函数进行初 ...
- Springboot 启动初始化bin,InitializingBean
import org.springframework.beans.factory.InitializingBean; @Componentpublic class TestInitializingBe ...
- identity server4 授权成功页面跳转时遇到错误:Exception: Correlation failed. Unknown location的解决方法
一.异常信息描述 错误信息,看到这个页面是否耳熟能详担又不知道怎么解决 ,坑死个人不偿命,,,,,,,, 二.处理方法 1.在web项目中增加类SameSiteCookiesServiceCollec ...
- CF1703C Cypher 题解
题意:模拟一个 \(n\) 位密码锁. 做法:直接模拟,注意往后推,即若为 \(U\) 变为 \(D\),若为 \(D\) 变为 \(U\).注意 \(0\) 和 \(9\) 进行操作时的特判. #i ...