一、基础算法 -- 逆序对的数量

题目描述

给定一个长度为 n 的整数数列，请你计算数列中的逆序对的数量。

逆序对的定义如下：对于数列的第i个和第 j 个元素，如果满足i<j且 a[i]>a[j]，则其为一个逆序对；否则不是。

输入格式

第一行包含整数 n，表示数列的长度。

第二行包含 n 个整数，表示整个数列。

输出格式

输出一个整数，表示逆序对的个数。

数据范围

$1\le n\le 100000$，
数列中的元素的取值范围 [1,$10^9$]。

输入样例

6
2 3 4 5 6 1

输出样例

5

---

算法思路

首先先看一张图：

1. 逆序对的定义：

对于数列的第 i 个和第 j 个元素，如果满足 i < j 且 a[i] > a[j]，则其为一个逆序对。
重要的地方在于，一个元素可以不只是在一个逆序对中存在。如果 k > j > i 且 a[i] > a[j] > a[k]，那么这里
有两个含 a[i] 的逆序对，分别是 (a[i], a[j]) 和 (a[i], a[k]), a[i]是可以使用多次的。
(太长不看)
举个栗子：

num:  2 3 4 5 6 1
id :  0 1 2 3 4 5

一句话概括就是求当前数组中存在几个比当前位置大的，（或者后面有几个数字比他小的） 加上2在第一个位置，后面比它小的数字是1，所以2的逆序对是(2， 1), 同理(3, 1) (4, 1) (5, 1) (6, 1)
答案是5。

2. 分析问题：

采用分治法来求解问题，为什么不是树状数组呢~~（buhui）~~,因为分治法求解此题比较简单。
按照y总的说法：我们将序列从中间分开，将逆序对分成三类：

1. 两个元素都在左边；
2. 两个元素都在右边；
3. 两个元素一个在左一个在右；

算法的大致框架为：

1. 递归算$左边$的；
2. 递归算$右边$的；
3. 算$一个左一个右$的；
4. 把三个结果加在一起
   

3. 问题详解：

1. 在一些题解中说到可以不用计算前两种情况，只需要看第三种情况，我的理解是:需要真正知道归并排序在做什么。这就是我们上面的那张图，归并排序分为两个大步骤；$分$和$治$，从上面的栗子中我们看出，分的步骤会把所有的数组分为一个单独的数字，所以也就解释了为什么不需要考虑前两种情况，最种都会到第三中情况上，因为只有每组只有一个数字，它没有人同组，1就是1，怎么变成2，我就吃了一碗粉，为什么付两碗的钱。所以最终都是会变成第三种情况。
2. 下面解释治.
   
3. 第一步对元素进行排序，可以看到直接是求两个单独元素的逆序对，如果是逆序对，答案ans++,然后合并两个数字变成一个有序的数组，
4. 第二步，在对两个分组的数字进行求逆序对，此时没有到只剩下两个分组的情况，可以把这些步骤看作是内部之间求逆序对。
5. 第三步就是两个分组求逆序对。可以看到此时前后两个分组都是有序的，前面的数组的下边为l..mid，后面的下标为mid + 1...r，我们可以在归并的时候是需要把两个数组的值重新赋值到原数组中的，所以就可以比较两个数组的值，也就是可以求逆序对。如果A数组的值q[i] 大于B数组的值q[j]，代表在A数组中i~mid都是大于q[j]的，所以对于q[j]来说他的逆序对数量为mid - i + 1,同理，其他的逆序对也可以这么求。

#include <iostream>
#include <cstring>
#include <algorithm>

using namespace std;

typedef long long LL;

const int N = 100010;
int a[N], tmp[N];

LL merge_sort(int q[], int l, int r)
{
    if (l >= r) return 0;
    
    int mid = (l + r) >> 1; // 二分区间
    
    LL res = merge_sort(q, l, mid) + merge_sort(q, mid + 1, r);

    //归并
    int i = l, j = mid + 1, k = 0;
    
    while (i <= mid && j <= r)
    {
        if (q[i] <= q[j]) tmp[k ++] = q[i ++]; // 前面的排序正常，注意`=` 说明不是逆序对
        else
        {
            res += mid - i + 1;
            tmp[k ++] = q[j ++];
        }
    }
    
    // 扫尾工作
    while (i <= mid) tmp[k ++] = q[i ++];
    while (j <= r) tmp[k ++] = q[j ++];
    
    for (int i = l, j = 0; i <= r; i ++ , j ++) q[i] = tmp[j];
    
    return res;
}
int main()
{
    int n;
    scanf("%d", &n);
    
    for (int i = 0; i < n; i ++) scanf("%d", &a[i]);
    
    LL res = merge_sort(a, 0, n - 1);
    
    cout << res << endl;
    
    return 0;
    
}

4. 参考资料：

1. 算法基础课
2. 逆序对数量与递归与排序
3. 菜鸟教程之归并排序解释