归并排序

分段排序后合并，时间复杂度在最优、最坏与平均情况下均为 $O(\log n)$

空间复杂度为 $O(n)$