【CDQ分治】三元环

三元环

HDU - 7439

思路

考虑 \(3\) 个点的有向图，要么成环，要么有一个点入度为 \(2\) ，假设第 个点的入度为 \(d_i\)，答案为 \(C_n^3-\sum\limits_{i=1}^nC_{d_i}^2\)。

根据题目关系，\(i\rightarrow j\) 当且仅当 \(i<j \ and\ f_i <f_j \ and\ g_i < g_j\)，否则就是 \(j\rightarrow i\)，所以根据这个三维关系，我们可以先根据前两维求出 \(i<j\ and\ f_i\ge f_j\) 的入度，然后通过 cdq分治去求满足这个三维关系的各点的度数。

代码

#include <bits/stdc++.h>

using namespace std;

using i64 = long long;

template<typename T>
struct BIT {
#ifndef lowbit
#define lowbit(x) (x & (-x));
#endif
    int n;
    vector<T> t;

    BIT () {}
    BIT (int _n): n(_n) { t.resize(_n + 1); }
    BIT (int _n, vector<T>& a): n(_n) {
        t.resize(_n + 1);
        for (int i = 1; i <= n; ++ i) {
            t[i] += a[i];
            int j = i + lowbit(i);
            if (j <= n) t[j] += t[i];
        }
    }
    //单点修改
    void update(int i, T x) {
        while (i <= n) {
            t[i] += x;
            i += lowbit(i);
        }
    }
    //区间查询
    T sum(int i) {
        T ans = 0;
        while (i > 0) {
            ans += t[i];
            i -= lowbit(i);
        }
        return ans;
    }

    T query(int i, int j) {
        return sum(j) - sum(i - 1);
    }
    //区间修改则存入差分数组,[l, r] + k则update(x,k),update(y+1,-k)
    //单点查询则直接求前缀和sum(x)

    //求逆序对
    /*
    iota(d.begin(), d.end(), 0);
    stable_sort(d.begin(), d.end(), [&](int x, int y) {
        return a[x] < a[y];
    });去重排序

    BIT<i64> tree(n);
    i64 ans = 0;
    for (int i = 1; i <= n; i ++) {
        tree.update(d[i], 1);
        ans += i - tree.sum(d[i]);
    }
    */
};

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int n;
    cin >> n;

    vector<array<int, 3>> a(n + 1);
    for (int i = 1; i <= n; i ++) {
        cin >> a[i][0];
        a[i][2] = i;
    }

    for (int i = 1; i <= n; i ++) {
        cin >> a[i][1];
    }

    BIT<i64> bit(n);
    vector<int> in(n + 1);
    //求 i < j and fi >= fj
    for (int i = n; i >= 1; i --) {
        in[i] += bit.sum(a[i][0]);
        bit.update(a[i][0], 1);
    }

    for (int i = n; i >= 1; i --) {
        bit.update(a[i][0], -1);
    }

    auto cdq = [&](auto && self, int l, int r)->void{
        if (l == r)
            return ;

        int mid = l + r >> 1;
        self(self, l, mid);
        self(self, mid + 1, r);

        sort(a.begin() + l, a.begin() + mid + 1, [](auto x, auto y) {
            if (x[0] != y[0]) return x[0] < y[0];
            return x[1] < y[1];
        });

        sort(a.begin() + mid + 1, a.begin() + r + 1, [](auto x, auto y) {
            if (x[0] != y[0]) return x[0] < y[0];
            return x[1] < y[1];
        });

        //求 i < j and fi < fj and gi < gj
        int i = l, j = mid + 1;
        while (j <= r) {
            while (i <= mid && a[i][0] < a[j][0]) {
                bit.update(a[i][1], 1);
                i ++;
            }
            in[a[j][2]] += bit.sum(a[j][1] - 1);
            j ++;
        }
        for (int k = l; k < i; k ++) {
            bit.update(a[k][1], -1);
        }

        //求 i < j and fi < fj and gi >= gj
        i = mid, j = r;
        while (i >= l) {
            while (j > mid && a[j][0] > a[i][0]) {
                bit.update(a[j][1], 1);
                j --;
            }
            in[a[i][2]] += bit.sum(a[i][1]);
            i --;
        }
        for (int k = r; k > j; k --) {
            bit.update(a[k][1], -1);
        }
    };

    cdq(cdq, 1, n);

    i64 ans = 1ll * n * (n - 1) * (n - 2) / 6;
    for (int i = 1; i <= n; i ++) {
        ans -= 1ll * in[i] * (in[i] - 1) / 2;
    }

    cout << ans << '\n';

    return 0;
}