归并排序的最好、最坏和平均时间复杂度均为 $O(n \log n)$。