归并排序是一种稳定排序算法，常见实现的时间复杂度为 $O(n\log n)$。