版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/chenshibo17/article/details/81624386
度度熊很喜欢数组！！
我们称一个整数数组为稳定的，若且唯若其同时符合以下两个条件：
1. 数组里面的元素都是非负整数。
2. 数组里面最大的元素跟最小的元素的差值不超过 11。
举例而言，[1,2,1,2][1,2,1,2] 是稳定的，而 [−1,0,−1][−1,0,−1] 跟 [1,2,3][1,2,3] 都不是。
现在，定义一个在整数数组进行的操作：
* 选择数组中两个不同的元素 aa 以及 bb，将 aa 减去 22，以及将 bb 加上 11。
举例而言，[1,2,3][1,2,3] 经过一次操作后，有可能变为 [−1,2,4][−1,2,4] 或 [2,2,1][2,2,1]。
现在给定一个整数数组，在任意进行操作后，请问在所有可能达到的稳定数组中，拥有最大的『数组中的最小值』的那些数组，此值是多少呢？
Input
输入的第一行有一个正整数 TT，代表接下来有几组测试数据。
对于每组测试数据：
第一行有一个正整数 NN。
接下来的一行有 NN 个非负整数 xixi，代表给定的数组。
* 1≤N≤3×1051≤N≤3×105
* 0≤xi≤1080≤xi≤108
* 1≤T≤181≤T≤18
* 至多 11 组测试数据中的 N>30000N>30000
Output
对于每一组测试数据，请依序各自在一行内输出一个整数，代表可能到达的平衡状态中最大的『数组中的最小值』，如果无法达成平衡状态，则输出 −1−1。
Sample Input
2 3 1 2 4 2 0 100000000
Sample Output
2 33333333
烦啊，当时我的二分模板错了，这次就当记录下新模板；
#include<cstdio>
#include<iostream>
#include<cstring>
#include<string>
#include<algorithm>
using namespace std;
const int maxn = 3e5 + 5;
long long int m[maxn];
#define inf 0x3f3f3f3f
int main() {
int te;
scanf_s("%d", &te);
while (te--) {
int n;
scanf_s("%d", &n); long long int li = inf, ri = -1;
for (int s = 1; s <= n; s++) {
scanf_s("%lld", &m[s]);
li = min(m[s], li);
ri = max(m[s], ri);
}
int ans;
while (li <= ri) {
long long int mid = (li + ri) >> 1;
long long int need = 0;
for (int s = 1; s <= n; s++) {
if (m[s] > mid)
need += (m[s] - mid) >> 1;
else
need -= (mid - m[s]);
}
if (need >= 0) {
li = mid + 1;
ans = mid;
}
else ri = mid - 1;
}
printf("%lld\n", ans);
}
}