[CF-GYM]Abu Tahun Mod problem题解

前言
这道题比较简单，但我还是想了好一会
题意简述
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;
}