归并排序采用分治策略，将数组分为两部分，分别排序后合并。它的平均和最坏时间复杂度都是 O(n log n)。