二分搜索——最小值最大化、最大值最小化

二分算法（二分查找、折半查找），是从有序数据集中查找指定元素的算法。不断将有序数据集对半分割，并检查每个分区的中间元素，直到找到目标元素或者数据集不能再分割。

要求：二分的本质在于边界，左边的所有点有相同的性质，右边的点都有另一性质，所以序列必须是有序且连续的。

算法：

5个数字从小到大排序（a[i]）：3，5，6，7，8，找7第一次出现的位置。

第一步：L=1，R=5，mid=(R+L)/2=3 ,a[mid]=a[3]=6<7，说明下次需要在大于mid的序列中查找。

第二步：L=3，R=5，mid=(R+L)/2=4，a[mid]=a[4]=7，查找结束，返回4；

注意：由于(R+L)/2容易导致越界，如L=1999999998，R=1999999999，那么L+R就会超出int的范围(最大不能超过2147483647)。因此可以将(R+L)/2改为：L+(R-L)/2。

二分搜索——最小值最大化、最大值最小化

假设左边界是L，右边界是R，二分值mid= L+(R-L)/2

边界划分：[L，mid]，（mid，R]

最小值最大化：[L，mid]满是条件的所有数中最大值mid

最大值最小化：[mid，R] 满是条件的所有数中最小值mid

最小值最大化 ——题目：砍树

题目描述

伐木工人米尔科需要砍倒 M 米长的木材。这是一个对米尔科来说很容易的工作，因为他有一个漂亮的新伐木机，可以像野火一样砍倒森林。不过米尔科只被允许砍倒单行树木。

米尔科的伐木机工作过程如下：米尔科设置一个高度参数H（米），伐木机升起一个巨大的锯片到高度 H，并锯掉所有的树比H高的部分（当然，树木不高于 H 米的部分保持不变）。米尔科就能得到树木被锯下的部分。

例如，如果一行树的高度分别为 20、15、10 和 17，米尔科把锯片升到 15 米的高度，切割后树木剩下的高度将是 15、15、10 和 15，而米尔科将从第 1 棵树得到 5 米，从第 4 棵树得到 2 米，共得到 7 米木材。

米尔科非常关注生态保护，所以他不会砍掉过多的木材。这正是他为什么尽可能高地设定伐木机锯片的原因。帮助米尔科找到伐木机锯片的最大的整数高度 H，使得他能得到木材至少为 M 米。换句话说，如果再升高 1 米，则他将得不到 M 米木材。例如，如下 4 棵树，要至少得到 7 米的木材，把锯片升到的最大高度是 15 米。

输入描述

第 1 行 2 个整数 N 和 M，N 表示树木的数量， M 表示需要的木材总长度。
( 1≤N≤106， 1≤M≤109，所有树的总和大于 M)
第 2 行 N 个整数表示每棵树的高度

输出描述

1 个整数，表示锯片的最高高度。

样例输入

4 7
20 15 10 17

样例输出

15

题目解析

题目要求H尽可能大的情况下得到至少M米木材。以H为边界，锯片高度小于等于H（L，H]都能得到大于M的木材，即最小值最大化。将左侧端点设置为0，右侧端点设置为所有树的最高高度，二分查找H。

测试样例： 树木高度：20 15 10 17 ，M=7

第一步：L=0 ,R=20（最高的树木） mid= l + (r - l + 1) / 2=10；

锯片高度为10时，截取树木10+5+0+7=22>=M，因此锯片高度设定的太低，向边界高的一遍移动。L=mid=10

第二步：L=10，R=20 ,mid=l+(r-l+1)/2=15；

锯片高度为15时，截取树木5+0+0+2=7>=M，因此锯片高度设定的太低，向边界高的一遍移动。L=mid=15

第三步：L=15，R=20 ,mid=l+(r-l+1)/2=18；

锯片高度为18时，截取树木2+0+0+0=2<M，因此锯片高度设定的太高，R向左移。R=R-1=19；

第四步：L=15，R=19 ,mid=l+(r-l+1)/2=17；

