HDU - 6967 G I love data structure 线段树维护矩阵 + 细节

传送门

文章目录

  • 题意:
  • 思路:

题意:

给你两个长度为nnn的数组a,ba,ba,b,你需要完成如下四种操作:

思路:

思路还是比较简单的,首先建一颗线段树,线段树中维护a,b,a2,b2,aba,b,a^2,b^2,aba,b,a2,b2,ab,让后对于(2)(3)(2)(3)(2)(3)操作都可以给线段树乘上一个矩阵来实现,对于(1)(1)(1)可以用线段树区间加来实现,需要打lazylazylazy
让后这个题就做完了
实现起来还是比较麻烦的,需要明白矩阵乘的操作优先级是大于区间加标记的,所以在pushdownpushdownpushdown矩阵懒标记的时候需要将区间加的懒标记也更新一下。
更具体的:
下传矩阵的懒标记:
这些都需要很细心的推公式,一开始错了都能过样例

	LL a,b,c,d;a=x.maze[0][0]; b=x.maze[0][1];c=x.maze[1][0]; d=x.maze[1][1];LL ta=tr[u].a,tb=tr[u].b;tr[u].a=(ta*a%mod+tb*c%mod)%mod; tr[u].b=(ta*b%mod+tb*d%mod)%mod;ta=tr[u].a2,tb=tr[u].b2;tr[u].a2=(a*a%mod*ta%mod+c*c%mod*tb%mod+2*a*c%mod*tr[u].ab%mod)%mod;tr[u].b2=(b*b%mod*ta%mod+d*d%mod*tb%mod+2*b*d%mod*tr[u].ab%mod)%mod;	tr[u].ab=(a*b%mod*ta%mod+(a*d%mod+b*c%mod)%mod*tr[u].ab%mod+c*d%mod*tb%mod)%mod;ta=tr[u].lazy1,tb=tr[u].lazy2;tr[u].lazy1=(a*ta%mod+c*tb%mod)%mod;tr[u].lazy2=(b*ta%mod+d*tb%mod)%mod;tr[u].tag=tr[u].tag*x;	

对于下传区间加的懒标记,这里只贴传给aaa数组加的标记:
这里尤其需要注意一个细节,就是更新a2a^2a2的时候,需要更新为suma2+2x∗suma+len∗xsum_{a^2}+2x*sum_{a}+len*xsuma2+2xsuma+lenx,在xxx前面漏了个lenlenlen调了半年。。。

	(tr[u].a2+=(x*x%mod*Len(u)+2*tr[u].a*x%mod)%mod)%=mod;(tr[u].a+=Len(u)*x%mod)%=mod;(tr[u].ab+=tr[u].b*x%mod)%=mod;(tr[u].lazy1+=x)%=mod;
