洛谷P1809 逆序对 cdq分治

给出$n\le 5e5$个数，每个数不超过$1e9$，求逆序对。
树状数组的做法很熟悉了。还有一种分治的思想。这个分治可以认为是一个简单的$cdq$分治。要求满足条件的点对$(i,j)$数，把区间分为两半，那么只有三类情形：分别是都在左区间，都在右区间，或者是一个在左一个在右。对于前两种情形，递归处理。对于最后一种情形，那么就要分析左边区间对右边区间的贡献。这个是关键的一步，这里的复杂度应尽量优。
对于本题的做法：递归解决左右区间，此时左右区间都是有序的。我是从小到大排序的。此时在归并的过程里面比较两个元素的大小。如果左边的元素大于右边的元素，那么显然左边的元素一直到$mid$全部大于右边的元素，这些都是对逆序对的贡献。

#include
using namespace std;
typedef long long ll;
const int inf=0x3f3f3f3f;
const int N=5e5+7;
int a[N],b[N];  
ll ans=0;
void solve(int l,int r) {
	if(l>=r) return;
	int mid=(l+r)>>1;
	solve(l,mid);
	solve(mid+1,r);
	int p1=l,p2=mid+1,tot=l;
	while(p1<=mid&&p2<=r) {
		if(a[p1]<=a[p2]) b[tot++]=a[p1++];
		else b[tot++]=a[p2++],ans+=mid-p1+1;
	}
	while(p1<=mid) b[tot++]=a[p1++];
	while(p2<=r) b[tot++]=a[p2++];
	for(int i=l;i<=r;i++) a[i]=b[i];
}
int main() {
	int n;
	scanf("%d",&n);
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	solve(1,n);
	printf("%lld\n",ans);
	return 0;
}