HDU-6383-p1m2（二分）

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=6383

Problem Description

度度熊很喜欢数组！！

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

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

1 2 4

0 100000000

Sample Output

33333333

注意二分边界，水题

对应的二分总结中最后一个与key相等的元素

ac：

//#pragma comment(linker, "/STACK:1024000000,1024000000") 
 
#include<stdio.h>
#include<string.h>  
#include<math.h>  
  
#include<map>   
//#include<set>
#include<deque>  
#include<queue>  
#include<stack>  
#include<bitset> 
#include<string>  
#include<fstream>
#include<iostream>  
#include<algorithm>  
using namespace std;  
 
#define ll long long  
//#define max(a,b) (a)>(b)?(a):(b)
//#define min(a,b) (a)<(b)?(a):(b) 
#define clean(a,b) memset(a,b,sizeof(a))// 水印 
//std::ios::sync_with_stdio(false);
const int MAXN=3e5+10;
const int INF=0x3f3f3f3f;
const ll mod=1e9+7;

int arr[MAXN];
int n;

int judge(int mid)
{
	ll resadd=0,ressub=0;
	for(int i=1;i<=n;++i)
	{
		if(arr[i]<mid)//应该加上mid-arr[i]个数 
			resadd+=(mid-arr[i]);
		else
			ressub+=(arr[i]-mid)/2;//floor((((arr[i]-mid)*1.0)/2));
	}
	if(ressub>=resadd)//减的大于加的 mid还可以更大 
		return 1;
	else
		return 0;
}

int main()
{
	std::ios::sync_with_stdio(false);
	int T;
	while(cin>>T)
	{
		while(T--)
		{
			clean(arr,0);
			cin>>n;
			int l=0,r=-INF,mid;
			for(int i=1;i<=n;++i)
			{
				cin>>arr[i];
				r=r>arr[i]?r:arr[i];
			}
			//找最大的mid使-2和+1符合题目要求 
			while(l<=r)
			{
				mid=(l+r)>>1;
				//cout<<mid<<endl;
				if(judge(mid))//mid可以更大 
					l=mid+1;
				else
					r=mid-1;
			}
			cout<<r<<endl;
		}
	}
}