二分答案 洛谷P3853路标设置

这个题思路和洛谷P2440有点像，建议先看P2440这个题，较简单。

二分答案

题目详见洛谷P3853路标设置

思路

建议先看这里，我的另一个博客

这里先贴段代码

bool check(long long length) {
    int num = 0;
    int now = 0;
    for(int i = 1; i < n; i++) {
        if(arr[i] > now + length) { // 不满足条件
            now += length; // 首先增加一个路标
            i--; // 这里的原因是，可能增加一次length还没满足，所以直到满足才到下一个路标
            num++; // 每次增加一个路标
        }
        else now = arr[i]; // 满足条件，移动标记到i
    } // 遍历模拟放路标过程
    if(num <= k) return true;
    else return false;
}
} // 函数用来判断，输入length的值是大还是小

判断输入函数的length（列举的答案）是大了还是小了（这里其实就可以看到二分了），然后返回不同的布尔值。

这里true和false其实返回谁都行，只需要length大的情况和length小的情况返回的布尔值不同就行。

有了这些，答案已经呼之欲出了，详细的解释代码注释上有。

#include<bits/stdc++.h>
using namespace std;
long long l, n, k;
long long arr[100005];
bool check(long long length) {
    int num = 0;
    int now = 0;
    for(int i = 1; i < n; i++) {
        if(arr[i] > now + length) { // 不满足条件
            now += length; // 首先增加一个路标
            i--; // 这里的原因是，可能增加一次length还没满足，所以直到满足才到下一个路标
            num++; // 每次增加一个路标
        }
        else now = arr[i]; // 满足条件，移动标记到i
    } // 遍历模拟放路标过程
    if(num <= k) return true;
    else return false;
}
int main() {
    cin >> l >> n >> k;
    for(int i= 0; i < n; i++) cin >> arr[i];
    long long left = 1, right = arr[n-1] - arr[0]; // 最小距离为1，最大距离为起点终点距离
    long long ans;
    while(left <= right) {
        long long mid = (left+right)/2;
        if(check(mid)) {
            ans = mid;
            right = mid - 1;
        }
        else left = mid + 1;
    } // 简单的二分
    cout << ans;
    system("pause");
}

最后总结一下学习心得

这种思路需要的条件：

• 答案需要有界
• 可以判断答案的大小（或多少等，大概这种两种方向的）

其实我认为二分答案就是一种枚举的剪枝，只不过枚举认为在界限内都有可能是解，但二分答案就是在枚举判断解是否满足时，增加一个解过大或过小的判断，这样就能减去一半的搜索空间，达到剪枝的效果。

还有一个思路相似的练习题 洛谷P1182 数列分段