弱校联盟#con4海豹的队列

描述：
某日，大海豹领着许多只小海豹集体上岸晒出货，它还找了n只小海豹排成了横向的一队，且这n只小海豹的身高分别为a1,a2,…,an。大海豹认为小海豹们的身高越相近，这个队列就越美，越能表达出海豹们内心的喜悦。大海豹将这个队列的“丑陋度”定义为F(n)，具体来讲：

现在，大海豹可以将这个队列中至多k只小海豹替换为其他任意身高的小海豹（认为各种身高的小海豹都足够多）。大海豹希望知道，所能得到的队列的最小的“丑陋度”是多少。

输入：
首先输入一个正整数T，表示测试数据的组数。接下来T组数据，每组第一行包含两个正整数n,k，第二行包含n个正整数 ai。

思路：
我用了n^3水过，赛后看到正解是log欸=、=

首先考虑替换k个就相当于拿掉k个之后，在两边的数等差排下来，这样会使得相邻的差最小，那么dp[i][j]表示到第i个数字留下j个（必须保留I）最小的fn，枚举前面的最后保留点k，当前值为max(dp[k][j-1],(a[I]-a[k])/(I-k)+1(整除的话不加1），dp= min（当前值，dp）  由于除法比较慢，我预处理了一下所有的（a[I]-a[k])/(I-k)这个。。。嗯。。就过了

#include <cstdio>
#include <iostream>
#include <cstring>
using namespace std;
int n,m;
typedef long long LL;
const int maxn = 1000;
LL dp[maxn][maxn],a[maxn],p[maxn][maxn];
void init(){
    scanf("%d%d",&n,&m);
    for(int i = 1; i <= n ; i++){
        cin>>a[i];
    }
    for(int i = 1 ; i <= n ; i++){
        for(int j =  1 ; j < i ; j++){
            dp[i][j] = 1e18;
            long long tmp = max(a[i]-a[j],a[j]-a[i]);
            long long pp = tmp %(i-j) == 0?tmp/(i-j):tmp/(i-j)+1;
            p[j][i] = pp;
        }
        dp[i][i] = 1e18;
    }
}

void sov(){
    for(int i = 1; i <= n ;i++){
        for(int j = 1; j <= i ; j++){
                if(j == 1)  dp[i][1] = 0;
                else
                for(int k = j-1; k < i ; k++){
                   // printf("dp[%d][%d] = %lld -> ",i,j,dp[i][j]);

                    dp[i][j] = min(dp[i][j],max(dp[k][j-1],p[k][i]));
                   // printf("dp[%d][%d] = %lld ->  dp[%d][%d] = %lld\n",k,j-1,dp[k][j-1],i,j,dp[i][j]);
                }
        }
    }
    LL ans = 1e18;
    for(int i = n-m ; i <= n ; i++){

        ans = min(ans,dp[i][n-m]);
    }
    cout <<ans<<endl;
}

int main(){
    int T;
    scanf("%d",&T);
    for(int i = 1; i <= T; i++){
        init();
        if(n <= m ) printf("0\n");
        else    sov();
    }
}