CodeForces 360 B.Levko and Array（二分+dp）

Description
一个长度为n的序列a[i]，可以将其中k个数的值任意改变，要求最小化相邻两个数绝对值之差的最大值
Input
第一行两个整数n和k表示序列长度和可以改变的值的个数，之后n个整数a[i]表示该序列(1<=k<=n<=2000,-1e9<=a[i]<=1e9)
Output
输出最小化的相邻两个数绝对值之差的最大值
Sample Input
5 2
4 7 4 7 4
Sample Output
0
Solution
二分答案，对于一个二分值mid，以dp[i]表示保证前i个值中相邻两个数绝对值差值不超过mid且第i个值不改变，需要改变的值的最少个数，那么有转移方程
dp[i]=min(dp[i],dp[j]+i-j-1,i-1)，其中j < i且需要满足abs(a[j]-a[i])<=mid*(i-j)
因为只有a[i]和a[j]的差值不超过mid*(i-j)时才能通过改变j+1到i-1这i-j-1个元素使得j~i是合法的，加上dp[j]使得前j个元素合法进而让前i个元素合法，i-1表示把前i-1个数全部改变使得前i个元素合法（不妨让前i-1个元素全部等于a[i]），最后如果存在某个i使得dp[i]+n-i<=k则说明当前二分值合法，可以尝试更小的二分值，否则二分值过小，要尝试更大的二分值
Code

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<ctime>
using namespace std;
typedef long long ll;
#define INF 0x3f3f3f3f
#define maxn 2222
int n,k,a[maxn],dp[maxn];
bool check(ll mid)
{
    dp[1]=0;
    for(int i=2;i<=n;i++)
    {
        dp[i]=i-1;
        for(int j=1;j<i;j++)
            if(abs(a[i]-a[j])<=mid*(i-j))
                dp[i]=min(dp[i],dp[j]+i-j-1);
    }
    if(dp[n]<=k)return 1;
    for(int i=1;i<=n;i++)
        if(dp[i]+n-i<=k)return 1;
    return 0;
}
int main()
{
    while(~scanf("%d%d",&n,&k))
    {
        for(int i=1;i<=n;i++)scanf("%d",&a[i]);
        ll l=0,r=2e9,mid,ans;
        while(l<=r)
        {
            mid=(l+r)/2;
            if(check(mid))ans=mid,r=mid-1;
            else l=mid+1;
        }
        printf("%I64d\n",ans);
    }
    return 0;
}