题意：

在这里插入图片描述

思路：

首先一个非常明显的 $d p$ 式子就是 $f [i] = m a x (f [j] + v a l (j + 1, i))$ ，其中 $v a l (j + 1, i)$ 是 $[j + 1, i]$ 中高度最小的美丽值，复杂度 $O(n^2)$ ，考虑如何来优化这个式子。
我们注意到， $[j + 1, i]$ 是当前 $i$ 的一个后缀，我们 $j$ 从 $[1, i - 1]$ 枚举的时候，其高度是单调不减的，这启发我们维护一个单调不减的栈，那么对于栈中元素，其管辖的范围就是 $[s t k [t o p - 1], s t k [t o p] - 1]$ ，当 $j$ 从这个区间转移的时候，就是 $max_{j=stk[top-1]}^{stk[top]-1}(f[j]+b[stk[top]])$ 。
所以我们只需要维护一个 $f$ 数组，能快速将他管辖的区间加上 $b [s t k [t o p]]$ ，并且能快速查询所有 $f + b$ 的最大值，这个显然可以用线段树来实现。
为什么直接查询非管辖区域的最大值就行了呢？因为在非其管辖的区域内，我们每个位置已经存了 $f + b$ 的最大值了，只要他还在栈中，那么他的值就不会改变，所以直接取最大值就好啦。

// Problem: C. Skyline Photo
// Contest: Codeforces - Codeforces Round #709 (Div. 1, based on Technocup 2021 Final Round)
// URL: https://codeforces.com/problemset/problem/1483/C
// Memory Limit: 256 MB
// Time Limit: 2500 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>
#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//data.txt","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=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n;
int a[N],b[N],stk[N],top;
struct Node {int l,r;LL mx,lazy;
}tr[N<<2];void pushup(int u) {tr[u].mx=max(tr[L].mx,tr[R].mx);
}void pushdown(int u) {LL lazy=tr[u].lazy; tr[u].lazy=0;tr[L].mx+=lazy; tr[L].lazy+=lazy;tr[R].mx+=lazy; tr[R].lazy+=lazy;
} void build(int u,int l,int r) {tr[u]={l,r,0};if(l==r) return;build(L,l,Mid); build(R,Mid+1,r);
}void modify(int u,int l,int r,LL val) {if(tr[u].l>=l&&tr[u].r<=r) {tr[u].mx+=val;tr[u].lazy+=val;return ;}pushdown(u);if(l<=Mid) modify(L,l,r,val);if(r>Mid) modify(R,l,r,val);pushup(u);
}LL query(int u,int l,int r) {if(tr[u].l>=l&&tr[u].r<=r) return tr[u].mx;LL ans=-1e15;pushdown(u);if(l<=Mid) ans=max(ans,query(L,l,r));if(r>Mid) ans=max(ans,query(R,l,r));return ans;
}int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);LL ans=0;scanf("%d",&n);for(int i=1;i<=n;i++) scanf("%d",&a[i]);for(int i=1;i<=n;i++) scanf("%d",&b[i]);build(1,0,n);for(int i=1;i<=n;i++) {if(!top) {modify(1,stk[top],i-1,b[i]);LL mx=query(1,0,i-1);modify(1,i,i,mx);stk[++top]=i;}else {while(top&&a[stk[top]]>a[i]) {modify(1,stk[top-1],stk[top]-1,-b[stk[top]]);top--;}modify(1,stk[top],i-1,b[i]);LL mx=query(1,0,i-1);modify(1,i,i,mx);stk[++top]=i;}}printf("%lld\n",query(1,n,n));return 0;
}
/**/