Codeforces 1585D. Yet Another Sorting Problem

每次可以选数组中三个元素进行轮换，也就是将三元组“左移”或者“右移”，将 $a,b,c$ 变为 $b,c,a$ 或 $c,a,b$.

可以证明，如果我们看每个元素的下标的话，这样的操作对下标一定是一个偶排列。

粗略证明：

只考虑 $a,b,c$，显然每次变换逆序数都是 $\pm 2$ 的。

考虑交换的三元素之间有其他元素，用 $a,x_m,b,c$ 表示，其中 $x_m$ 表示 $a,b$ 之间还有 $m$ 个元素。

变换为 $b,x,c,a$：由于 $b$ 从 $x$ 的右边变到了左边，假设原来 $x_m$ 中，有 $k$ 个比 $b$ 大，那么就有 $m-k$ 个比 $b$ 小。所以 $b$ 对于 $x_m$ 的逆序对数量就会从 $k$ 变为 $m-k$，即变化了 $m-2k$ 个。对于 $a$，同理可得，假如有 $t$ 个比 $a$ 小，那么 $a$ 就会导致逆序对变化 $m-2t$ 个，所以逆序对变化除了 $a,b,c$ 本身的 $\pm 2$ 以外，还会变化 $2m-2k-2t$ 个，显然这是一个偶数。那么就容易由相似的思路证明，这样的交换总是使得逆序对数量变化偶数个，所以不改变原排列的奇偶性。

然后很容易知道，从 $1,2,3,...$ 这样的下标排列我们能生成任意一个偶排列。

先考虑所有元素都不相同的情况，那么肯定是可以离散化的，所以只要求出原排列中的逆序对数量，其为偶数即可。

特殊条件

对于逆序对的问题，不好处理的情况就是有相同元素的情况。处理这类问题的时候不能简单地离散化。

考虑原数组（不是下标排列），现在就有了 $a,a,b$ 的情况。这个时候可以变成 $a,b,a$ 或者 $b,a,a$. 显然变成 $a,b,a$ 的时候逆序对只改变1，可以改变排列的奇偶性，故排列无论奇偶性都是可达的，答案一定是 $YES$.

代码

#include <bits/stdc++.h>
#define lowbit(x) ((x)&(-(x)))
using namespace std;
const int maxn = 5e5 + 10;
// int a[maxn];
struct node {
    int x, id;
    bool operator < (const node & y) const {
        return x < y.x;
    }
}a[maxn];
bool cmp(const node& x, const node& y) {
    return x.id < y.id;
}
bool v[maxn];
int c[maxn];
int n;
void add(int x) {
    while (x <= n) {
        c[x]++;
        x += lowbit(x);
    }
}
int sum(int x) {
    int ans = 0;
    while (x >= 1) {
        ans += c[x];
        x -= lowbit(x);
    }
    return ans;
}
int main()
{
    ios::sync_with_stdio(0);
    cin.tie(0);
    int t;
    cin >> t;
    while (t--) {
        cin >> n;
        for (int i = 1; i <= n; ++i) {
            cin >> a[i].x;
            a[i].id = i;
            v[i] = 0;
            c[i] = 0;
        }
        // sort(a + 1, a + 1 + n);
        bool flag = 0;
        for (int i = 1; i <= n; ++i) {
            if (v[a[i].x]) {
                flag = 1;
                break;
            }
            v[a[i].x] = 1;
        }
        if (flag) {
            cout << "YES" << endl;
        }
        else {
            // 树状数组检查逆序对数量
            int ans = 0;
            for (int i = 1; i <= n; ++i) {
                ans += sum(n) - sum(a[i].x);
                add(a[i].x);
            }
            cout << ((ans & 1) ? "NO" : "YES") << endl;
        }
    }
    return 0;
}