高维偏序问题降维的有力武器——cdq分治

问题引入

陌上花开1

若干个元素有三个属性$a,b,c$，问多少对数对$（i,j）$满足 $$a_i\le a_j,b_i\le b_j,c_i\le c_j$$

分析

如此类问题可以视为一个多维偏序问题，偏序即满足自反性，反对称性，传递性。画成拓扑图则可被视为一张DAG。

考虑这个问题的简单版本，如果只有一个属性，可以容易得到；如果有两个属性，常见的解决方案是对其中一维排序后，树状数组维护前缀，按照某一位以每个元素log的复杂度顺序处理。

在维度更高的情况下，cdq分治是简化问题的一个有效手段。

cdq分治的核心思想即以一个log为代价，降低此类多维偏序一个维度。

预备知识

偏序和全序

偏序即满足：自反性，反对称性，传递性的二元关系。
全序即满足：完全性，反对称性，传递性的二元关系。
两者唯一的区别是第一个性质，但是不难发现，自反性即 $$\forall xs.t.xRx$$
完全性即 $$\forall x,ys.t.xRy$$
即偏序只要自己和自己可比即可，全序则是集合内任意两个元素可比。

像我们处理了如例题陌上花开1的多属性比较关系，往往是偏序的，因为可能出现 $a_i>b_j,b_i<b_j$的情况，两者不可比。而自然数集上的大小关系往往可以被视为全序关系，因为任意两个自然数都可比。

引申一点，在全序关系上我们引入良序的定义：若一个全序集上任意一个非空子集S都有最小元，则称其为良序。

逆序对

求逆序对个数事实上可以被视为一个二位偏序的统计问题。对于序列A上每一个元素 $a_i$都有两个属性，位置 $i</$