参考答案：D

解析：
[分析] 一个完整的归并排序需要进行[log₂n)次，实现归并排序需要和代派序列元素个数等量的辅助空间，其时间复杂度为O(n^log2n)。