【二分+贪心】【最大值最小化】公路上建加油站，最小距离最大化

有一条高速公路，想要建设 m 个加油站，一共有 n 个可以选择建设加油站的地点（n >= m），在这 n 个可选位置中选择 m 个建加油站有很多种方式，每一种方式中，两个相邻加油站之间的距离都有一个最小值，每种情况的最小距离可能不一样，问所有情况中，这个最小距离的最大值是多少？
2 <= n, m <= 100000
1 <= a[i] < a[i + 1] <= 10⁹ (a[i] 是加油站位置)

  原题不是这样的，但是很多人并没有理解题什么意思（什么是最小距离最大值），所以我就翻译了一下，变成上边这道题。
  输入第一行是 n 和 m，接下来下 n 个数是加油站的位置（保证是递增的，也就是 a[i + 1] > a[i]）。比如下边例子：

Input 1:        Input 1:
5 3          5 4
1 4 5 6 9        1 4 5 6 9

Output 1:       Output 2:
4 (1 5 9)       2 (1 4 6 9)

  网上很多答案说用 DP，dp[i][j] 表示前 i 个位置中选择 j 个最小距离最大值是多少，但是这道题的 n 和 m 最大都是十万，数组开不了这么大的，vs中开这么大数组直接编译就错了。所以不是 DP，而是二分+贪心。

二分+贪心

  对于这样的最小值最大是多少，或者最大值最小是多少的问题，其实就是对于一个值 m，我们贪心地判断这个 m 满不满足条件，比如最小值最大是多少，我们判断 m 满不满足比所有数都小，满足的话，说明这个最大的最小值肯定 >= m，那就让 m 变大，否则让 m 变小，继续判断。这样就很明确了，对 m 进行二分，每次贪心地判断这个 m 可不可行。AC 100% 的代码如下：

#include <iostream>
#include <vector>
using namespace std;

bool check_dis(int remain_merge_time