度度熊很喜欢数组！！
我们称一个整数数组为稳定的，若且唯若其同时符合以下两个条件：
1. 数组里面的元素都是非负整数。
2. 数组里面最大的元素跟最小的元素的差值不超过 1。
举例而言，[1,2,1,2] 是稳定的，而 [?1,0,?1] 跟 [1,2,3] 都不是。
现在，定义一个在整数数组进行的操作：
* 选择数组中两个不同的元素 a 以及 b，将 a 减去 2，以及将 b 加上 1。
举例而言，[1,2,3] 经过一次操作后，有可能变为 [?1,2,4] 或 [2,2,1]。
现在给定一个整数数组，在任意进行操作后，请问在所有可能达到的稳定数组中，拥有最大的『数组中的最小值』的那些数组，此值是多少呢？
Input
输入的第一行有一个正整数 T，代表接下来有几组测试数据。
对于每组测试数据：
第一行有一个正整数 N。
接下来的一行有 N 个非负整数 xi，代表给定的数组。
* 1≤N≤3×105
* 0≤xi≤108
* 1≤T≤18
* 至多 1 组测试数据中的 N>30000
Output
对于每一组测试数据，请依序各自在一行内输出一个整数，代表可能到达的平衡状态中最大的『数组中的最小值』，如果无法达成平衡状态，则输出 ?1。
Sample Input
2
3
1 2 4
2
0 100000000Sample Output
2
33333333这个题的意思是，
一个给你一个数组，找到不同的两个数一个减2，一个加1，然后求稳定数组中，最小值最大的那个数。、
乍一看这个题，不是emmmmm。。。好吧我不会，上网各种搜题解，终于看懂
下面是参考大佬的思路
你找到数组中最大的和最小的数，你需要求的数肯定在这里面，
然后定义一个temp用来判断提高序列的最小值或减少序列的最大值，
（这个意思就是，向中间靠拢，如果最后的 temp>0,就是说，这个当发现 mid 的值较小，也就是说所有大于 mid 的数仍有提高序列最小值的能力（同时要满足题意）
，那么就令 l = mid +1；
若 mid 的值较大，所有大于 mid 的数无法通过减小自身来提高较小的数时
， 则令 r = mid - 1。）
#include<stdio.h>
#include<string.h>
#include<math.h>
#include<algorithm>
using namespace std;
typedef long long ll;
ll num[300005];
int main (){
ll k;
ll r,l,mid,temp;
scanf("%d",&k);
while(k--){
int n;
scanf("%d",&n);
r=0,l=1e8;
for(int i=1;i<=n;i++)
{
scanf("%lld",&num[i]);
r=max(r,num[i]);
l=min(l,num[i]);
}
while(r>=l)
{
mid=(r+l)/2;
temp=0;//用来判断（提升最小值，还是减小最大值）
for(int i=1;i<=n;i++)
{
if(num[i]-mid>0) temp+=(num[i]-mid)/2;//集合中比mid大的都减mid并除以2
else
temp+=num[i]-mid;//集合中比mid小的都减mid
}
if(temp>=0) l=mid+1;//提升最小值(说明mid取小了)
else r=mid-1;//减少最大值（说明mid取大了）
}
printf("%d\n",r);
}
return 0;
}