二维偏序问题

二维偏序问题

偏序问题的概念

设$R$是集合$A$上的一个二元关系，若$R$满足：

1. 自反性：对任意$x\in A$，有$xRx$
2. 反对称性（即反对称关系）：对任意$x,y\in A$，若$xRy$，且$yRx$，则$x=y$
3. 传递性：对任意$x,y,z\in A$，若$xRy$，且$yRz$，则$xRz$

则称$R$为$A$上的偏序关系，通常记作$\preccurlyeq$。注意这里的$\preccurlyeq$不必是指一般意义上的“小于或等于”
若然有$x\preccurlyeq y$，我们也说$x$排在$y$前面（x precedes y）

二维偏序问题通解

对于二维偏序问题，我们通常使用树状数组进行解决。关于树状数组的介绍，我在前面已经写过

二叉树基础（三）树状数组（Fenwick Tree）

将一组数据进行排序，再将另一组数据离散化后，按题意分情况压入树状数组，求前缀和，这是二维偏序问题的一般解法。

下面我们看几道例题

POJ2352

这道题按$y$为第一关键词，$x$为第二关键词进行了排序，随后将x压入树状数组后，得到的前缀和表示比$x$小的元素个数，而$ans$则会记录比$x$小且比$y$小的元素个数。代码如下

void solve() {
   
    int n, x;
    cin>>n;
    Fenwick tree = Fenwick(MAX);
    vector<int> ans(n);
    for (int i = 0, i