// Problem: G - I love data structure
// Contest: Virtual Judge - 2021多校第二场补题
// URL: https://vjudge.net/contest/448870#problem/G
// Memory Limit: 262 MB
// Time Limit: 5000 ms
// 
// Powered by CP Editor (https://cpeditor.org)//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#include<random>
#include<cassert>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid ((tr[u].l+tr[u].r)>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
void rd_ac() { freopen("d://dp//date.in","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=300010,mod=1000000007,INF=0x3f3f3f3f;
const double eps=1e-6;int n;
struct Mat {int n,m;LL maze[2][2];Mat () {}Mat (int a,int b) {n=a; m=b;memset(maze,0,sizeof(maze));}void build_one() {memset(maze,0,sizeof(maze));for(int i=0;i<2;i++)maze[i][i]=1;}		Mat operator * (const Mat &x) const {Mat now(2,2);memset(now.maze,0,sizeof(now.maze));for(int i=0;i<2;i++) {for(int j=0;j<2;j++) {for(int k=0;k<2;k++) {(now.maze[i][j]+=(maze[i][k]*x.maze[k][j])%mod)%=mod;}}}return now;}
};
struct Node {int l,r;LL a,b,ab,lazy1,lazy2,a2,b2;Mat tag;
}tr[N<<2];void pushup(int u) {tr[u].a=(tr[L].a+tr[R].a)%mod;tr[u].b=(tr[L].b+tr[R].b)%mod;tr[u].ab=(tr[L].ab+tr[R].ab)%mod;tr[u].a2=(tr[L].a2+tr[R].a2)%mod;tr[u].b2=(tr[L].b2+tr[R].b2)%mod;
}void dateup1(int u,Mat x) {LL a,b,c,d;a=x.maze[0][0]; b=x.maze[0][1];c=x.maze[1][0]; d=x.maze[1][1];LL ta=tr[u].a,tb=tr[u].b;tr[u].a=(ta*a%mod+tb*c%mod)%mod; tr[u].b=(ta*b%mod+tb*d%mod)%mod;ta=tr[u].a2,tb=tr[u].b2;tr[u].a2=(a*a%mod*ta%mod+c*c%mod*tb%mod+2*a*c%mod*tr[u].ab%mod)%mod;tr[u].b2=(b*b%mod*ta%mod+d*d%mod*tb%mod+2*b*d%mod*tr[u].ab%mod)%mod;	tr[u].ab=(a*b%mod*ta%mod+(a*d%mod+b*c%mod)%mod*tr[u].ab%mod+c*d%mod*tb%mod)%mod;ta=tr[u].lazy1,tb=tr[u].lazy2;tr[u].lazy1=(a*ta%mod+c*tb%mod)%mod;tr[u].lazy2=(b*ta%mod+d*tb%mod)%mod;tr[u].tag=tr[u].tag*x;	
}void dateup2(int u,LL x) {(tr[u].a2+=(x*x%mod*Len(u)+2*tr[u].a*x%mod)%mod)%=mod;(tr[u].a+=Len(u)*x%mod)%=mod;(tr[u].ab+=tr[u].b*x%mod)%=mod;(tr[u].lazy1+=x)%=mod;
}void dateup3(int u,LL x) {(tr[u].b2+=(x*x%mod*Len(u)+2*tr[u].b*x%mod)%mod)%=mod;(tr[u].b+=Len(u)*x%mod)%=mod;(tr[u].ab+=tr[u].a*x%mod)%=mod;(tr[u].lazy2+=x)%=mod;
}void pushdown(int u) {dateup1(L,tr[u].tag);    dateup1(R,tr[u].tag);   tr[u].tag.build_one();dateup2(L,tr[u].lazy1);  dateup2(R,tr[u].lazy1); tr[u].lazy1=0;dateup3(L,tr[u].lazy2);  dateup3(R,tr[u].lazy2); tr[u].lazy2=0;
}void build(int u,int l,int r) {tr[u]={l,r,0,0,0,0,0,0,0,Mat(2,2)};tr[u].tag.build_one();if(l==r) {LL a,b; scanf("%lld%lld",&a,&b);	tr[u].a=a; tr[u].b=b;tr[u].ab=a*b%mod;tr[u].a2=a*a%mod;tr[u].b2=b*b%mod;return;}build(L,l,Mid); build(R,Mid+1,r);pushup(u);
}void change1(int u,int l,int r,int tag,int x) {if(tr[u].l>=l&&tr[u].r<=r) {if(tag) {dateup3(u,x);} else {dateup2(u,x);}return;}pushdown(u);if(l<=Mid) change1(L,l,r,tag,x);if(r>Mid) change1(R,l,r,tag,x);pushup(u);
}void change2(int u,int l,int r,Mat x) {if(tr[u].l>=l&&tr[u].r<=r) {dateup1(u,x);return;}pushdown(u);if(l<=Mid) change2(L,l,r,x);if(r>Mid) change2(R,l,r,x);pushup(u);
}LL query(int u,int l,int r) {if(tr[u].l>=l&&tr[u].r<=r) return tr[u].ab;pushdown(u);LL ans=0;if(l<=Mid) (ans+=query(L,l,r))%=mod;if(r>Mid) (ans+=query(R,l,r))%=mod;return ans;
}int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);//rd_ac();scanf("%d",&n);build(1,1,n);int m; scanf("%d",&m);while(m--) {int op,l,r,x,y;scanf("%d%d%d",&op,&l,&r);if(op==1) {scanf("%d%d",&x,&y);change1(1,r,x,l,y);} else if(op==2) {Mat now(2,2);now.maze[0][0]=3; now.maze[0][1]=3;now.maze[1][0]=2; now.maze[1][1]=mod-2;change2(1,l,r,now);} else if(op==3) {Mat now(2,2);now.maze[0][0]=0; now.maze[0][1]=1;now.maze[1][0]=1; now.maze[1][1]=0;change2(1,l,r,now);} else if(op==4) {printf("%lld\n",query(1,l,r));}}return 0;
}
/*(a+x)^2=a^2 + x^2 + 2ax*/

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/314777.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【APIO2016】Fireworks【闵可夫斯基和】【凸包向量和】【可并堆】

