逆序对问题：从暴力解法到归并排序优化

1. 逆序对问题概述

逆序对（Inversion Pair）是算法学习中的一个经典问题，它描述的是在一个序列中，如果前面的数字比后面的数字大，那么这两个数字就构成一个逆序对。例如在序列 [3,1,2] 中，(3,1) 和 (3,2) 都是逆序对，因此这个序列的逆序对总数是2。

这个问题看似简单，但在实际应用中却非常重要。它不仅是归并排序算法的一个重要衍生问题，还在统计学、金融分析、基因序列比对等领域有广泛应用。比如在股票分析中，我们可以用逆序对的数量来衡量市场的不稳定性；在基因组学中，逆序对的数量可以用来衡量两个DNA序列的相似程度。

2. 暴力解法分析

2.1 暴力解法实现

最直观的解法就是暴力枚举所有可能的数对，然后统计其中满足逆序对条件的数量。这正是用户提供的代码所采用的方法：

cpp复制#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
int n;
const int N=10010;
int a[N];
LL ans;

int main() {
    cin>>n;
    for(int i=1;i<=n;i++) cin>>a[i];
    
    // 暴力解法
    for(int i=1;i<=n;i++)
        for(int j=i+1;j<=n;j++)
            if(a[i]>a[j]) ans++;
    
    cout<<ans;
    return 0;
}

这段代码的逻辑非常直接：

1. 使用双重循环遍历所有可能的数对(i,j)，其中i<j
2. 检查a[i]是否大于a[j]
3. 如果满足条件，就将计数器ans加1

2.2 暴力解法的时间复杂度

暴力解法的时间复杂度是O(n²)，因为有两层嵌套循环，每层循环最多执行n次。对于小规模数据（比如n≤1000），这种解法是完全可行的。但是当n增大到10⁴甚至更大时，这种解法就会变得非常低效。

注意：在实际编程竞赛中，通常认为计算机每秒可以处理约10⁷-10⁸次基本操作。因此对于n=10⁴，n²=10⁸，暴力解法可能刚好在时间限制边缘，存在超时风险。

2.3 暴力解法的空间复杂度

空间复