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