Problem Description
度度熊很喜欢数组!!
我们称一个整数数组为稳定的,若且唯若其同时符合以下两个条件:
- 数组里面的元素都是非负整数。
- 数组里面最大的元素跟最小的元素的差值不超过 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 个非负整数 x_ixi,代表给定的数组。
- 1 \le N \le 3 \times 10^51≤N≤3×105
- 0 \le x_i \le 10^80≤xi≤108
- 1 \le T \le 181≤T≤18
- 至多 11 组测试数据中的 N > 30000N>30000
Output
对于每一组测试数据,请依序各自在一行内输出一个整数,代表可能到达的平衡状态中最大的『数组中的最小值』,如果无法达成平衡状态,则输出 -1−1。
Sample Input
2 3 1 2 4 2 0 100000000
Sample Output
Copy
2 33333333
思路:
因为符合二分性质。
直接二分答案。
代码:
#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int maxn=3e5+1000;
const int INF = 1e9;
const int mod = 1e9+7;
int a[maxn];
int n;
int pan(int x)
{
ll sum=0;
ll sum_1=0;
int sum_n=0;
int sum_m=0;
for(int i=1;i<=n;i++)
{
if(a[i]>x)
{
sum+=(a[i]-x)/2;
sum_n++;
}
if(a[i]<x)
{
sum_1+=x-a[i];
sum_m++;
}
}
if(sum-sum_1>sum_n)return 0;
if(sum_1-sum>sum_m)return 1;
if(sum_1>sum)return 1;
else return 0;
}
int main()
{
int t;
scanf("%d",&t);
while(t--)
{
scanf("%d",&n);
int max_1=0;
int min_1=INF;
memset(a,0,sizeof(a));
for(int i=1;i<=n;i++)
{
scanf("%d",&a[i]);
max_1=max(max_1,a[i]);
min_1=min(min_1,a[i]);
}
if(max_1-min_1<=1)
{
printf("%d\n",max_1);
continue;
}
int l=min_1,r=max_1;
int mid;
while(l<r-1)
{
mid=(l+r+1)/2;
int flag=pan(mid);
if(flag==1)
{
r=mid;
}
else if(flag==0)
{
l=mid;
}
}
printf("%d\n",l);
}
return 0;
}