全面了解归并排序算法及代码实现

归并排序算法

按照惯例，对于排序算法。我们还是先罗列概念

归并排序是建立在归并操作上的一种有效的排序算法,该算法是采用分治法（Divide and Conquer）的一个非常典型的应用。将已有序的子序列合并，得到完全有序的序列；即先使每个子序列有序，再使子序列段间有序。若将两个有序表合并成一个有序表，称为二路归并。

---

合并

通过概念我们也能看出，既然是归并排序，那核心的问题就是如何进行归并了。这可以归结为从小往大的一个合并问题。

给定我们一组数据

我们通过分治策略，将其拆分。直到不能拆为止，想要达到的效果如下

这就是我们最终用来进行归并的拆分后的数组。下面开始合并

我们可以看到，每两个数组进行合并。合并之后的新数组是有序的。然后新数组之间再两两合并，直到合并为一个最终的数组。

下面我们以最后一步合并为例子，介绍一下两个数组之间合并的细节步骤。

第一步、 sl 和 sr位置上的元素进行比较，值小的一方的元素放入新数组，然后对应的索引 sl/sr 向前进一位。这里 sl位置上的2小，因此将2 放入新数组，sl移到该组的下一个元素

第二步、再次将 sl 和 sr 位置上的元素进行比较，3 比 6 小，因此 3放入新数组，sl再次移动到下一个元素

第三步、二者继续比较，此时 sr上的 6 要比 sl上的7小。因此将6放入新的数组，sr移动到该组的下一个元素

第四步、重复上面的比较过程，直到有一组先于另一组全部放入到新数组中

最后，此时的 sl一组已经全部排序完成了，而对于 sr一组剩余的元素可以直接放入新数组。因为每一组之内的元素都是有序的。

此时我们看到整个归并过程已经完成了。下面我们看一下合并过程的代码（以下代码用 PHP 编写）

function Merge($arr,$l,$m,$r)
{
$t = $arr;
$lstart = $l;
$rstart = $m+1;

while($l < $r) {
    if($lstart > $m || $rstart > $r) break;
    if($arr[$lstart] > $arr[$rstart]) {
        $t[$l++] = $arr[$rstart++];
    }else{
        $t[$l++] = $arr[$lstart++];
    }
}

$start = $l;
$end = $r;

if($lstart <= $m) {
    $start = $lstart;
    $end = $m;
}elseif($rstart <= $r) {
    $start = $rstart;
    $end = $r;
}

while($start <= $end) {
    $t[$l++] = $arr[$start++];
}
$arr = $t;

return $arr;

}

---

拆分

上面我们看到了归并排序的核心的过程，合并。但是只是有合并的过程还是不完整的，因为给到我们的原始数据是一组完整的数据。因此在合并之前我们应该先对其进行拆分。

拆分的过程比较简单，它不会涉及到排序的问题，只是拆就完了。

这里拆分过程的代码可以分为两种方式：递归实现和非递归实现

下面我们分别看一下两种不同的拆分代码

递归

递归方式代码就非常简单了，我们只需要设定递归终止条件，然后按照一个整体的轮廓写代码就可以了

function MergeSort(&$arr,$l,KaTeX parse error: Expected '}', got 'EOF' at end of input: r) { if(l >= $r) {
return;
}
$m=floor(($l+$r) / 2);

MergeSort($arr,$l,$m);
MergeSort($arr,$m+1,$r);
$arr = Merge($arr,$l,$m,$r);

}

我们可以看到，代码很简单。按照深度优先方式，先拆左边，然后再拆右边。最后调用我们上面的Merge() 函数进行合并就行了。

非递归

非递归的方式代码显得就有点复杂了，在上面使用递归的方式拆分的过程中，其实我们只是设定了终止递归的条件，其他的细节不用考虑的。但是非递归方式就必须需要考虑细节了。

因为拆分的过程是一个深度优先的过程，针对深度优先这里就需要用到栈机制。

其实，递归底层的实现机制也是借助的栈的机制实现的。

这里我们看一下代码

function MergeSort(&$arr)
{
$stack = []; // 初始化一个栈
$toMergeStack = []; // 用于归并的栈
$l = 0;
$r=count($arr) - 1;

$tmp = [$l,$r,floor(($l+$r)/2)];

array_push($stack,$tmp);
array_push($toMergeStack,$tmp);

while(!empty($stack)) {
    $s = array_pop($stack);
    if($s[0] < $s[2]) {
        array_push($stack,[$s[0],$s[2],floor(($s[0]+$s[2])/2)]);
        array_push($toMergeStack,[$s[0],$s[2],floor(($s[0]+$s[2])/2)]);
    }

    if($s[2]+1 < $s[1]) {
        array_push($stack,[$s[2]+1,$s[1],floor(($s[2]+1+$s[1])/2)]);
        array_push($toMergeStack,[$s[2]+1,$s[1],floor(($s[2]+1+$s[1])/2)]);
    }
}

// 开始合并
while(!empty($toMergeStack)){
    $s = array_pop($toMergeStack);
    $arr = Merge($arr,$s[0],$s[2],$s[1]);
}

}

我们再看代码明显多出许多来。但是这个过程并不复杂，理解了非递归的方式更有助于我们对归并排序的理解。

原文地址：https://www.cnblogs.com/onmpw/p/15665562.html