题意&#xff1a;给一棵带边权的树&#xff0c;可以花费 111 的代价把一条边的边权修改 111&#xff0c;一条边可以修改多次&#xff0c;求使得根到叶子距离相等的最小代价。 n≤3105n\leq 3\times 10^5n≤3105 先暴力 dp 设 f(u,k)f(u,k)f(u,k) 表示 uuu 到子树内所有叶子距…

荐读|属性与可直接访问的数据成员之间应该如何选

写在前面在书写C#代码的时候你是否有过这样的经历&#xff1a;经常混用属性以及公有的数据成员。毕竟他们的用法基本一致&#xff0c;对于使用来说好像没什么区别啊。其实我也经常使用类的公有的数据成员来定义一些常量&#xff0c;为了简单&#xff0c;在一些仅仅需要对外暴露…

【TC10738】TheContest【Hall 定理】【贪心】【二分图匹配】

题意&#xff1a;给 nmn\times mnm 的表格填入 [1,max⁡(n,m)][1,\max(n,m)][1,max(n,m)] 的数&#xff0c;每行每列不能重复&#xff0c;且字典序最小。 n,m≤50n,m\leq 50n,m≤50 数据范围很小&#xff0c;所以是多项式就能过。 考虑每个位置从小到大依次填值&#xff0c;判…

2021牛客暑期多校训练营3 I Kuriyama Mirai and Exclusive Or 差分 + 二进制分治

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个数组aaa&#xff0c;让你实现以下两个操作之后输出数组aaa。 n≤6e5,ai≤230−1n\le6e5,a_i\le2^{30}-1n≤6e5,ai​≤230−1 思路&#xff1a; 下面介绍的思路清奇&#xff0c;反正我想不到。 对…

Lock VS Monitor

介绍介绍对开发人员来说&#xff0c;处理关键代码部分的多线程应用程序是非常重要的。Monitor和lock是c#语言中多线程应用程序中提供线程安全的方法(lock关键字的本质就是对Monitor的封装)。两者都提供了一种机制来确保只有一个线程同时执行代码&#xff0c;以避免代码功能被其…

【UOJ168】元旦老人与丛林【图论证明】【最大权闭合子图】【dinic动态推流】

题意&#xff1a;给一张无向图&#xff0c;判断能否分成两个生成森林。 n≤2103,m≤4103n\leq 2\times 10^3,m\leq 4\times 10^3n≤2103,m≤4103 题目中这样的图称为“丛林”&#xff0c;下面以此来简称。 结论 一张图是丛林的充要条件是它的每一个子图 G(∣V∣,∣E∣)G(|V|,…

2021牛客暑期多校训练营3 C Minimum grid 网络流 + 二分图匹配

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个n∗nn*nn∗n的矩阵&#xff0c;有mmm个点的位置需要填数&#xff0c;填的数范围是0≤k≤1e60\le k\le1e60≤k≤1e6&#xff0c;需要满足第iii行的最大值是bib_ibi​&#xff0c;第iii列的最大值是ci…

【九省联考2018】秘密袭击【树形dp】【生成函数】【线段树合并】【多项式插值】

题意&#xff1a;nnn 个点的带点权的树&#xff0c;点权最大值为 www&#xff0c;求所有连通子图第 kkk 大权值之和模 641236412364123。 n,w≤1666n,w\leq 1666n,w≤1666&#xff0c;时限 5s。 idea 很好的题&#xff0c;可惜被暴力艹过去了。 首先如果点权只有 000 和 111&…

程序员修神之路--做好分库分表其实很难之二

菜菜哥&#xff0c;上次听你给我讲了分库的情况后&#xff0c;我明白了很多&#xff0c;能再给我讲讲分表吗有收获就好&#xff0c;分表其实有很多情况和分库类似还有不一样的情况吗&#xff1f;有呀&#xff0c;本来数据库和表是不同层面的东西&#xff0c;肯定有差异那你给讲…

