刷手机的时候看到一个逆序数的算法题，刚好又在复习矩阵论，行列式里也有用到逆序数，想到大二时学的逆序数计算算法，回顾了一下，并写下这篇文章记录。
1. 定义
假设有一个排列\(a_1,a_2,\dots,a_n\)，如果下标对\(\langle i,j \rangle\)满足\(i \lt j\)而\(a_i > a_j\)，就称有序对\(\langle a_i, a_j \rangle\)是一个逆序对。排列中，所有逆序对的数量称为逆序数。
例如：排列\(3,1,2\)中的逆序对为\(\langle 3, 1 \rangle\)和\(\langle 3, 2 \rangle\)，逆序数为\(2\)。
可以看出，逆序数为\(0\)的排列是单调递增的，单调递减排列的逆序数最大。
2. 逆序数的计算
逆序数一般通过归并排序（即分治算法）或树状数组计算，此处只讲解归并排序解法。
将问题进行分解：将数组从中点划分为左右两个子数组，求数组的逆序数就转换为求左子数组的逆序数\(i_l\)、右子数组的逆序数\(i_r\)以及左子数组相对右子数组的逆序数\(i_{lr}\)（即逆序对第一个元素来自左子数组，第二个来自右子数组）。求左右子数组的逆序数均可再次进行分解，直至子数组仅包含\(1\)个或\(2\)个元素。子数组仅包含\(1\)个元素时，逆序数为\(0\)；子数组仅包含\(2\)个元素\(a,b\)时，\(a \le b\)时逆序数为\(0\)，否则为\(1\)。因此重点在于求解左子数组相对右子数组的逆序数\(i_{lr}\)。
可以发现，任意改变左子数组的元素顺序，以及任意改变右子数组的元素顺序，都不会影响\(i_{lr}\)。假设左右子数组都是单调递增的，那么对于左子数组中的元素\(a_i\)以及右子数组中的元素\(b_j\)，如果\(a_i\)和\(b_j\)构成逆序对，那么\(a_i\)之后的元素\(a_{i+1}, a_{i+2}, \dots, a_{l}\)都能和\(b_j\)构成逆序对。
证明：\(a_i\)和\(b_j\)构成逆序对，说明\(a_i \gt b_j\)。而左子数组单调递增，即\(\forall k \gt 0, a_{i+k} \ge a_i\)，因此有\(a_{i+k} \gt b_j\)。
由此，可以得到以下计算\(i_{lr}\)的算法：
Algorithm CountCrossInversions(left[0..l-1], right[0..r-1]):
Input:
left: 左子数组，长度为l，单调递增
right: 右子数组，长度为r，单调递增
Output:
左子数组相对右子数组的逆序数
i ← 0
j ← 0
result ← 0
while i < l and j < r do
if left[i] > right[j] then
result ← result + (l - i)
j ← j + 1
else
i ← i + 1
end if
end while
return result归并排序将数组从中点划分为两个子数组，分别对子数组再次进行归并排序，再合并两个有序数组，实现排序。以上计算\(i_{lr}\)的算法和归并排序合并有序子数组的过程高度相似，并且左右子数组都需要提前进行排序，因此只需对归并排序合并有序子数组的操作稍作修改即可计算数组的逆序数。
力扣LCR 170. 交易逆序对的总数即为逆序数计算的题目，具体的C++实现如下：
c++
class Solution {
private:
int mergeSort(vector<int>& record, int l, int r) {
// 边界，子数组仅有1个元素
if (l == r - 1)
return 0;
// 边界，子数组仅有2个元素
if (l == r - 2) {
if (record[l] > record[l + 1]) {
swap(record[l], record[l + 1]);
return 1;
}
return 0;
}
// 拆分为两个子问题
int mid = l + (r - l) / 2;
int i_l = mergeSort(record, l, mid);
int i_r = mergeSort(record, mid, r);
// 合并两个有序子数组，并计算左子数组相对右子数组的逆序数
vector<int> temp(r - l);
int i = 0, j = l, k = mid;
int i_lr = 0;
while (j < mid && k < r) {
if (record[j] > record[k]) {
i_lr += mid - j; // record[j]及之后的元素，均能和record[k]构成逆序对
temp[i++] = record[k++];
} else {
temp[i++] = record[j++];
}
}
while (j < mid)
temp[i++] = record[j++];
while (k < r)
temp[i++] = record[k++];
copy(temp.begin(), temp.end(), record.begin() + l);
return i_l + i_r + i_lr;
}
public:
int reversePairs(vector<int>& record) {
if (record.empty())
return 0;
return mergeSort(record, 0, static_cast<int>(record.size()));
}
};3. 逆序数的应用
3.1 最小相邻交换次数
算法题除了直接指明要计算逆序数外，还会以等价的问题------排序时最少需要多少次相邻交换的形式考察。该类问题的定义如下：
给定数组A，要将它变成单调递增序列，限制每次只能交换相邻的两个元素，至少需要多少次交换？（插入排序、冒泡排序等"邻近交换"的排序算法，都是这样操作的。）
最小的交换次数即为排列的逆序数 。单调递增序列的逆序数为\(0\)，对于给定的排列，每次相邻交换最多减少\(1\)个逆序对，且在逆序数不为\(0\)时，总能进行一次相邻交换，使得逆序对减少。
单调递增序列的逆序数为\(0\)，由逆序对定义可以得到该结论。
对于给定的排列，每次相邻交换最多减少\(1\)个逆序对。因为是相邻交换，每次只能改变操作的两个元素之间的相对顺序，而其他元素相对这两个元素的顺序不会改变，因此只能使得逆序数加\(1\)（交换前不构成逆序对，且两个元素不断）、减\(1\)（交换前构成逆序对）或不变（两个元素相等）。
在逆序数不为\(0\)时，总能进行一次相邻交换，使得逆序对减少。假如不能通过相邻交换使逆序对减少，说明\(\forall a_i, a_i \le a_{i+1}\)，即排列单调递增，逆序数必为\(0\)。
3.2 Kendall tau距离
两个序列\(\tau _{1},\tau _{2}\)，长度相等，含有的元素相同但顺序不同，它们之间的Kendall tau距离定义如下：
\({\displaystyle K_{d}(\tau _{1},\tau _{2})=|\{(i,j):i<j,[\tau _{1}(i)<\tau _{1}(j)\wedge \tau _{2}(i)>\tau _{2}(j)]\vee [\tau _{1}(i)>\tau _{1}(j)\wedge \tau _{2}(i)<\tau _{2}(j)]\}|}\)
Kendall tau距离可以通过逆序数计算。
3.3 数学中的应用
逆序数为奇数的排列称为奇排列，为偶数则为偶排列。奇偶排列可用于计算n阶行列式：
\[\det(A) = \sum_{\pi \in S_n}(-1)^{\mathrm{inv}(\pi)} \prod_{i=1}^n a_{i,\pi(i)} \]
其中，\(S_n\)表示所有\(n\)元排列的集合，\(\pi\)为一个\(n\)元排列，\(\mathrm{inv}(\pi)\)表示排列的逆序数。
奇偶排列还可用于判断15数码游戏（15-puzzle）是否可解。