【Atcoder】 [ARC152C] Pivot

题目链接

Atcoder方向
Luogu方向

题目解法

考虑 $2s-a_i$ 类似翻转操作，于是把数列放在数轴上做
考虑一次操作是把 $a_1,...,a_n$ 绕 $s$ 翻转，且没有数为负数
可以得到 2 个性质：

1. $a_1,a_2,...,a_n$ 中最大最小值一定为 $a_1,a_n$，且距离不变
   所以可以把求最小的最大值 变为 求最小的最小值
2. 任何时候数列一定只会有 2 种形态：
   $a_1,...,a_n:A$ 形态
   $a_n,...,a_1:B$ 形态

考虑有 $A$ 到 $B$，绕 $a_i$ 翻转
那么 $a_n$ 会变为 $2a_i-a_n$，是当前序列中的最小值，那么当前操作把最小值变小了 $a_1+a_n-2a_i$
考虑 $B$ 操作是 $A$ 操作的相反操作，那么绕 $a_i$ 翻转的效益一定可以为 $b_i=|a_1+a_n-2a_i|$（可能在奇数次操作，也可能在偶数次操作）

考虑证明 $a_i$ 一定可以造成 $|a_1+a_n-2a_i|$ 的效益
如果当前一步 $a_i$ 造成的效益为 $-|a_1+a_n-2a_i|$，那么可以先翻转 $a_n$，再翻转 $a_i$，然后翻转 $a_1$ ，就可以达到序列往前平移 $|a_1+a_n-2a_i|$ 的效果

所以当前序列可以往前平移的值为 $x_1{b}_1+x_2{b}_2+...+x_n{b}_n$
根据裴蜀定理，这个值一定为 $(b_1,b_2,...,b_n)$ 的倍数
所以答案为 $a_n-a_1+a_1\%d(d=(b_1,b_2,...,b_n))$

#include <bits/stdc++.h>
using namespace std;
const int N(200100);
int n,a[N],b[N];
inline int read(){
	int FF=0,RR=1;
	char ch=getchar();
	for(;!isdigit(ch);ch=getchar()) if(ch=='-') RR=-1;
	for(;isdigit(ch);ch=getchar()) FF=(FF<<1)+(FF<<3)+ch-48;
	return FF*RR;
}
int main(){
	n=read();
	for(int i=1;i<=n;i++) a[i]=read();
	for(int i=1;i<=n;i++) b[i]=abs(2*a[i]-a[1]-a[n]);
	int res=b[1];
	for(int i=2;i<=n;i++) res=__gcd(res,b[i]);
	printf("%d",a[1]%res+a[n]-a[1]);
	return 0;
}