普通解法

考虑动态规划

表示考虑前个数字,操作次,最后一个数字是的情况下相邻项的差的平方的最大值的最小值.

有了这个定义之后,转移就比较显然了:

可以转移其中取决于对位置的操作。

int solve(int n, int k, vector<int> a, vector<int> w){
    static int dp[105][505][505];
    assert(k < 505);
    memset(dp, 0x3f, sizeof dp);
    dp[0][0][a[0]] = 0;
    for(int i = 0; i <= w[0]; ++i) {
        int t = abs(a[0]-i); dp[0][t][i] = 0;
    }
    for(int i = 0; i < n-1; ++i){
        for(int j = 0; j <= k; ++j){
            for(int x = 0; x <= w[i]; ++x){
                for(int y = 0; y <= w[i+1]; ++y){
                    int add = abs(a[i+1]-y);
                    if(j+add > k) continue;
                    dp[i+1][j+add][y] = min(dp[i+1][j+add][y], max(dp[i][j][x], abs(y-x)));
                }
            }
        }
    }
    int ans = 0x3f3f3f3f;
    for(int i = 0; i <= k; ++i) {
        for(int x = 0; x <= w[n-1]; ++x) ans = min(ans, dp[n-1][i][x]);
    }
    return ans*ans;
}

数组的三维分别取决于所以空间复杂度

因为转移的过程中要枚举下一个数字是什么,所以单次转移是的,总的时间复杂度
当然,这样的复杂度并不能通过此题

最优解法

我们需要最小化最大值,所以可以去考虑二分答案。

二分检查相邻项的绝对值全部小于等于mid是否可行。

用动态规划去检查:

表示考虑前个箱子,第个箱子的球的个数为并且的相邻箱子差的绝对值都不超过最少需要几次操作,那么枚举第个箱子的球的个数去转移。第个箱子最少有个球,最多有个球。

中的最小值就是让所有相邻箱子中的球数差的绝对值不超过mid的最小操作次数。

根据最小操作次数和的关系来改变二分界限。

使用了一个二维数组来辅助二分判断,空间复杂度

需要进行次二分检查,动态规划部分时间复杂度为,总的时间复杂度

int solve(int n, int k, vector<int> a, vector<int> w){
    int l = 0, r = 500;
    int ans;
    int dp[105][505];
    while(l <= r){
        int mid = (r+l)>>1;
        memset(dp, 0x3f, sizeof dp);
        for(int i = 0; i <= w[0]; ++i) dp[0][i] = abs(a[0]-i);
        for(int i = 0; i < n-1; ++i){
            for(int x = 0; x <= w[i]; ++x){
                int down = max(0, x-mid);
                int up = min(w[i+1], x+mid);
                for(int y = down; y <= up; ++y)
                    dp[i+1][y] = min(dp[i+1][y], dp[i][x]+abs(a[i+1]-y));
            }
        }
        int mi = dp[n-1][0];
        for(int i = 1; i <= w[n-1]; ++i) mi = min(mi, dp[n-1][i]);

        if(mi <= k) ans = mid, r = mid-1;
        else l = mid+1;
    }
    return ans*ans;
}