codeforces 1478 C Nezzar and Symmetric Array

题面

题意

给定一个长度为2n的序列d,问能否通过上述公式得到a序列，输出“YES”/“NO”， a序列中必须成对出现相反数，ai = - aj ，而且不能相同

题解

1. 昨天的题，注意看数据范围，找规律，一定不要漏掉条件啊
2. 因为a数组是成对的相反数，并且d是根据a的绝对值之和求出，所以d中的值也是成对出现的（第一个判断条件）
3. 对于任意一个di ，假设 i = 1 ，d1 = | a1 - a1 | + | a1 - a2 | + | a1 - a3 | + | a1 - a4| … 假设a1 = -a2 ,a3 = -a4 ，并且a1,a3 为正，如果是a1>a3 那么 d1 = 2a1+2a1 = 4a1, 如果a1<a3 ,那么d1 = 2a1 +2a3 ,不管怎样，d 都是偶数（第二个判断条件）
4. 由上面发现，a中的最大值就是 2 * n* manx =d (max1) , 第二大数 val 就是 2 * (n-1) val + 2manx = d(max2) … 通过这个规律，我们可以计算出a序列
5. 在计算过程中a序列要满足的条件
   1.我们假设过程中，这个数肯定是正整数，一定要大于0
   2.这个数不能重复出现，因为题中要求数不相同

代码

#include<bits/stdc++.h>

using namespace std;
typedef long long ll;

ll t, n, x;
vector<ll> v;
map<ll, ll> mp;

bool slove() {

    int len = v.size();
    ll maxn = 0;
    mp.clear();
    for (int i = v.size() - 1; i >= 0; i--) {
        //如果这个数小于0，不成立
        if (((v[i]) - 2 * maxn) / ((i + 1) * 2) <= 0) return false;
        //如果这个数不是整数，不成立
        if ((v[i] - 2 * maxn) % ((i + 1) * 2)) return false;
        //如果这个数重复出现
        if (++mp[((v[i]) - 2 * maxn) / ((i + 1) * 2)] > 1) return false;
        //更新最大值累加
        maxn += ((v[i]) - 2 * maxn) / ((i + 1) * 2);
    }
    return true;

}

int main() {

    cin >> t;
    while (t--) {
        v.clear();
        mp.clear();
        cin >> n;
        for (int i = 1; i <= 2 * n; i++) {
            cin >> x;
            v.push_back(x);
            mp[x]++;
        }
        sort(v.begin(), v.end());
        //去重
        v.erase(unique(v.begin(), v.end()), v.end());
        bool flag = true;
        for (int i = 0; i < v.size(); i++) {
            //如果去重之后d的每个数出现的次数不是2或者数字不是偶数，不成立
            if (mp[v[i]] != 2 || v[i] % 2 != 0) {
                flag = false;
                break;
            }
        }
        if (!flag) {
            cout << "NO" << endl;
        } else {
            if (slove()) {
                cout << "YES" << endl;
            } else {
                cout << "NO" << endl;
            }
        }
    }

    return 0;
}