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