下列排序方法中，时间复杂性不受数据初始状态影响，恒为O(nlog2n)的是( )。