GPLT上理选拔-L-二分答案+单调队列dp

2023大厂真题提交网址(含题解):

www.CodeFun2000.com（http://101.43.147.120/）

最近我们一直在将收集到的机试真题制作数据并搬运到自己的OJ上，供大家免费练习,体会真题难度。现在OJ已录入50+道2023年最新大厂真题，同时在不断的更新。同时，可以关注"塔子哥学算法"公众号获得每道题的题解。

题目大意：

题目连接
在一维坐标轴上给你两个点$0,d$.

$n$个发电站分别位于$x_i$.有一个统一半径$r$.你可以移动它们，花费为移动的距离。

现在问你在花费不超过$b$的情况下，最小半径是多少，可以使得发电站之间连通且覆盖0到d？

题目思路:

半径越大，花费越小。符合单调。所以可以二分。

在$r$确定的情况下，让花费不超过b.那么可以考虑求最小值。用dp处理.

令$dp(i,j)$代表前i个发电站覆盖$[0,j]$且最后一个发电站在$j$的最小花费。

容易发现转移: d p ( i , j ) = m i n { d p ( i − 1 , k ) + ∣ a i − j ∣ , k ∈ [ j − r , j ] } dp(i,j)=min\{dp(i-1,k)+|a_i-j|,k\in [j-r,j]\} dp(i,j)=min{dp(i−1,k)+∣ai​−j∣,k∈[j−r,j]}

为什么包括$j$本身这个点，因为发电站可能重叠.

以上转移显然可以单调队列优化/堆优化/线段树优化.

单调队列解法:

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
#define pb push_back
#define mp make_pair
#define vi vector<int>
#define vll vector<ll>
#define fi first
#define se second
const int maxn = 1e6 + 5;
const int mod = 1e9 + 7;
const int inf = 0x3f3f3f3f;
// dp(i,j) 代表前i个发电站能够覆盖[0,j]的最小花费，且最后一个发电站在j位置
int a[maxn] , dp[105][5005];
int n , mx , m;
int check (int up)
{
    memset(dp , 0x3f , sizeof dp);
    dp[0][0] = 0;
    for (int i = 1 ; i <= m ; i++){
        deque<int> q;
        for (int j = 0 ; j <= n ; j++){
            while (q.size() && j - q.front() > up) q.pop_front();
            while (q.size() && dp[i - 1][q.back()] >= dp[i - 1][j]) q.pop_back();
            q.push_back(j);
            dp[i][j] = dp[i - 1][q.front()] + abs(j - a[i]);
        }
    }
    for (int i = n - up ; i <= n ; i++)
        if (dp[m][i] <= mx) return true;
    return false;
}
int main()
{
    ios::sync_with_stdio(false);
    cin >> n >> mx >> m;
    for (int i = 1 ; i <= m ; i++){
        cin >> a[i];
    }
    sort(a + 1 , a + 1 + m);
    int l = 1 , r = n;
    while (l <= r){
        int mid = l + r >> 1;
        if (check(mid)) r = mid - 1;
        else l = mid + 1;
    }
    cout << l << endl;
    return 0;
}