原题链接:https://www.acwing.com/problem/content/1250/
思路分析
这道题目的意思就是:通过“灵力传输”让灵力值的最大值尽量的小(稳定)
难点1
我们使用前缀和对灵力预处理,并且我们可以发推导出一个神奇的性质:
灵力传输 == 将s[i]和它前面一个元素互换。
这也就意味着我们可以将这个前缀和序列排列为任意我们希望的样子(类比冒泡过程),
但是最后一个元素无法改变位置,为了便于操作,我们放进去s[0]=0,它也无法改变位置
难点2
问题转化为什么样的序列任意两个相邻元素之差的最大值最小
显然是单调序列
但是我们的s[0] and s[n]无法改变位置,就像一根两头固定的松弛的绳子,分情况讨论
- s[0] == s[n] 可以归为下面情况的一种特例处理
- s[0] < s[n] 可以用swap转换成下面的情况
- s[0] > s[n] 无疑里面会有最大值和最小值点,在一般情况下,最值不位于端点,我们应当先经过最大值再经过最小值为理想情况
难点3
由上述策略我们还是会有重复区间,在重复区间我们应当每次间隔一个数字取数,以保证相邻元素差值尽量小。如下图
简单的证明:
(1)单调序列:任意两个相邻元素之差的最大值最小
反证法:设a,b在序列中,想象存在元素c,d (a<c<d<b);相当于ab线段被两刀切成了三段,假设我们不单调的排列他们,则ab之间最多被切一刀,距离必然增加
(2)先经过最大值再经过最小值为理想情况
由(1)我们知道越单调越好,也就是说在每段区间中重复的曲线越少越好,所以曲线不可以扭来扭去太多次,至于先最小值再最大值可以画图看出重复处多于先大后小
(3)每次隔一个数字走一步
反证法:a<c<d<b,我们应当a->d->b->c,假设c->d,则必然要走c->d->b->a,加粗部分显然会使不稳定度增大(即相邻序列差值增大)
c++代码
#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int N = 3e5+5;
int n;
LL a[N], s[N];//a:灵力值;s:前缀和数组
bool st[N];//布尔数组,判断是否使用数组
int main()
{
int T;
cin >> T; //询问组数
while (T -- )
{
cin >> n;//武士数量
s[0] = 0;
//预处理前缀和
for (int i = 1; i <= n; i ++ )
{
scanf("%lld", &a[i]);//灵能值
s[i] = s[i - 1] + a[i];
}
LL s0 = s[0], sn = s[n];
if (s0 > sn) swap(s0, sn);//确保顺序
sort(s, s + n + 1);//升序排列
//s0 and sn 存的是两个端点在升序排列中的序号
for (int i = 0; i <= n; i ++ )
if (s[i] == s0)
{
s0 = i;
break;
}
for (int i = n; i >= 0; i -- )
if (s[i] == sn)
{
sn = i;
break;
}
//初始化
memset(st, 0, sizeof st);
int l = 0, r = n;
/*借助a数组放置排成最终顺序的前缀和数组*/
//从左端点向队首遍历
for (int i = s0; i >= 0; i -= 2)
{
a[l ++ ] = s[i];
st[i] = true;
}
//从右端点向队尾遍历
for (int i = sn; i <= n; i += 2)
{
a[r -- ] = s[i];
st[i] = true;
}
//遍历一遍寻找没有用过的元素
for (int i = 0; i <= n; i ++ )
if (!st[i])
a[l ++ ] = s[i];
LL res = 0;
for (int i = 1; i <= n; i ++ ) res = max(res, abs(a[i] - a[i - 1]));
printf("%lld", res);
}
return 0;
}