div2 cf1478 C - Nezzar and Symmetric Array

题意

• 定义对称数组：若数组a中任意$a_i$在a中都有$a_i=-a_j$,例如 { − 1 , − 2 , − 3 , 1 , 2 , 3 } \{-1, -2,-3,1,2,3\} {−1,−2,−3,1,2,3}
• 给你一个长度为$2n$的数组d,是否存在一个对称数组a使得$d_i={\sum }_{j=1}^{2n}|a_i-a_j|$
• 若存在输出YES,否则输出NO

思路

• 抽象出这么一个对称数组在数轴上
  

• 不难发现数组d中的第一大的值是半个总区间的$2n$倍,然后就是d中第一大减去d中第二大的值正是区间n的$2n-2$倍，以此类推发现规律

• 几个需要注意的细节：由于是对称的，d中的数一定是成对出现，并且都必须大于0，且去重后长度必须为n（这个不大清楚为什么，我是wa了2次才发现必须为n的，具体举例子也可以发现必须为n）

• ac代码

#include <cstdio>
#include <algorithm>
#define ll long long
using namespace std;

const int M = 2e5 + 5;

ll a[M], d[M];

void solve() {
    int n;
    scanf("%d\n", &n);
    int m = n + n;
    bool ok = true;
    d[0] = 0;
    for (int i = 1; i <= m; ++i) scanf("%lld", d + i);
    sort(d + 1, d + m + 1);
    for (int i = 1; i <= m && ok; i += 2) {
        if (d[i] != d[i + 1] || d[i] == d[i - 1]) ok = false; 
        a[i >> 1] = d[i];
    }
    if (a[n - 1] % m) ok = false;
    ll len = a[n - 1] / m, k = m - 2;
    for (int i = n - 1; i > 0 && ok; --i, k -= 2) {
        ll dif = a[i] - a[i - 1];
        if (dif % k) ok = false;
        len -= dif / k;
    }
    if (len <= 0 || !ok) puts("NO");
    else puts("YES");
}

int main() {
    int _;
    scanf("%d", &_);
    while (_--) solve();
    return 0;
}