时间复杂度不受数据初始状态影响而恒为O(nlog2n)的是（ ）。