2018百度之星初赛B HDU 6383 p1m2 (二分暴力)

转自这里http://www.cnblogs.com/yzm10/p/9463819.html

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
2
3
1 2 4
2
0 100000000

Sample Output
2
33333333

思路：
按博主所说，ans 具有有序性，这一类题可以通过二分暴力查找，找到条件刚好符合的记录下来，蒟蒻长知识了

代码

#include <iostream>
#include <bits/stdc++.h>

using namespace std;
typedef long long ll;

const int maxn = 300500;

ll a[maxn];

int main()
{
    int t;
    scanf("%d",&t);
    while(t--)
    {
        int n;
        scanf("%d",&n);
        for(int i=1;i<=n;i++)
        {
            scanf("%lld",&a[i]);
        }
        ll l = 0,  r = 1e8;
        ll maxx = 0;
        while(l<=r)
        {
            ll c1 = 0,c2 = 0;
            ll m = (l+r)>>1;
            for(int i=1;i<=n;i++)
            {
                if(a[i]<=m)
                    c1 += (m-a[i]);
                else c2 += (a[i]-m) / 2;
            }
            if(c1<=c2)
            {
                l = m + 1;
                maxx = max(maxx, m);
            }
            else
                r = m - 1;
        }
        printf("%lld\n",maxx);

    }
    return 0;
}