锯片高度为17时，截取树木3+0+0+0=3<M，因此锯片高度设定的太高，R向左移。R=R-1=18；

第五步：L=15，R=18 ,mid=l+(r-l+1)/2=17；

锯片高度为17时，截取树木3+0+0+0=3<M，因此锯片高度设定的太高，R向左移。R=R-1=17；

第六步：L=15，R=16 ,mid=l+(r-l+1)/2=16；

锯片高度为16时，截取树木4+0+0+1=5<M，因此锯片高度设定的太高，R向左移。R=R-1=15；

第七步：L=R 循环结束

代码实现

#include<bits/stdc++.h>
using namespace std;

int main(){
    long long N , M, max = 0,sum=0; cin >> N >> M;
    long long  a[N+1]={};
    for(int i = 1;i <= N;i++)
    {
        cin >> a[i];
        if (a[i]>max)
        {
            max = a[i];
        }
    }
    long long l = 0, r = max;
    while(l < r)
    {
        sum = 0;
        long long mid = l + (r - l + 1) / 2; // mid=l+(r-l)/2,当r-l=1时，(r-l)/2总是为0，就会进入死循环
        for(int i = 1;i <= N;i++)
        {
            long long b = a[i] - mid;
            if(b > 0)
            {
                sum += b;
            }
        }
        if(sum >= M)
        {
            l = mid;
        }
        else{
            r = mid -1;
        }
    }
    cout << l ;
    return 0;
}

最大值最小化 ——题目：跳石头比赛

题目描述

每年奶牛们都要举办各种特殊版本的跳石头比赛，包括在河里从一个岩石跳到另一个岩石。这项激动人心的活动在一条长长的笔直河道中进行，在起点和离起点 S 远的终点处均有一个岩石。在起点和终点之间，有 N 个岩石，每个岩石与起点的距离分别为 Di。

在比赛过程中，奶牛轮流从起点出发，尝试到达终点，每一步只能从一个岩石跳到另一个岩石。当然，实力不济的奶牛是没有办法完成目标的。

农夫约翰为他的奶牛们感到自豪并且年年都观看了这项比赛。但随着时间的推移，看着其他农夫的胆小奶牛们在相距很近的岩石之间缓慢前行，他感到非常厌烦。他计划移走一些岩石，使得从起点到终点的过程中，最短的跳跃距离最长。他可以移走除起点和终点外的至多 M 个岩石。

请帮助约翰确定移走这些岩石后，最长可能的最短跳跃距离是多少？

输入描述

第一行包含三个整数 S,N,M，相邻两个整数之间用单个空格隔开。

接下来 N 行，每行一个整数，表示每个岩石与起点的距离。岩石按与起点距离从近到远给出，且不会有两个岩石出现在同一个位置。

输出描述

一个整数，最长可能的最短跳跃距离。

样例输入

25 5 2
2
11
14
17
21

样例输出

4

数据范围与提示

1≤S≤1,000,000,000，0≤N≤50,000，0<Di<S，0≤M≤N
在移除位于2和14的两个岩石之后，最短跳跃距离为4（从17到21或从21到25）。

本题解析：

题目要求最短的跳跃距离最长（H）可以移走的最多M个岩石，以H为边界，移走M个岩石跳跃距离大于等于H时能顺利通过。即边界区间在[H,L]即求最大值的最小化。

代码实现

#include<bits/stdc++.h>
using namespace std;
int main(){
    int s, n, m;
    cin >> s >> n >> m;
    int a[n + 1] = {};
    for(int i = 1;i <= n;i++)
    {
        cin >> a[i];
    }
    int l = 1, r = s;
    while(l <= r)
    {
        int mid = l + (r - l + 1) / 2;
        int start = 0, sum = 0;
        for(int i = 1;i <= n;i++)
        {
            if(a[i] - a[start] < mid)
            {
                sum++;
            }
            else
            {
                start = i;
            }
        }
        if(sum > m)
        {
            r = mid - 1;
        }
        else{
            l = mid + 1;
        }
    }
    cout << (l - 1);
    return 0;
}