bzoj 4709: [Jsoi2011]柠檬

Posted 2020-12-04 Boss.Pi

Description

Flute 很喜欢柠檬。它准备了一串用树枝串起来的贝壳，打算用一种魔法把贝壳变成柠檬。贝壳一共有 N (1 ≤ N
≤ 100,000) 只，按顺序串在树枝上。为了方便，我们从左到右给贝壳编号 1..N。每只贝壳的大小不一定相同，
贝壳 i 的大小为 si(1 ≤ si ≤10,000)。变柠檬的魔法要求，Flute 每次从树枝一端取下一小段连续的贝壳，并
选择一种贝壳的大小 s0。如果 这一小段贝壳中 大小为 s0 的贝壳有 t 只，那么魔法可以把这一小段贝壳变成 s
0t^2 只柠檬。Flute 可以取任意多次贝壳，直到树枝上的贝壳被全部取完。各个小段中，Flute 选择的贝壳大小 s
0 可以不同。而最终 Flute 得到的柠檬数，就是所有小段柠檬数的总和。Flute 想知道，它最多能用这一串贝壳
变出多少柠檬。请你帮忙解决这个问题。

Solution

首先猜一个结论:每一段的开头和结尾的颜色是一样的,且这一段选择的颜色一定就是开头的颜色
这样就可以得到DP式 (f[i]=min(f[j-1]+a[i]*(s[i]-s[j]+1)^2),a[i]==a[j])
这个东西是有决策单调性的,因为平方函数增长快,所以前面位置的一定到后面会越来越大
下面的每一个数字是下标的话,大致就是这样分布的:
333222111111

我们每一次判断一个决策能否被另一个决策覆盖,如果能我们就弹掉这个元素,用一个单调栈维护就行了
找分界点可以用二分求出,也可以直接压在栈里,减少常数

#include<bits/stdc++.h>
#define p (S[o].size()-1)
#define q (S[o].size()-2)
using namespace std;
typedef long long ll;
const int N=1e5+10;
int n,a[N],id[N],c[N];ll f[N];
vector<int>S[N/10];
inline ll g(int x,int y){return f[x-1]+1ll*a[x]*y*y;}
inline int k(int x,int y){
    int l=1,r=n,mid,ret=n+1;
    while(l<=r){
        mid=(l+r)>>1;
        if(g(x,mid-id[x]+1)>=g(y,mid-id[y]+1))ret=mid,l=mid+1;
        else r=mid-1;
    }
    return ret;
}
int main(){
  freopen("pp.in","r",stdin);
  freopen("pp.out","w",stdout);
  scanf("%d",&n);
  for(int i=1,o;i<=n;i++){
      scanf("%d",&a[i]);o=a[i];id[i]=++c[o];
      while(S[o].size()>=2 && k(S[o][p],S[o][q])<=k(i,S[o][p]))S[o].pop_back();
      S[o].push_back(i);
      while(S[o].size()>=2 && k(S[o][p],S[o][q])<id[i])S[o].pop_back();
      f[i]=g(S[o][p],c[o]-id[S[o][p]]+1);
  }
  cout<<f[n]<<endl;
  return 0;
}