BZOJ 4818 SDOI2017 序列计数
刚出炉的省选题,还是山东的。
自古山东出数学和网络流,堪称思维的殿堂,比某地数据结构成风好多了。
废话不说上题解。
1.题面
求:n个数(顺序可更改),值域为[1,m],和为p的倍数,且这些数里面有质数的方案数是多少?
解题报告:
0% O(n^n)爆搜,没什么好讲的,用来拍DP;
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#define LL long long
using namespace std;
const int N = 20000010;
int n,P[N],tot,m,k;
LL Ans,tim;
bool vis[N];
inline int gi()
{
int x=0,res=1;char ch=getchar();
while(ch<'0' || ch>'9'){if(ch=='-')res=-res;ch=getchar();}
while(ch>='0'&&ch<='9')x=x*10+ch-48,ch=getchar();
return x*res;
} inline void shai()
{
vis[1]=1;
for(int i=2;i<=m;++i)
{
if(!vis[i])P[++tot]=i;
for(int j=1;j<=tot;++j)
{
if(i*P[j]>m)break;
vis[i*P[j]]=true;
if(i%P[j]==0)break;
}
}
} inline void dfs(int dep,int flag,int sum)
{
if(dep==n){if(flag==1&&(sum%k==0))Ans++;return;}
for(int x=1;x<=m;++x)
if(vis[x]==false)dfs(dep+1,1,sum+x);
else dfs(dep+1,flag,sum+x);
}
int main()
{
freopen("in.txt","r",stdin);
freopen("BL.txt","w",stdout);
n=gi();m=gi();k=gi();shai();
dfs(0,0,0);cout<<Ans%20170408<<endl;
}
30% O(nmp)DP;
注意到每一个数可以任意取,就是很显然的具有DP性质了。那么有两种DP方法:
1.f[i][j][0/1]表示第i个数,模p为j,有无质数的情况;这种我写到一半停下来了,因为我发现了第二种DP可以优化。
2.f[i][j]和g[i][j]分别表示瞎几把乱取数和不取质数的情况,求出后相减即可(容斥思想)。
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#define LL long long
using namespace std;
const int N = 20000010;
const int Mod = 20170408;
int n,P[N],tot,m,p,f[10100][101];
LL Ans,tim;
bool vis[N]; inline int gi()
{
int x=0,res=1;char ch=getchar();
while(ch<'0' || ch>'9'){if(ch=='-')res=-res;ch=getchar();}
while(ch>='0'&&ch<='9')x=x*10+ch-48,ch=getchar();
return x*res;
} inline void shai()
{
vis[1]=1;
for(int i=2;i<=m;++i)
{
if(!vis[i])P[++tot]=i;
for(int j=1;j<=tot;++j)
{
if(i*P[j]>m)break;
vis[i*P[j]]=true;
if(i%P[j]==0)break;
}
}
} int main()
{
freopen("in.txt","r",stdin);
freopen("DP.txt","w",stdout);
n=gi();m=gi();p=gi();shai();
f[0][0]=1ll;
for(int i=0;i<n;++i)
for(int j=0;j<p;++j)
for(int k=1;k<=m;++k)
{
f[i+1][(j+k)%p]+=f[i][j];
if(f[i+1][(j+k)%p]>Mod)
f[i+1][(j+k)%p]-=Mod;
}
Ans=(LL)f[n][0];
memset(f,0,sizeof(f));f[0][0]=1ll;
for(int i=0;i<n;++i)
for(int j=0;j<p;++j)
for(int k=1;k<=m;++k)
{
if(!vis[k])continue;
f[i+1][(j+k)%p]+=f[i][j];
if(f[i+1][(j+k)%p]>Mod)
f[i+1][(j+k)%p]-=Mod;
}
Ans-=(LL)f[n][0];
printf("%lld\n",(Ans%Mod+Mod)%Mod);
}
80%:我们发现状态转移方程是一个第一维线性递推,第二维稳定一阶转移。然后发现p只有100,于是就可以上矩阵快速幂。建立转移矩阵就是上面的DP式子。复杂度O(mp+p^3logn)
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#define LL long long
using namespace std;
const int N = 20000010;
const int Mod = 20170408;
struct Matrix{
int T[105][105];
}S0,M0,M1;
int n,P[N],tot,m,p;
LL Ans;
bool vis[N]; inline int gi()
{
int x=0,res=1;char ch=getchar();
while(ch<'0' || ch>'9'){if(ch=='-')res=-res;ch=getchar();}
while(ch>='0'&&ch<='9')x=x*10+ch-48,ch=getchar();
return x*res;
} inline void shai()
{
vis[1]=1;
for(int i=2;i<=m;++i)
{
if(!vis[i])P[++tot]=i;
for(int j=1;j<=tot;++j)
{
if(i*P[j]>m)break;
vis[i*P[j]]=true;
if(i%P[j]==0)break;
}
}
} inline Matrix Mul(Matrix a,Matrix b,int I,int K,int J)
{
Matrix S=S0;
for(int i=0;i<I;++i)
for(int j=0;j<J;++j)
for(int k=0;k<K;++k)
S.T[i][j]=((LL)(S.T[i][j])+((LL)a.T[i][k]*(LL)b.T[k][j]%Mod))%Mod;
return S;
} inline Matrix Qpow(Matrix s,Matrix d,int z,int I,int K,int J)
{
Matrix S=s;
for(;z;z>>=1,d=Mul(d,d,I,K,J))
if(z&1)S=Mul(S,d,I,K,J);
return S;
} int main()
{
freopen("in.txt","r",stdin);
freopen("MT.txt","w",stdout);
n=gi();m=gi();p=gi();shai();
M0.T[0][0]=1ll;
for(int i=0;i<p;++i)
for(int j=1;j<=m;++j)
{
M1.T[i][(i+j)%p]++;
M1.T[i][(i+j)%p]%=Mod;
}
Matrix ans1 = Qpow(M0,M1,n,p,p,p);
Ans+=ans1.T[0][0];M0=M1=S0;M0.T[0][0]=1ll;
for(int i=0;i<p;++i)
for(int j=1;j<=m;++j)
{
if(!vis[j])continue;
M1.T[i][(i+j)%p]++;
M1.T[i][(i+j)%p]%=Mod;
}
Matrix ans2 = Qpow(M0,M1,n,p,p,p);
Ans-=ans2.T[0][0];
printf("%lld\n",(Ans%Mod+Mod)%Mod);
}
100%:我们发现时间TLE在于构建矩阵时的mp太大,然后我们发现这个转移重复了很多次,于是可以通过预处理贡献优化到p^2;
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <algorithm>
#define LL long long
using namespace std;
const int N = 20000010;
const int Mod = 20170408;
struct Matrix{
int T[105][105];
}S0,M0_1,M1_1,M0_2,M1_2,ans;
int n,P[N],tot,m,p,foo[200];
LL Ans;
bool vis[N]; inline int gi()
{
int x=0,res=1;char ch=getchar();
while(ch<'0' || ch>'9'){if(ch=='-')res=-res;ch=getchar();}
while(ch>='0'&&ch<='9')x=x*10+ch-48,ch=getchar();
return x*res;
} inline void shai()
{
vis[1]=1;
for(int i=2;i<=m;++i)
{
if(!vis[i])P[++tot]=i;
for(int j=1;j<=tot;++j)
{
if(i*P[j]>m)break;
vis[i*P[j]]=true;
if(i%P[j]==0)break;
}
}
} inline Matrix Mul(Matrix a,Matrix b,int I,int K,int J)
{
Matrix S=S0;
for(int i=0;i<I;++i)
for(int j=0;j<J;++j)
for(int k=0;k<K;++k)
S.T[i][j]=(S.T[i][j]+(LL)a.T[i][k]*b.T[k][j])%Mod;
return S;
} inline Matrix Qpow(Matrix S,Matrix d,int z,int I,int K,int J)
{
for(;z;z>>=1,d=Mul(d,d,I,K,J))
if(z&1)S=Mul(S,d,I,K,J);
return S;
} int main()
{
freopen("count.in","r",stdin);
freopen("count.out","w",stdout);
n=gi();m=gi();p=gi();shai();
M0_1.T[0][0]=M0_2.T[0][0]=1ll;
for(int i=1;i<=m;++i)++foo[i%p];
for(int i=0;i<p;++i)
for(int j=0;j<p;++j)
{
int st=(i+j)%p;
M1_1.T[i][st]+=foo[j];
if(M1_1.T[i][st]>=Mod)
M1_1.T[i][st]-=Mod;
}
ans = Qpow(M0_1,M1_1,n,p,p,p);
Ans+=ans.T[0][0];
for(int i=0;i<p;++i)foo[i]=0;
for(int i=1;i<=m;++i)
if(vis[i])++foo[i%p];
for(int i=0;i<p;++i)
for(int j=0;j<p;++j)
{
int st=(i+j)%p;
M1_2.T[i][st]+=foo[j];
if(M1_2.T[i][st]>=Mod)
M1_2.T[i][st]-=Mod;
}
ans = Qpow(M0_2,M1_2,n,p,p,p);
Ans-=ans.T[0][0];
printf("%lld\n",(Ans%Mod+Mod)%Mod);
}
//然后你就华丽的AC了!
BZOJ 4818 SDOI2017 序列计数的更多相关文章
- BZOJ.4818.[SDOI2017]序列计数(DP 快速幂)
BZOJ 洛谷 竟然水过了一道SDOI!(虽然就是很水...) 首先暴力DP,\(f[i][j][0/1]\)表示当前是第\(i\)个数,所有数的和模\(P\)为\(j\),有没有出现过质数的方案数. ...
- BZOJ 4818 [Sdoi2017]序列计数 ——矩阵乘法
发现转移矩阵是一个循环矩阵. 然后循环矩阵乘以循环矩阵还是循环矩阵. 据说还有FFT并且更优的做法. 之后再看吧 #include <map> #include <cmath> ...
- bzoj 4818: [Sdoi2017]序列计数【容斥原理+dp+矩阵乘法】
被空间卡的好惨啊---- 参考:http://blog.csdn.net/coldef/article/details/70305596 容斥,\( ans=ans_{没有限制}-ans{没有质数} ...
- 【BZOJ 4818】 4818: [Sdoi2017]序列计数 (矩阵乘法、容斥计数)
4818: [Sdoi2017]序列计数 Time Limit: 30 Sec Memory Limit: 128 MBSubmit: 560 Solved: 359 Description Al ...
- [BZOJ4818][SDOI2017]序列计数(动规+快速幂)
4818: [Sdoi2017]序列计数 Time Limit: 30 Sec Memory Limit: 128 MBSubmit: 972 Solved: 581[Submit][Status ...
- [BZOJ 4818/LuoguP3702][SDOI2017] 序列计数 (矩阵加速DP)
题面: 传送门:https://www.lydsy.com/JudgeOnline/problem.php?id=4818 Solution 看到这道题,我们不妨先考虑一下20分怎么搞 想到暴力,本蒟 ...
- [bzoj4818][Sdoi2017]序列计数_矩阵乘法_欧拉筛
[Sdoi2017]序列计数 题目大意:https://www.lydsy.com/JudgeOnline/problem.php?id=4818. 题解: 首先列出来一个递推式子 $f[i][0]$ ...
- [Sdoi2017]序列计数 [矩阵快速幂]
[Sdoi2017]序列计数 题意:长为\(n \le 10^9\)由不超过\(m \le 2 \cdot 10^7\)的正整数构成的和为\(t\le 100\)的倍数且至少有一个质数的序列个数 总- ...
- BZOJ_4818_[Sdoi2017]序列计数_矩阵乘法
BZOJ_4818_[Sdoi2017]序列计数_矩阵乘法 Description Alice想要得到一个长度为n的序列,序列中的数都是不超过m的正整数,而且这n个数的和是p的倍数.Alice还希望 ...
随机推荐
- Winform 中 dataGridView 导出到Excel中的方法总结
最近,在做CS端数据导出到Excel中时网上找了很多代码感觉都不是自己想要的,通过自己的整理归纳得到一个比较通用的方法,就给大家分享一下: 该方法需要用到两个参数(即对象),一个 DataGridV ...
- null与undefined的比较
null在JavaScript中是关键字,它属于一个特殊的值,即空值. 而undefined它不是关键字,它表示未定义,属于预定义的全局变量. null == undefined 返回的是 true ...
- [全排列]--A Number Puzzle
标签: ACM Lele 最近上课的时候都很无聊,所以他发明了一个数字游戏来打发时间. 这个游戏是这样的,首先,他拿出几张纸片,分别写上0到9之间的任意数字(可重复写某个数字),然后,他叫同学随便写两 ...
- CentOS环境下Docker私有仓库搭建
本文讲述如何搭建docker私有仓库. 有了docker hub,为什么还要搭建docker私有仓库? 1.性能考虑:docker hub的访问要通过互联网,性能太低. 2.安全性:更多的时候,镜像不 ...
- epoll 惊群处理
#include <sys/types.h> #include <sys/socket.h> #include <sys/epoll.h> #include < ...
- jQuery开发自定义插件 $.extend()与$.fn.extend()
jQuery extend()和jQuery.fn.extend() jQuery提供两个用于封装扩展的方法: 1.$.extend(); 扩展jQuery类方法,即jQuery全局方法 (在全局可直 ...
- UWP Flyout浮动控件
看见没,点击"Options"按钮,浮动出来一个界面,这个界面可以用xaml自定义. 如果要点击的控件又Flyout属性那么,可以直接按照下面用 <Button Conten ...
- Linux基础-最基础
Linux基础 为了更好的学习知识,开通此博客,以前博客丢了...记录一下知识点,希望能在这里与大家互相学习交流. 20171113 14:00 Linux基础-基本知识 Linux树状文件系统结构 ...
- Swagger服务API治理详解
swager2的简介 在App后端开发中经常需要对移动客户端(Android.iOS)提供RESTful API接口,在后期版本快速迭代的过程中,修改接口实现的时候都必须同步修改接口文档,而文档与代码 ...
- Solr6.1.0Windows安装步骤
一. 环境 solr 6.1.0 下载地址 http://archive.apache.org/dist/lucene/solr/6.1.0/ jdk 1.8 tomcat8 二. 安装solr到t ...