归并排序是一个不稳定的排序算法。

归并排序的时间复杂度在最优、最差和平均情况下都是 $O(n\log n)$。

归并排序需要额外的 $O(1)$ 空间。

对于输入数组 $\{12, 11, 13, 5, 6, 7\}$，代码输出结果为：7 6 5 13 12 11。