还好我没生在陕西啊
首先发现这个题不能\(dp\)，数据范围不大，好像一种网络流的样子啊
哎等等，这样向后面连边不是一个\(DAG\)吗，这不是最小权路径覆盖的板子吗
于是我们套路的拆点，对于一个点\(i\)我们拆成\(i\)和\(i'\)，源点向点\(i\)连费用为\(0\)容量为\(1\)的边，\(i'\)向汇点连费用为\(0\)容量为\(1\)的边
之后我们把让\(S\)向\(i'\)直接连费用为\(W\)容量为\(1\)的边，表示直接连到控制中心
对于点\(i\)，我们向\(j'(j>i)\)连容量为\(1\)费用为\(|a_i-a_j|\)的边，表示点\(j\)接到了点\(i\)后面
于是现在我们一个最小费用最大流就好了
之后喜提\(TLE\)
我们发现我们好像建出了\(n^2\)级别的边
我们考虑我们连边的方式，这样向后面一个区间连边的方式让人好熟悉啊，这不是线段树优化建图吗
但是我们注意到这里的边的费用好像不是一样的，但是这个绝对值给了我们分类讨论的可能
对于一个点\(i\)，我们建出一个虚点\(x'\)，\(i\)向\(x'\)连费用为\(a_i\)的边，让这个虚点\(x'\)向\(j(j>i,a_j<a_i)\)连费用为\(-a_j\)的边，\(a_j>a_i\)同理，这样我们就能实现绝对值这个问题了
那么我们如何快速向一个点之后的所有大于它或小于它的点连边呢
直接主席树优化建图就好了，这样我们的点数和边数都是\(nlogn\)级别的了
但是还是\(T\)，发现我们建了两万多个点和十万多条边
写一个快一点的费用流就好了，用zkw费用流和\(slf\)优化的spfa勉勉强强能跑过的样子
另外\(loj\)上的大爷们写的看起来好像\(cdq\)分治优化建图的洞西看起来好神仙啊
代码
#include<queue>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define re register
#define LL long long
#pragma GCC optimize(3)
#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)<(b)?(a):(b))
inline int read() {
char c=getchar();int x=0;while(c<'0'||x>'9') c=getchar();
while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-48,c=getchar();return x;
}
const LL inf=999999999999;
const int fnf=999999999;
const int maxn=2e3+5;
const int M=4e5+6;
int head[M],vis[M],a[maxn],c[maxn],b[maxn];LL d[M];
int rt[maxn][2],l[M],r[M];
struct E{int v,nxt,w,f;}e[200005];
int n,num=1,S,T,W,sz,cnt;
inline void C(int x,int y,int w,int f) {
e[++num].v=y;e[num].nxt=head[x];
e[num].w=w;e[num].f=f;head[x]=num;
}
std::deque<int> q;
inline void add(int x,int y,int w,int f) {C(x,y,w,f),C(y,x,-1*w,0);}
inline int SPFA() {
for(re int i=S;i<=cnt;i++) d[i]=inf,vis[i]=0;
d[T]=0,q.push_back(T);
while(!q.empty()) {
int k=q.front();q.pop_front();vis[k]=0;
for(re int i=head[k];i;i=e[i].nxt)
if(e[i^1].f&&d[e[i].v]>d[k]+e[i^1].w) {
d[e[i].v]=d[k]+e[i^1].w;
if(!vis[e[i].v]) {
vis[e[i].v]=1;
if(q.empty()) {q.push_back(e[i].v);continue;}
if(d[e[i].v]<d[q.front()]) q.push_front(e[i].v);
else q.push_back(e[i].v);
}
}
}
return d[S]<inf;
}
int dfs(int x,int now) {
if(x==T||!now) return now;
int flow=0,ff;vis[x]=1;
for(re int i=head[x];i;i=e[i].nxt)
if(e[i].f&&!vis[e[i].v]&&d[e[i].v]==d[x]+e[i^1].w) {
ff=dfs(e[i].v,min(e[i].f,now));
if(ff<=0) continue;
flow+=ff,now-=ff,e[i].f-=ff,e[i^1].f+=ff;
if(!now) break;
}
return flow;
}
inline int find(int x) {
int lx=1,ry=sz;
while(lx<=ry) {
int mid=lx+ry>>1;
if(c[mid]==x) return mid;
if(c[mid]<x) lx=mid+1;
else ry=mid-1;
}
return 0;
}
int ins(int pre,int x,int y,int pos,int a,int b) {
int root=++cnt;
if(x==y) {
add(root,a,b*c[x],1);
return root;
}
int mid=x+y>>1;
l[root]=l[pre],r[root]=r[pre];
if(pos<=mid) l[root]=ins(l[pre],x,mid,pos,a,b);
else r[root]=ins(r[pre],mid+1,y,pos,a,b);
if(l[root]) add(root,l[root],0,fnf);
if(r[root]) add(root,r[root],0,fnf);
return root;
}
void Con(int g,int now,int x,int y,int lx,int ry) {
if(!now) return;
if(lx<=x&&ry>=y) {add(g,now,0,fnf);return;}
int mid=x+y>>1;
if(lx<=mid) Con(g,l[now],x,mid,lx,ry);
if(ry>mid) Con(g,r[now],mid+1,y,lx,ry);
}
int main() {
n=read(),W=read();S=0,T=n+n+1;cnt=T;
for(re int i=1;i<=n;i++) a[i]=read();
for(re int i=1;i<=n;i++) add(S,i+n,W,1);
for(re int i=1;i<=n;i++) add(S,i,0,1);
for(re int i=1;i<=n;i++) add(i+n,T,0,1);
for(re int i=1;i<=n;i++) c[i]=a[i];
std::sort(c+1,c+n+1);sz=std::unique(c+1,c+n+1)-c-1;
for(re int i=1;i<=n;i++) b[i]=a[i],a[i]=find(a[i]);
for(re int i=n;i>1;--i)
rt[i][0]=ins(rt[i+1][0],1,sz,a[i],i+n,-1),
rt[i][1]=ins(rt[i+1][1],1,sz,a[i],i+n,1);
for(re int i=1;i<n;i++) {
++cnt;
add(i,cnt,b[i],1);
Con(cnt,rt[i+1][0],1,sz,1,a[i]);
++cnt;
add(i,cnt,-1*b[i],1);
Con(cnt,rt[i+1][1],1,sz,a[i],sz);
}
LL ans=0;
while(SPFA()) {
vis[T]=1;
while(vis[T]) {
for(re int i=S;i<=cnt;i++) vis[i]=0;
ans+=1ll*dfs(S,fnf)*d[S];
}
}
printf("%lld\n",ans);
return 0;
}