BZOJ.3638.CF172 k-Maximum Subsequence Sum(模拟费用流 线段树)
题目链接
各种zz错误。。简直了
/*
19604kb 36292ms
题意:选$k$段不相交的区间,使其权值和最大。
朴素线段树:线段树上每个点维护O(k)个信息,区间合并时O(k^2),总O(mk^2logn)->GG
考虑费用流:建一条n+1个点的链(点权设在边上,故需n+1个点),链上每个点和S、T连边,相邻点连边
这样数列中的区间和每条增广路一一对应
每次最多增广k次,O(nmk)->still GG
考虑费用流这一过程的实质:每次增广相当于贪心,本质上只有两种情况:
选取一段(新增一个区间)、从已选的某个区间中删除一段
使用线段树实现这个贪心过程,支持(单点修改、)区间查询最大子段和(选取)、区间取反(相当于删除)
这样每次查询修改k次,最后把修改逐一复原
O(mklogn)
注: 1.需要维护一个区间最小值,因为取反后原区间最小值就成了最大值
2.用堆式存储要更好,因为查找最大子段和需要得到位置,这样直接返回一个结构体
(1)根节点是0
(2)另外用Merge代替Update可以方便地用在Query()中 (好吧其实再写个函数无所谓)
(3)如果存左右儿子的话别忘了合并时也改掉 and tag..
3.重载'+'后左右两运算数不要反
4.Reverse()必须一次到完整区间,因为上边的节点需要下边的完整信息(脑补)
*/
#include<cstdio>
#include<cctype>
#include<cstring>
#include<algorithm>
#define gc() getchar()
const int N=1e5+5;
int n,m,tp;
//char IN[MAXIN],*SS=IN,*TT=IN;
inline int read()
{
int now=0,f=1;register char c=gc();
for(;!isdigit(c);c=gc()) if(c=='-') f=-1;
for(;isdigit(c);now=now*10+c-'0',c=gc());
return now*f;
}
struct Node
{
struct Node2
{
int l,r,val;
inline friend Node2 operator +(const Node2 &x,const Node2 &y)
{
Node2 tmp;
tmp.l=x.l, tmp.r=y.r, tmp.val=x.val+y.val;
return tmp;
}
inline friend bool operator <(const Node2 &x,const Node2 &y)
{
return x.val<y.val;
}
}sum,lmn,rmn,lmx,smx,smn,rmx;
int ls,rs;
bool tag;
inline void Init(int p,int v)
{
sum.val=lmx.val=rmx.val=lmn.val=rmn.val=smx.val=smn.val=v,
sum.l=lmx.l=rmx.l=lmn.l=rmn.l=smx.l=smn.l=p;
sum.r=lmx.r=rmx.r=lmn.r=rmn.r=smx.r=smn.r=p;
ls=rs=-1, tag=0;
}
}node[N<<1],sk[30];
struct Seg_Tree
{
int tot;
Node Merge(const Node &x,const Node &y)
{
Node rt;
// printf("%d,%d(%d,%d) %d,%d(%d,%d)\n",x.smx.val,y.smx.val,x.smx.l,y.smx.r,x.rmx.val,y.lmx.val,x.rmx.l,y.lmx.r);
rt.lmx=std::max(x.lmx,x.sum+y.lmx);
rt.rmx=std::max(y.rmx,x.rmx+y.sum);//!
rt.lmn=std::min(x.lmn,x.sum+y.lmn);
rt.rmn=std::min(y.rmn,x.rmn+y.sum);
rt.smx=std::max(x.rmx+y.lmx,std::max(x.smx,y.smx));
rt.smn=std::min(x.rmn+y.lmn,std::min(x.smn,y.smn));
rt.sum=x.sum+y.sum;
rt.tag=0;//!
return rt;
}
void Rev(int rt)
{
node[rt].tag^=1;
std::swap(node[rt].lmx,node[rt].lmn), std::swap(node[rt].rmx,node[rt].rmn),
std::swap(node[rt].smx,node[rt].smn),
node[rt].lmx.val*=-1, node[rt].lmn.val*=-1,
node[rt].rmx.val*=-1, node[rt].rmn.val*=-1,
node[rt].smx.val*=-1, node[rt].smn.val*=-1,
node[rt].sum.val*=-1;
}
inline void PushDown(int rt)
{
Rev(node[rt].ls), Rev(node[rt].rs);
node[rt].tag=0;
}
void Build(int l,int r)
{
int p=tot++;
if(l==r) {node[p].Init(l,read()),node[p].ls=node[p].rs=-1; return;}
int m=l+r>>1;
node[p].ls=tot, Build(l,m),
node[p].rs=tot, Build(m+1,r);
int ls=node[p].ls,rs=node[p].rs;
node[p]=Merge(node[ls],node[rs]);
node[p].ls=ls, node[p].rs=rs;
// printf("%d:%d~%d mx:%d(%d~%d) sum:%d\n",p+1,l,r,node[p].smx.val,node[p].smx.l,node[p].smx.r,node[p].sum.val);
}
void Modify(int l,int r,int rt,int p,int v)
{
if(l==r) {node[rt].Init(l,v); return;}
if(node[rt].tag) PushDown(rt);
int m=l+r>>1,ls=node[rt].ls,rs=node[rt].rs;
if(p<=m) Modify(l,m,ls,p,v);
else Modify(m+1,r,rs,p,v);
node[rt]=Merge(node[ls],node[rs]);
node[rt].ls=ls, node[rt].rs=rs;
}
void Reverse(int l,int r,int rt,int L,int R)
{
if(L==l && r==R) {Rev(rt); return;}//!
if(node[rt].tag) PushDown(rt);
int m=l+r>>1,ls=node[rt].ls,rs=node[rt].rs;
if(L<=m)//!
if(m<R) Reverse(l,m,ls,L,m),Reverse(m+1,r,rs,m+1,R);
else Reverse(l,m,ls,L,R);
else Reverse(m+1,r,rs,L,R);
node[rt]=Merge(node[ls],node[rs]);
node[rt].ls=ls, node[rt].rs=rs;
}
Node Query(int l,int r,int rt,int L,int R)
{
// WR: if(L<=l && r<=R) return node[rt];
if(L==l && r==R) return node[rt];//!
if(node[rt].tag) PushDown(rt);
int m=l+r>>1;
if(L<=m)//!
if(m<R) return Merge(Query(l,m,node[rt].ls,L,m),Query(m+1,r,node[rt].rs,m+1,R));
else return Query(l,m,node[rt].ls,L,R);
else return Query(m+1,r,node[rt].rs,L,R);
}
// void Print(int l,int r,int p)
// {
// if(l==r) return;
// if(node[p].tag) PushDown(p);
// int m=l+r>>1;
// Print(l,m,node[p].ls),
// printf("P:%d:%d~%d mx:%d(%d~%d) sum:%d\n",p+1,l,r,node[p].smx.val,node[p].smx.l,node[p].smx.r,node[p].sum.val);
// Print(m+1,r,node[p].rs);
// }
}t;
int main()
{
#ifndef ONLINE_JUDGE
freopen("3638.in","r",stdin);
#endif
n=read();
t.Build(1,n);//t.Print(1,n,0);
m=read();
int opt,p,k,l,r,res; Node pos;
while(m--)
{
opt=read();
if(!opt) p=read(),k=read(),t.Modify(1,n,0,p,k);
else
{
l=read(),r=read(),k=read(),res=0;
while(k--)
{
pos=t.Query(1,n,0,l,r);
// printf("%d~%d val:%d\n",pos.smx.l,pos.smx.r,pos.smx.val);
if(pos.smx.val<0) break;
res+=pos.smx.val;
sk[++tp]=pos;//反转前先入栈
t.Reverse(1,n,0,pos.smx.l,pos.smx.r);//t.Print(1,n,0);
}
printf("%d\n",res);
while(tp)
t.Reverse(1,n,0,sk[tp].smx.l,sk[tp].smx.r),--tp;
// t.Print(1,n,0);
}
}
return 0;
}
------------------------------------------------------------------------------------------------------------------------
很久以前的奇怪但现在依旧成立的签名
attack is our red sun $$\color{red}{\boxed{\color{red}{attack\ is\ our\ red\ sun}}}$$ ------------------------------------------------------------------------------------------------------------------------
很久以前的奇怪但现在依旧成立的签名
attack is our red sun $$\color{red}{\boxed{\color{red}{attack\ is\ our\ red\ sun}}}$$ ------------------------------------------------------------------------------------------------------------------------