算法提高 合并石子 【GarsiaWachs算法】

http://lx.lanqiao.cn/problem.page?gpid=T414

设序列是stone[]，从左往右，找一个满足stone[k-1] <= stone[k+1]的k，找到后合并stone[k]和stone[k-1]，再从当前位置开始向左找最大的j，使其满足stone[j] > stone[k]+stone[k-1]，插到j的后面就行。一直重复，直到只剩下一堆石子就可以了。在这个过程中，可以假设stone[-1]和stone[n]是正无穷的。

举个例子：
186 64 35 32 103
因为35<103，所以最小的k是3，我们先把35和32删除，得到他们的和67，并向前寻找一个第一个超过67的数，把67插入到他后面，得到：186 67 64 103,现在由5个数变为4个数了，继续：186 131 103，现在k=2（别忘了，设A[-1]和A[n]等于正无穷大）234 186，最后得到420。最后的答案呢？就是各次合并的重量之和，即420+234+131+67=852。

基本思想是通过树的最优性得到一个节点间深度的约束，之后证明操作一次之后的解可以和原来的解一一对应，并保证节点移动之后他所在的深度不会改变。具体实现这个算法需要一点技巧，精髓在于不停快速寻找最小的k，即维护一个“2-递减序列”朴素的实现的时间复杂度是O(n*n)，但可以用一个平衡树来优化，使得最终复杂度为O(nlogn)。

#include <bits/stdc++.h>
using namespace std;
const int maxn=50005;

int n;
int a[maxn];
int num;
int ans;

void combine(int k){

    int temp=a[k]+a[k-1];
    ans+=temp;
    for (int i=k;i<num-1;i++){
        a[i]=a[i+1];
    }
    num--;

    int j=0;
    for (j=k-1;j>0&&a[j-1]<temp;j--){
        a[j]=a[j-1];
    }
    a[j]=temp;

    while (j>=2&&a[j]>=a[j-2]){
        int d=num-j;
        combine(j-1);
        j=num-d;
    }
}

int main()
{
    cin >> n;
    for (int i=0;i<n;i++){
        cin >> a[i];
    }
    num=1;
    ans=0;
    for (int i=1;i<n;i++){
        a[num++]=a[i];
        while (num>=3&&a[num-3]<=a[num-1]){
            combine(num-2);
        }
    }
    while (num>1){
        combine(num-1);
    }

    cout << ans << endl;
}