Codeforces 446C 线段树 递推Fibonacci公式
聪哥推荐的题目
区间修改和区间查询,但是此题新颖之处就在于他的区间修改不是个定值,而是从L 到 R 分别加 F1、F2、。。。Fr-l+1 (F为斐波那契数列)
想了一下之后,觉得用fib的前缀和来解决,每次做懒惰标记记录下当前区间是从哪个L开始加起的,敲了一半之后发现有问题,就跟上次遇到的懒惰标记问题一样,这是个覆盖性的懒惰标记,每次向下传递后,都要先清除孩子的,清除孩子的也有可能要清除son's son,所以要一直pushdown下去,否则就会错,但这样就会超时。
能不能有个累加型的标记让我不用pushdown呢,网上都用的什么二次剩余定理,实在不会
后来发现一个博客的做法相当精妙,利用了斐波那契的特性
我们知道 fib总是由两个两个往后推得 则
若当前 数列前两项 为 a 、b,则之后的必为 a+b a+2b 2a+3b 3a+5b
推完发现 只要知道前两项,后面的任意一项都可以马上出来,因为其系数也满足fib数列
令 K=1,0,1,1,2.。。Ki=Ki-1+Ki-2,。
再令 F=0,1,1,2,3.。。为普通fib数列
则知道 前两项为 a,b,可推算出任意一项 n=Kn*a+Gn*b;
同理,我们可以推算出来,知道前两项后,前n项的总和为
Fn*a+Sn*b(S为fib的前缀和)。
这样的话,我只要每次懒惰标记当前区间的前两项,向下传递就会马上得到区间的加值,并且传递给左右孩子的时候,能根据右孩子的区间不同,马上把前两项变为适合右孩子的那两项。。。最重要的是,这个前两项支持累加,也就是累加型懒惰标记,不用彻底向下传递,这真的是极好的
#include <iostream>
#include <cstdio>
#include <cstring>
#define LL __int64
#define lson rt<<1,l,mid
#define rson rt<<1|1,mid+1,r
const LL M=;
const int N=+;
LL F[N],K[N],G[N],A[N];
int n,m;
LL d[N<<],f[N<<],f1[N<<],f2[N<<];
void init()
{
F[]=G[]=;
K[]=;
F[]=;
G[]=;
K[]=;
for (int i=;i<=n+;i++){
F[i]=F[i-]+F[i-];
K[i]=K[i-]+K[i-];
G[i]=G[i-]+F[i-];
if (F[i]>=M) F[i]%=M;
if (K[i]>=M) K[i]%=M;
if (G[i]>=M) G[i]%=M;
}
for (int i=;i<=n;i++) scanf("%d",&A[i]);
}
void up(int rt)
{
d[rt]=d[rt<<]+d[rt<<|];
if (d[rt]>=M) d[rt]%=M;
}
void build(int rt,int l,int r)
{
f[rt]=;
if (l>=r){
d[rt]=A[l]%M;
return;
}
int mid=(l+r)>>;
build(lson);
build(rson);
up(rt);
}
void fix(LL v1,LL v2,int L,int R,int rt,int l,int r);
void pushdown(int rt,int l,int r)
{
if (l>=r) return;
if (!f[rt]) return;
int mid=(l+r)>>;
fix(f1[rt],f2[rt],l,mid,lson); LL t1=K[mid-l+]*f1[rt]%M+K[mid-l+]*f2[rt]%M;
LL t2=K[mid-l+]*f1[rt]%M+K[mid-l+]*f2[rt]%M;
if (t1>=M) t1%=M;
if (t2>=M) t2%=M;
fix(t1,t2,mid+,r,rson);
f[rt]=; }
void fix(LL v1,LL v2,int L,int R,int rt,int l,int r)
{
if (L==l && r==R){ //采用这种锁定区间的方法是因为下面有个地方要用L计算,我之前的那种写法会出错
d[rt]+=(v1*F[R-L+]%M+G[R-L+]*v2%M)%M;
if (d[rt]>=M) d[rt]%=M;
if (!f[rt]){
f1[rt]=v1%M;
f2[rt]=v2%M;
f[rt]=;
}
else{
f1[rt]+=v1%M;
f2[rt]+=v2%M;
if (f1[rt]>=M) f1[rt]%=M;
if (f2[rt]>=M) f2[rt]%=M;
}
return;
}
int mid=(l+r)>>;
pushdown(rt,l,r);
if (R<=mid) fix(v1,v2,L,R,lson);
else if (L>mid) fix(v1,v2,L,R,rson);
else {
fix(v1,v2,L,mid,lson);
LL t1=K[mid-L+]*v1%M+K[mid-L+]*v2%M;//这里L要进行计算,每个孩子对应唯一L,所以为什么我要采用这种锁定区间的方式,就是因为这里。以前以为两种锁定区间的方法差不多,现在找到区别了,如果只是简单为了锁定区间,两种都可以用,但是当区间要作为计算条件的时候,要采取这种方法避免错误
LL t2=K[mid-L+]*v1%M+K[mid-L+]*v2%M;
if (t1>=M) t1%=M;
if (t2>=M) t2%=M;
fix(t1,t2,mid+,R,rson);
}
up(rt);
}
LL query(int L,int R,int rt,int l,int r)
{
if (L<=l && r<=R){
return d[rt]%M;
}
pushdown(rt,l,r);
int mid=(l+r)>>;
LL ret1=,ret2=;
if (L<=mid) ret1=query(L,R,lson);
if (R>mid) ret2=query(L,R,rson);
return (ret1+ret2)%M;
}
int main()
{
int op,a,b;
while (scanf("%d%d",&n,&m)!=EOF)
{
init();
build(,,n);
while (m--)
{
scanf("%d%d%d",&op,&a,&b);
if (op==){
fix(,,a,b,,,n);
}
else{
LL ans=query(a,b,,,n);
printf("%I64d\n",ans);
}
}
}
return ;
}
Codeforces 446C 线段树 递推Fibonacci公式的更多相关文章
- Bash and a Tough Math Puzzle CodeForces 914D 线段树+gcd数论
Bash and a Tough Math Puzzle CodeForces 914D 线段树+gcd数论 题意 给你一段数,然后小明去猜某一区间内的gcd,这里不一定是准确值,如果在这个区间内改变 ...
- codeforces 447E or 446C 线段树 + fib性质或二次剩余性质
CF446C题意: 给你一个数列\(a_i\),有两种操作:区间求和:\(\sum_{i=l}^{r}(a[i]+=fib[i-l+1])\).\(fib\)是斐波那契数列. 思路 (一) codef ...
- Codeforces 719E (线段树教做人系列) 线段树维护矩阵
题面简洁明了,一看就懂 做了这个题之后,才知道怎么用线段树维护递推式.递推式的递推过程可以看作两个矩阵相乘,假设矩阵A是初始值矩阵,矩阵B是变换矩阵,求第n项相当于把矩阵B乘了n - 1次. 那么我们 ...
- [BZOJ1089][SCOI2003]严格n元树(递推+高精度)
题目:http://www.lydsy.com:808/JudgeOnline/problem.php?id=1089 分析: 第一感觉可以用一个通式求出来,但是考虑一下很麻烦,不好搞的.很容易发现最 ...
- Codeforces 316E3 线段树 + 斐波那切数列 (看题解)
最关键的一点就是 f[ 0 ] * a[ 0 ] + f[ 1 ] * a[ 1 ] + ... + f[ n - 1] * a[ n - 1] f[ 1 ] * a[ 0 ] + f[ 2 ] * ...
- Codeforces Round #424 (Div. 2, rated, based on VK Cup Finals) Problem E (Codeforces 831E) - 线段树 - 树状数组
Vasily has a deck of cards consisting of n cards. There is an integer on each of the cards, this int ...
- Please, another Queries on Array? CodeForces - 1114F (线段树,欧拉函数)
这题刚开始看成求区间$\phi$和了........先说一下区间和的做法吧...... 就是说将题目的操作2改为求$(\sum\limits_{i=l}^{r}\phi(a[i]))\%P$ 首先要知 ...
- bzoj 1089 SCOI2003严格n元树 递推
挺好想的,就是一直没调过,我也不知道哪儿的错,对拍也拍了,因为数据范围小,都快手动对拍了也不知道 哪儿错了.... 我们定义w[i]代表深度<=i的严格n元树的个数 那么最后w[d]-w[d-1 ...
- Codeforces 938G 线段树分治 线性基 可撤销并查集
Codeforces 938G Shortest Path Queries 一张连通图,三种操作 1.给x和y之间加上边权为d的边,保证不会产生重边 2.删除x和y之间的边,保证此边之前存在 3.询问 ...
随机推荐
- 模拟实现ES6的set类
function Set() { var items = {}; // this.has = function(value){ // return value in items; // } this. ...
- 十七 Ajax&校验用户名功能
Ajax: 即"Asynchronous JavaScript And XML", 异步JavaScript和XML , 是指一种创建的交互式页面应用的网页开发技术,它并不是新的技 ...
- SQL注入的原理及分析
注入攻击的本质:将用户输入的数据当做代码执行. 有2个限制条件: 1.用户能够控制输入. 2.原本程序要执行的代码,拼接了用户输入的数据后进行执行. 定义:用户输入的数据被当做SQL语句执行. 以下面 ...
- CF 1198 A. MP3 模拟+滑动窗口
A. MP3 题意:给你n个数,一个大小为8*I的容量,保存一个数需要多少容量取决于给定n个数的种类k,用公式 log2 k 计算,如果给定的容量不能保存所有数,选择减少数的种类来降低保存一个 ...
- Golang:GOROOT、GOPATH、GOBIN变量的含义
背景 移植完了go以后,在配置变量的时候不太清楚这些变量的含义,找了有关的资料. 使用 go env可以获取 go 有关的环境变量,下面是我的go环境: GO111MODULE="" ...
- HashMap ConcurrentHashMap解读
前言: 常见的关于HahsMap与ConcurrentHashMap的问题: 数据结构.线程安全.扩容.jdk1.7 HashMap死循环.jdk1.8 HashMap红黑树.容量必须是2的冥次 Ha ...
- stm32串口收发导致的死机
stm32串口收发导致的死机 很久以前有偶尔遇到过串口死机的情况,那是当时的我写出来的代码自己都觉得有问题,也就没注意.用了stm32做项目以后也就没遇到过了,今天做了个高压测试,每5ms定时发送一次 ...
- VUE - 使用axios数据请求时数据绑定时 报错 TypeError: Cannot set property 'xxxx' of undefined 的解决办法
created() { var that=this axios.get('http://jsonplaceholder.typicode.com/todos') .then( ...
- Unbutu下装oracle
Ubuntu 16.04安装Oracle 11gR2入门教程图文详解 转自 https://www.linuxidc.com/Linux/2017-12/149797.htm 原文作 ...
- 2020寒假 05 ——eclipse安装scala环境
在eclipse中安装Scala环境 1安装eclipse插件步骤,点击help,选择Eclipse Marketplace 2.输入Scala,点击go 3.选择搜索到的Scala IDE 4.7. ...