HDU - 6383 p1m2 百度之星（二分）

度度熊很喜欢数组！！ 

我们称一个整数数组为稳定的，若且唯若其同时符合以下两个条件： 

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
#include
#include
#include
#include
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);
	}
}