CF573E

题意概要

给出一个长度为\(n\)的数列,从中选出一个子序列\(b[1...m]\)(可以为空

使得$$ \sum_{i=1}^m{b_i*i}$$最大,输出这个最大值。

其中\(n\le10^5\)

题解

设\(dp_{i,j}\)表示前\(i\)个数选择\(j\)个数的最大值

那么,转移方程则为:

\[dp_{i,j}=max(dp_{i-1,j},dp_{i-1,j-1}+j*a_i)
\]

于是我们就得到了一个\(n^2\)的做法

我们考虑优化这个式子。

经\(dalao\)证明,发现总有存在一个分界线,这之前的取前者,这之后的取后者

大佬的证明在这里

我们二分分界线,然后用平衡树维护就好了

顺带一提,我今日方知\(splay\)没事多$ splay $几下还会变快

代码

#include<bits/stdc++.h>
#include<windows.h>
#define lch c[x][0]
#define rch c[x][1]
using namespace std;
typedef long long ll;
const int sz=1e5+7;
int n;
ll v,ans;
int rt,cnt;
int f[sz];
int c[sz][2];
int siz[sz];
ll val[sz],tag1[sz],tag2[sz];
inline int newnode(ll v){
int x=++cnt;
val[x]=v;
siz[x]=1;
return x;
}
inline void pushup(int x){
siz[x]=siz[lch]+siz[rch]+1;
}
inline void add(int x,ll tg1,ll tg2){
val[x]+=siz[lch]*tg1+tg2;
tag1[x]+=tg1;
tag2[x]+=tg2;
}
inline void pd(int x){
if(tag1[x]==0&&tag2[x]==0) return;
if(lch) add(lch,tag1[x],tag2[x]);
if(rch) add(rch,tag1[x],tag2[x]+(siz[lch]+1)*tag1[x]);
tag1[x]=0;
tag2[x]=0;
}
inline void pushdn(int x){
if(f[x]) pushdn(f[x]);
pd(x);
}
inline int get(int x){
return c[f[x]][1]==x;
}
inline void dfs(int x){
ans=max(ans,val[x]);
pd(x);
if(lch) dfs(lch);
if(rch) dfs(rch);
}
inline void rotate(int x){
int y=f[x],z=f[y],k=get(x),w=c[x][!k];
if(z) c[z][get(y)]=x;c[x][!k]=y;c[y][k]=w;
if(w) f[w]=y;if(y) f[y]=x;f[x]=z;
pushup(y);
}
inline void splay(int x,int t){
pushdn(x);
while(f[x]!=t){
int y=f[x];
if(f[y]!=t) rotate(get(x)^get(y)?x:y);
rotate(x);
}
pushup(x);
if(t==0) rt=x;
}
inline int find(int k){
int x=rt;
while(1){
pd(x);
if(siz[lch]+1==k) return x;
if(k<=siz[lch]) x=lch;
else k-=siz[lch]+1,x=rch;
}
}
inline void insert(int k,ll v){
int x=find(k-1);splay(x,0);
int y=find(k);splay(y,x);
c[y][0]=newnode(v);
f[c[y][0]]=y;
pushup(y);
pushup(x);
}
inline void modify(int l,int r,ll a,ll b){
int x=find(l-1);splay(x,0);
int y=find(r+1);splay(y,x);
add(c[y][0],a,b);
pushup(y);
pushup(x);
}
int main(){
scanf("%d",&n);
rt=newnode(0);
c[rt][0]=newnode(INT_MIN);
c[rt][1]=newnode(INT_MIN);
f[c[rt][0]]=f[c[rt][1]]=rt;
pushup(rt);
for(int i=1;i<=n;i++){
scanf("%lld",&v);
int l=2,r=i+1;
while(l<r){
int mid=(l+r)>>1;
if(val[find(mid)]+(mid-1)*v>=val[find(mid+1)]) r=mid;
else l=mid+1;
splay(find(mid),0);
}
int x=find(l);
ll y=val[x];
modify(l,i+1,v,v*(l-1));
insert(l,y);
}
dfs(rt);
printf("%lld\n",ans);
}

CF573E (平衡树)的更多相关文章

  1. [BZOJ3223]Tyvj 1729 文艺平衡树

    [BZOJ3223]Tyvj 1729 文艺平衡树 试题描述 您需要写一种数据结构(可参考题目标题),来维护一个有序数列,其中需要提供以下操作:翻转一个区间,例如原有序序列是5 4 3 2 1,翻转区 ...

  2. [BZOJ3224]Tyvj 1728 普通平衡树

    [BZOJ3224]Tyvj 1728 普通平衡树 试题描述 您需要写一种数据结构(可参考题目标题),来维护一些数,其中需要提供以下操作:1. 插入x数2. 删除x数(若有多个相同的数,因只删除一个) ...

  3. BZOJ3223: Tyvj 1729 文艺平衡树 [splay]

    3223: Tyvj 1729 文艺平衡树 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 3595  Solved: 2029[Submit][Sta ...

  4. [普通平衡树treap]【学习笔记】

    3224: Tyvj 1728 普通平衡树 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 9046  Solved: 3840[Submit][Sta ...

  5. BZOJ 3224: Tyvj 1728 普通平衡树

    3224: Tyvj 1728 普通平衡树 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 9629  Solved: 4091[Submit][Sta ...

  6. BZOJ 3223: Tyvj 1729 文艺平衡树

    3223: Tyvj 1729 文艺平衡树 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 3628  Solved: 2052[Submit][Sta ...

  7. 【Splay】bzoj3223-Tyvj1729文艺平衡树

    一.题目 Description 您需要写一种数据结构(可参考题目标题),来维护一个有序数列,其中需要提供以下操作:翻转一个区间,例如原有序序列是5 4 3 2 1,翻转区间是[2,4]的话,结果是5 ...

  8. hiho #1329 : 平衡树·Splay

    #1329 : 平衡树·Splay 时间限制:10000ms 单点时限:1000ms 内存限制:256MB 描述 小Ho:小Hi,上一次你跟我讲了Treap,我也实现了.但是我遇到了一个关键的问题. ...

  9. bzoj 3196: Tyvj 1730 二逼平衡树

    #include<cstdio> #include<ctime> #include<cstdlib> #include<iostream> #defin ...

随机推荐

  1. laravel中如何使用Redis(Redis是什么)

    laravel中如何使用Redis(Redis是什么) 一.总结 一句话总结: 基于内存亦可持久化键值数据库 Redis是完全开源免费的,遵守BSD协议,是一个高性能的键值数据库.是当前最热门的的的N ...

  2. IDEA中Git的使用(多人合作)

    首先我们要简单知道github跟Git的区别.git是版本控制工具, github是一个面向开源及私有软件项目的托管平台,也是程序员交流的地方. 接下来就开始讲怎么多人一起开发. 首先我们先拥有git ...

  3. layui -关闭窗口方法

    1.关闭当前窗口 var index=parent.layer.getFrameIndex(window.name); //获取当前窗口的nameparent.layer.close(index); ...

  4. An invalid property 'jdbcType ' was found in mapping

    大概2种原因: 1 放进去的类型与字段的类型不匹配 2 比较变态,xml中=两边不能有空格! 错误示例如下:  #{plat,jdbcType = INTEGER}, 去掉空格后: #{plat,jd ...

  5. mac配置ls命令显示不同文件不同颜色

    使用Mac看到Linux的Ubuntu终端显示的颜色是不是觉得很酷炫,是否很想自己也拥有一样变色技巧?不怕,我们也是可以的! . 打开配置文件 sudo vim ~/.bash_profile 写入以 ...

  6. JZOJ5967 常数国

    题目 像素有点低啊~ 算了凑合一下就好啦~ 题目大意 给你一个首尾相接的数列,每次对一个区间进行操作: 顺时针操作,如果当前值比vvv大,就交换.输出最后的vvv. 比赛思路 首先这题的时限这么仁慈, ...

  7. VS 快捷键和正则替换

    本文在VS2017中可用 1.注释 :Ctrl  K C 取消注释: Ctrl K U 2.整理代码格式: Ctrl K D 或者 Ctrl K F 3.快速切换不同的代码窗口  Ctrl+Tab 4 ...

  8. MyBatis配置文件(三)--typeAliases别名

    因为类的全限定名一般包括包名,显得很长,在使用过程中不是很方便,所以MyBatis中允许我们使用一种简写的方式来代替全限定名,这就是别名.这就相当于我们在玩微信的时候,有些人的昵称很长很难记,怎么办? ...

  9. PAT甲级——A1017 Queueing at Bank

    Suppose a bank has K windows open for service. There is a yellow line in front of the windows which ...

  10. Java的一些小知识

    Switch和If的区别: Switch case成功后将不再向下继续执行,而If却要每个条件判断一遍.过于浪费: Java中的多态: 方法重载: 通常是指在同一个类中,相同的方法名对应着不同的方法实 ...