acwing 自我学习笔记-归并算法（双指针）

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