前言
这道题比较简单,但我还是想了好一会
题意简述
Abu Tahun很喜欢回文。
一个数组若是回文的,那么它从前往后读和从后往前读都是一样的,比如数组(left{1
ight},left{1,1,1
ight},left{1,2,1
ight},left{1,3,2,3,1
ight})都是回文数组,但是数组(left{11,3,5,11
ight},left{1,12
ight})不是回文的。
Abu Tahun有个包含(n)个整数的数组(A),他想让它变成回文的。他可以任意选择一个整数(m),然后让所有元素(A_i) 变成(A_i mod m)。
求最大的(m)的值。
输入格式
第一行一个整数(n)(left(1 leq n leq 10^5
ight))
第二行(n)个整数(A_1,A_2,dots,A_n)(left(1 leq A_i leq 10^9
ight))
输出格式
输出最大的Abu Tahun能取的(m)的值,如果(m)可以是任意大小输出(-1)
样例
Input output
4 -1
1 1 1 1
4 1
1 2 3 4
3 8
8 12 16
数据范围与约定
(50\%)的数据(1 leq n, A_i leq 1000)
(100\%)的数据(1 leq n leq 10^5, 1 leq A_i leq 10^9)
解法
我们发现对于每一组([A_i,A_{n - i + 1}]),有两种方法使其变为0,第一种是mod两个数的差的任意一个约数,第二种是mod两个数的gcd使之都变为0,根据辗转相减,我们发现第一种完全包含第二种,因此只需考虑第一种情况。
那么对于(A)数组,只需要枚举所有的([A_i,A_{n - i + 1}]),然后用它们的差求一个gcd即可
代码
#include <cstdio>
#include <cmath>
#include <algorithm>
#define ll long long
using namespace std;
inline ll read(){
ll x = 0; int zf = 1; char ch = ' ';
while (ch != '-' && (ch < '0' || ch > '9')) ch = getchar();
if (ch == '-') zf = -1, ch = getchar();
while (ch >= '0' && ch <= '9') x = x * 10 + ch - '0', ch = getchar(); return x * zf;
}
ll gcd(ll a, ll b){
if (b > a) swap(a, b);
while (b > 0){
ll tmp = a % b;
a = b, b = tmp;
}
return a;
}
ll a[100005];
int main(){
freopen("palindrome.in", "r", stdin);
freopen("palindrome.out", "w", stdout);
int n = read(); int flg = (n <= 1000) ? 1 : 0, is_same = 1;
for (int i = 1; i <= n; ++i)
a[i] = read(), flg = (a[i] <= 1000) ? (flg & 1) : 0;
for (int i = 1; i <= n; ++i)
is_same = (a[i] == a[n - i + 1]) ? (is_same & 1) : 0;
if (is_same){
printf("-1");
return 0;
}
/*//brute force
if (flg){
int m = (n >> 1);
for (int i = 1000; i >= 1; --i){
int j;
for (j = 1; j <= m; ++j)
if ((abs(a[j] - a[i])) % i != 0 && gcd(a[i], a[j]) % i != 0)
break;
if (j == m + 1){
printf("%d", i);
return 0;
}
}
}*/
ll _gcd = 0; int m = n >> 1;
for (int i = 1; i <= m; ++i){
ll y = abs(a[i] - a[n - i + 1]);
_gcd = gcd(_gcd, y);
}
if (gcd == 0)
printf("-1");
else
printf("%lld", _gcd);
fclose(stdin);
fclose(stdout);
return 0;
}