2021牛客暑期多校训练营3 B Black and white 最小生成树 + 思维

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 对于每个数的位置(i,j)(i,j)(i,j)&#xff0c;如果将这个位置染黑&#xff0c;那么我们连一个i−>jni->jni−>jn的边&#xff0c;可以发现我们的操作不影响连通性。如果想要全部染…

关于WinForms的跨显示器DPI自适应

点击上方蓝字关注“汪宇杰博客”导语WinForms 是运行在Windows上的传统.NET桌面应用技术框架。由于历史原因&#xff0c;它对高DPI以及跨不同DPI屏幕的支持有些问题&#xff0c;本文将探索尽可能的解决方案。Windows 的“黑历史”Windows 系统的默认DPI&#xff08;更确切的说法…

【THUSC2018】史莱姆之友【长链剖分】【链分治NTT】

不知道这题能不能发出来&#xff0c;如果不能请联系我&#xff0c;我什么都会做的 题意&#xff1a;给一棵 nnn 个结点的树&#xff0c;每个结点有个 axbaxbaxb&#xff0c;求所有根到叶子的乘积之和。系数模 998244353998244353998244353。 链的情况就是分治 NTT&#xff0c…

HDU - 6964 I love counting 树状数组套01tire

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个长度为nnn的数组&#xff0c;每次询问l,r,a,bl,r,a,bl,r,a,b代表询问[l,r][l,r][l,r]区间内有多少个不同的数x⊕a≤bx\oplus a\le bx⊕a≤b。 n≤1e5,a,b,x≤n1n\le1e5,a,b,x\le n1n≤1e5,a,b,x≤n1…

.NET开发框架(九)-NLB网络负载平衡配置实战(视频)

&#xff08;NLB配置实战教程-有声视频-第二节&#xff09;请持续关注公众号&#xff0c;第三节&#xff08;NLBARR)正在录制中~第六章IIS负载均衡教程&#xff0c;至今共有37人参与学习尚未学习第六章-IIS负载均衡-视频教程的童靴&#xff0c;赶紧跟上进度&#xff0c;别掉队了…

WC 赛前总结

不要试图得到不属于自己的东西&#xff0c;这样反而容易丢掉本该拿到的分。完全放弃某一道题时一定要慎重&#xff0c;也不要把希望寄托于肝出某一道题。题多读几遍&#xff0c;手算样例&#xff0c;并充分理解了样例解释之后再开始想。读错题浪费时间都是小事&#xff0c;如果…

HDU - 6959 zoto 莫队 + 值域分块

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你nnn个数&#xff0c;每个数有个值&#xff0c;有mmm次询问&#xff0c;每次给定l,r,y1,y2l,r,y1,y2l,r,y1,y2代表查询[l,r][l,r][l,r]区间内在[y1,y2][y1,y2][y1,y2]值域内有多少数出现了。 n≤1e5,m≤1…

C#各版本新增加功能

本系列文章主要整理并介绍 C# 各版本的新增功能。C#8.0 于 2019年4月 随 .NET Framework 4.8 与 Visual Studio 2019 一同发布&#xff0c;但是当前处于预览状态。预计在2019年9月正式发布。目前提供以下功能可供试用&#xff1a;Readonly 成员默认接口成员【*重要&#xff0c;…

很抱歉,博主 AFO 了

遭受了非常严重的考场 debuff&#xff0c;彻底滚粗。 明明全打暴力都还有希望&#xff0c;非要花一半时间去做看起来很简单的 T3&#xff1b;明明接着全打暴力也有希望&#xff0c;非要去写 T2 明显写不出来的线段树合并&#xff1b;明明 T1 还可以骗点分&#xff0c;非要连个…

宣告推出.NET Core 3.0 Preview 7

译&#xff1a;艾心0626今天&#xff0c;我们宣布推出.NET Core 3.0 Preview 7。我们已经从创建新特性阶段过渡到了完善版本阶段。对于接下来的预览版&#xff0c;我们将把重点放在质量(改进)上。在Windows&#xff0c;macOS和Linux上下载.NET Core 3.0 Preview 7。.NET Core 3…

hdu 1028 Ignatius and the Princess III 母函数入门

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个数nnn&#xff0c;问你有多少种方案用1−n1-n1−n的数能组成nnn&#xff0c;数的使用次数无限制。 n≤120n\le120n≤120 思路&#xff1a; 考虑构造母函数。 对于111构造出来的母函数为1xx2x3....…