const int N = 100010;
int n;
int q[N],temp[N]; //数组数据 和 辅助数组
void merge_sort(int q[], int l, int r,long long &num)
{
if(l>=r) //如果左边界大于右边界或者区间只有一个数时不再划分排序
{
return;
}
/*思路与快排相反 归并:先划分整个边界直到不能划分后再排序 合并后继续排序
快排:先划分一次分界点 直接排序确定分界点最终位置再递归 如此反复*/
int mid = l+ r >> 1;//取区间中间点为分界点
merge_sort(q,l,mid,num);
merge_sort(q,mid+1,r,num);
int i = l, j = mid+1,k = 0;
while(i <= mid && j <= r )
{
if(q[i] <= q[j] )
{
temp[k++] = q[i++];
}
else
{
temp[k++] = q[j++];
num+= mid -i +1;
}
}
while(i <= mid)//合并比较后左边界是否还有数据 合并所有剩余数据
{
temp[k++] = q[i++];
}
while(j <=r)//合并比较后右边界是否还有数据 合并所有剩余数据
{
temp[k++] = q[j++];
}
for(i=l,j =0;i<=r;i++,j++)
{
q[i] = temp[j];//temp从l到r已排好序 q直接复制即可
}
}
归并算法是将区间划分为n个区间,即初始化每个区间中只能有一个数,再两两合并成一个更大的数组。
其中这种作法借助了一个辅助数组temp暂存入temp的数组当中,注意去q[i]从temp数组中复制的边界是从划分的区间左边界开始。
该归并算法也可用于求逆序对
num+= mid -i +1;
每次判定存储 temp[k++] = q[j++]时可以确认一个逆序对,又初始化为n个区间是每归并一次即可确定归并后n/2个区间内的数据有序,假设第一个区间的第i个数>第二个区间的第j个数,则从第一个区间的第i+1个数均大于第二个区间的第j个数,即逆序对公式可推出为num+= mid - i +1