2018.09.27 hdu5564Clarke and digits(数位dp+矩阵快速幂)
传送门
好题啊。
我只会写l,rl,rl,r都很小的情况(然而题上并没有这种数据范围)。
但这个dp转移式子可以借鉴。
我们用f[i][j][k]f[i][j][k]f[i][j][k]表示当前在第i位,模7余j,当前位是k。
显然有f[i+1][([j∗10+l)f[i+1][([j*10+l)f[i+1][([j∗10+l)%7][l]+=f[i][j][k]7][l]+=f[i][j][k]7][l]+=f[i][j][k]。
但是i上限1e91e91e9,直接做会凉。
于是我们构造矩阵来优化。
我们的矩阵只跟第二,三维有关。
准确的说,令t=10∗j+kt=10*j+kt=10∗j+k,t′=((j∗10+l)t'=((j*10+l)t′=((j∗10+l)%7)∗10+l7)*10+l7)∗10+l。
那么这个t->t’是合法的,就对矩阵对应的val[t][t′]val[t][t']val[t][t′]有1的贡献。
然后会发现需要记录矩阵的前缀和。
这个我们在矩阵最后添一列1来算就行了。
然后就快速幂弄一弄就行了。
代码:
#include<bits/stdc++.h>
#define ll long long
#define N 72
#define mod 1000000007
using namespace std;
int T,K;
ll L,R;
struct Matrix{ll val[N][N];Matrix(){memset(val,0,sizeof(val));}};
inline Matrix operator*(Matrix a,Matrix b){
Matrix c;
for(int i=0;i<N;++i)for(int j=0;j<N;++j)for(int k=0;k<N;++k)
(c.val[i][j]+=a.val[i][k]*b.val[k][j]%mod)%=mod;
return c;
}
inline Matrix operator^(Matrix A,int p){
Matrix ret;
for(int i=0;i<N;++i)ret.val[i][i]=1;
while(p){
if(p&1)ret=ret*A;
p>>=1,A=A*A;
}
return ret;
}
inline int calc(int i,int j){return i*10+j;}
int main(){
scanf("%d",&T);
while(T--){
scanf("%lld%lld%d",&L,&R,&K);
Matrix A,B;
for(int i=0;i<7;++i)for(int j=0;j<10;++j)for(int k=0;k<10;++k)
if(j+k!=K)++B.val[calc(i,j)][calc((i*10+k)%7,k)];
for(int i=0;i<10;++i)++B.val[i][N-1];
++B.val[N-1][N-1];
for(int i=1;i<10;++i)++A.val[0][calc(i%7,i)];
Matrix tmp1=A*(B^R),tmp2=A*(B^(L-1));
ll ans=((tmp1.val[0][N-1]-tmp2.val[0][N-1])%mod+mod)%mod;
printf("%lld\n",ans);
}
return 0;
}
2018.09.27 hdu5564Clarke and digits(数位dp+矩阵快速幂)的更多相关文章
- hdu5564--Clarke and digits(数位dp+矩阵快速幂)
Clarke and digits 问题描述 克拉克是一名人格分裂患者.某一天,克拉克变成了一个研究人员,在研究数字. 他想知道在所有长度在[l,r]之间的能被7整除且相邻数位之和不为k的正整数有多少 ...
- HUST 1569(Burnside定理+容斥+数位dp+矩阵快速幂)
传送门:Gift 题意:由n(n<=1e9)个珍珠构成的项链,珍珠包含幸运数字(有且仅由4或7组成),取区间[L,R]内的数字,相邻的数字不能相同,且旋转得到的相同的数列为一种,为最终能构成多少 ...
- BZOJ3329 Xorequ(数位dp+矩阵快速幂)
显然当x中没有相邻的1时该式成立,看起来这也是必要的. 于是对于第一问,数位dp即可.第二问写出dp式子后发现就是斐波拉契数列,矩阵快速幂即可. #include<iostream> #i ...
- BZOJ 3329 Xorequ:数位dp + 矩阵快速幂
传送门 题意 现有如下方程:$ x \oplus 3x = 2x $ 其中 $ \oplus $ 表示按位异或. 共 $ T $ 组数据,每组数据给定正整数 $ n $,任务如下: 求出小于等于 $ ...
- BZOJ3329: Xorequ(二进制数位dp 矩阵快速幂)
题意 题目链接 Sol 挺套路的一道题 首先把式子移一下项 \(x \oplus 2x = 3x\) 有一件显然的事情:\(a \oplus b \leqslant c\) 又因为\(a \oplus ...
- bnuoj 34985 Elegant String DP+矩阵快速幂
题目链接:http://acm.bnu.edu.cn/bnuoj/problem_show.php?pid=34985 We define a kind of strings as elegant s ...
- HDU 5434 Peace small elephant 状压dp+矩阵快速幂
题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=5434 Peace small elephant Accepts: 38 Submissions: ...
- 【BZOJ】2004: [Hnoi2010]Bus 公交线路 状压DP+矩阵快速幂
[题意]n个点等距排列在长度为n-1的直线上,初始点1~k都有一辆公车,每辆公车都需要一些停靠点,每个点至多只能被一辆公车停靠,且每辆公车相邻两个停靠点的距离至多为p,所有公车最后会停在n-k+1~n ...
- 【BZOJ】4861: [Beijing2017]魔法咒语 AC自动机+DP+矩阵快速幂
[题意]给定n个原串和m个禁忌串,要求用原串集合能拼出的不含禁忌串且长度为L的串的数量.(60%)n,m<=50,L<=100.(40%)原串长度为1或2,L<=10^18. [算法 ...
随机推荐
- [ilink32 Error] Error: Unresolved external 'SendARP'
[ilink32 Error] Error: Unresolved external 'SendARP' referenced from E:\APPOBJ\KSRGETMAC.OBJ #pragma ...
- 19 python unit4 常用模块练习题&总结
1.logging模块有几个日志级别? logging模块共有5个级别,分别是: DEBUG INFO WARNING ERROR CRITICAL logging的日志可以分为 debug(), ...
- POST方式"Content-type"是"application/x-www-form-urlencoded 的请求遇到的问题
Content-type的方式:application/x-javascript text/xml->xml数据 application/x-javascript->json对象 appl ...
- REST Client
1. 为什么要使用REST Client 在实际企业开发过程中经常会有这样的需求: 1.我当前开发的这个系统是需要调用其他系统的接口,也就是我们需要频繁的测试接口,尝试不同的入参参数去查看返回结果, ...
- iKcamp|基于Koa2搭建Node.js实战(含视频)☞ 错误处理
沪江CCtalk视频地址:https://www.cctalk.com/v/15114923887518 处理错误请求 爱能遮掩一切过错. 当我们在访问一个站点的时候,如果访问的地址不存在(404), ...
- 吴裕雄 数据挖掘与分析案例实战(5)——python数据可视化
# 饼图的绘制# 导入第三方模块import matplotlibimport matplotlib.pyplot as plt plt.rcParams['font.sans-serif']=['S ...
- conductor任务域
任务域 任务域有助于支持任务开发.这个想法是相同的“任务定义”可以在不同的“域”中实现.域名开发人员控制的任意名称.因此,当工作流程启动时,调用者可以在工作流中的所有任务中指定哪些任务需要在特定域中运 ...
- mongodb根据子项中的指标查找最小或最大值
假设students集合中有这样的数据: { "_id" : 1, "name" : "Aurelia Menendez", "s ...
- nat 类型及打洞原理
nat 类型分4种 1.全锥形 full cone A 与 主机B交互,nat转换 A的内部地址及端口为 ip1 port1,ip1和port1为对外地址,任何机器能访问. 2.ip 受限制(对B而 ...
- ios web input 内边阴影
ios网页中,默认input上部有阴影,去除方法: -webkit-appearance: none;