若要求对大小为n的数组进行排序的时间复杂度为O(nlog₂n)，且是稳定的（即如果待排序的序列中两个数据元素具有相同的值，在排序前后它们的相对位置不变），则可选择的排序方法是（  ）。