感谢@upc1808040230指出代码一个锅。。。
已经修复完毕了。。。
题目描述
给定长度为N的数列A,以及M条指令,每条指令可能是以下两种之一:
1、“1 x y”,查询区间 [x,y] 中的最大连续子段和,即$\max_{x \le l \le r \le y} \sum_{i=l}^r A[i]$
2、“2 x y”,把 A[x] 改成 y。
对于每个查询指令,输出一个整数表示答案。
输入格式
第一行两个整数N,M。
第二行N个整数A[i]。
接下来M行每行3个整数k,x,y,k=1表示查询(此时如果x>y,请交换x,y),k=2表示修改。
输出格式
对于每个查询指令输出一个整数表示答案。
每个答案占一行。
数据范围
$N≤500000,M≤100000$
样例
输入样例:
5 3
1 2 -3 4 5
1 2 3
2 2 -1
1 3 2
输出样例:
2
-1
线段树
区间最大连续字段和是一道非常经典的问题,这道题目中我们唯一与线段树模板不同的地方,也就是这里.
最大连续子段和,根据区间可见性,我们知道这里面必然会增加两个变量$lmax$和$rmax$分别管理前缀最大子段和和后缀最大子段和.然后根据区间可见性,显然$[l,r]$区间的最大子段和就是左区间的最大子段和,右区间最大子段和,以及左右两区间结合在一起中间的最大子段和.
C++ 代码
#include <bits/stdc++.h>
using namespace std;
const int N=500000<<2;
struct line_tree
{
int lmax,rmax,sum,dat,l,r;
} t[N];
int n,m,a[N>>2];
int build(int p,int l,int r)
{
t[p].l=l;
t[p].r=r;
if(t[p].l==t[p].r)
{
t[p].dat=t[p].sum=t[p].lmax=t[p].rmax=a[l];
return 0;
}
int mid=(l+r)>>1;
build(p<<1,l,mid);
build(p*2+1,mid+1,r);
t[p].sum=t[p<<1].sum+t[p*2+1].sum;
t[p].lmax=max(t[p<<1].lmax,t[p<<1].sum+t[p*2+1].lmax);//本身,以及左边前缀和加上右边前缀最大子段和
t[p].rmax=max(t[p*2+1].rmax,t[p*2+1].sum+t[p<<1].rmax);//本身,以及右边前缀和加上左边后缀最大子段和.
t[p].dat=max(max(t[p<<1].dat,t[p*2+1].dat),t[p<<1].rmax+t[p*2+1].lmax);
}
int change(int p,int x,int v)
{
if (t[p].l==t[p].r)
{
t[p].dat=v;
t[p].sum=v;
t[p].lmax=v;
t[p].rmax=v;
return 0;
}
int mid=(t[p].l+t[p].r)>>1;
if (x<=mid)
change(p<<1,x,v);
else
change(p*2+1,x,v);
t[p].sum=t[p<<1].sum+t[p*2+1].sum;
t[p].lmax=max(t[p<<1].lmax,t[p<<1].sum+t[p*2+1].lmax);
t[p].rmax=max(t[p*2+1].rmax,t[p*2+1].sum+t[p<<1].rmax);
t[p].dat=max(max(t[p<<1].dat,t[p*2+1].dat),t[p<<1].rmax+t[p*2+1].lmax);
}
line_tree ask(int p,int l,int r)
{
if (l<=t[p].l && r>=t[p].r)
return t[p];
int mid=(t[p].l+t[p].r)>>1,val=-(1<<30);
line_tree a,b,c;
a.dat=a.sum=a.lmax=a.rmax=val;
b.dat=b.sum=b.lmax=b.rmax=val;
c.sum=0;
if (l<=mid)
{
a=ask(p<<1,l,r);
c.sum+=a.sum;
}
if (r>mid)
{
b=ask(p*2+1,l,r);
c.sum+=b.sum;
}
c.dat=max(max(a.dat,b.dat),a.rmax+b.lmax);
c.lmax=max(a.lmax,b.lmax+a.sum);
if (l>mid)
c.lmax=max(c.lmax,b.lmax);
c.rmax=max(b.rmax,b.sum+a.rmax);
if (r<=mid)
c.rmax=max(c.rmax,a.rmax);
return c;
}
int main()
{
ios::sync_with_stdio(false);
cin>>n>>m;
for(int i=1;i<=n;i++)
cin>>a[i];
build(1,1,n);
while(m--)
{
int k,x,y;
cin>>k>>x>>y;
if (k==1)
{
if (x>y)
swap(x,y);
cout<<ask(1,x,y).dat<<endl;
}
if (k==2)
change(1,x,y);
}
return 0;
}
x*2+1==x<<1|1
$~~~~$
$latex$
我想请问一下ask函数里这两句是干什么的啊?(不知道您会不会看到我这个问题)
if (l>mid)
c.lmax=max(c.lmax,b.lmax);
if (r<=mid)
c.rmax=max(c.rmax,a.rmax);
c是这个大区间的话它的靠左最大字序和为什么要用它右半区间的靠左最大字序和更新啊?
我不理解
因为之前初始化为负无穷,如果出现了mid<L的情况,那么区间全部在右边,左边的就会加上右边的也是为负无穷,那么就出问题了,所以这种情况一定要单独拿出来讨论一下,不然就会出bug,
这样好像也有点奇怪, 就算mid < L, c的区间左边也不一定是从b的左边开始的啊
为了看着协调,建议把p*2+1改成p<<1|1
没必要吧,不直观,可读性很差。
请问最后的ask函数中为什么返回的是一个结构体呢??为什么不可以直接是t[p].dat呢???有点迷结构体这个操作
说实话,我之前的烂代码,我自己都不咋看得懂.
不可以QwQ
实测去掉
之后一样可以过呀......
emm,你说去掉这个部分呢?还是去掉这个部分中的一个部分呢?
两个if语句都去掉。
有图有真相qwq
https://blog.csdn.net/weixin_37661548/article/details/87935080
在query()函数里面。
emm,我感觉这样违背了模板?因该是数据有问题吧......
因为答案里没涉及到左右区间所以没必要维护
和区间没关系,所以不用维护
想问下大佬,我们要写的线段树都是这么难吗,要崩溃
基本上是有这个难度的,这个不算很难。
但是只要你理解原理,其实都是码农题目,毕竟线段树还是特别有模板的样子,左右区间划分,类似二分处理。
哦哦,感谢大佬;
问一下val为啥换INT_MINl会出错呢?
如果说两个$\text{INT_MIN}$负数相加,那么一定会爆炸int
t[p].lmax=max(t[p<<1].lmax,t[p<<1].sum+t[p2+1].lmax);
t[p].rmax=max(t[p2+1].rmax,t[p*2+1].sum+t[p<<1].rmax);
你好,没看懂这两个是在求什么,为什么还要加上前缀和
$t[p].lmax$最左边的最大值。
$t[p].rmax$最右边的最大值。
左儿子的最大值。
右儿子的最大值。
我上面打错了,抱歉啊。
您之前加我为好友,没有备注Acwing。
我以为是打广告的,然后就拒绝了,抱歉啊。我也想加好友QwQ
QQ:862062587
话说我就一蒟蒻,大佬们加萌新我的QQ,萌新我当然荣幸至极,难道还不加?
还有群里找找秦蒟蒻,拉个通知不就好么。
最后补充一句话,备注Acwing或者梁靖康,最好后面补充个人用户名。
不然我真的容易,认为是打广告的。。。。
比如说。
@正阳月五 QQ头像竟然是他超漂亮的女朋友。
让我认为是打广告的了,毕竟漂亮的妹子头像,hh。
然后我翻了翻某五的空间,接着亿吨狗粮天上来。。。。
QwQ,这年头狗粮太多了。。。
我还是抱着我家康康,算了。
在change()这里
是不是少了一个max
change似乎没有这句话?
ask似乎少了,我去修改一下啊。
感谢!
不客气
大佬客气了。
询问函数分了l>mid与r<=mid什么意思啊
$l>mid$说明在右儿子上面。
$r<=mid$说明在左儿子上面。
这道题有每个a[i]的数据范围吗?
似乎没有啊,出题人并没有设置,估计是在int范围内吧
您是想要动态开点线段树吗?
我就是问代码用不用打long long类型
我的代码也木有开,所以不需要的.
a,b结构体是干嘛的呀 还有放在函数里面每次定义的时候,a,b结构体不就刷新了吗 很是看不懂
if(l<=mid)
{
a=ask(p<<1,l,r);
c.sum+=a.sum;
} 这句话啥意思呀
答案在左儿子上有一部分.
左儿子不应该是p<<1,l,m吗?
p<<1表示左儿子的编号,l表示左儿子的左端点,mid表示左儿子的右端点.
还有为啥要分l<r和l<=r.
您说的那一段啊?我没写过要分l<r,和l<=r吧.您是不是打错了?
为什么询问 不直接返回t[p].dat啦。
因为可能我们要查询的区间是[5,8],但是已经有的区间只是[1,4],[5,8].因此我们不能直接返回,建议自己画一棵线段树,就可以秒懂了.
我在想:build里第一个if里面,如果a[l]<0,我们可不可以在最大子段和时不取这个元素,这样dat=0;其他的肯定还是a[l]不变,能解释一下吗?还是说,默认要取元素?
最大子段和必须要取子段内的每一个值.它是子段和,不是序列和
题目说了是最大连续子段和
好的,谢谢啦