稳定的比较排序与O(n*log(n))时间和O(1)空间复杂度

Flo*_*ker 6 sorting algorithm complexity-theory proof

在浏览维基百科的排序算法列表时,我注意到没有稳定的比较排序具有O(n*log(n))(最坏情况)时间复杂度和O(1)(最坏情况)空间复杂度.这肯定看起来像理论界限,但我找不到更多关于它的信息.

如何证明这一点?

注意:我知道O(n*log(n))比较排序的最坏情况时间复杂度的下限.

Blu*_*eft 8

尽管那篇文章说的是,可以制作就地稳定的Merge SortO(n log n).

是一篇论文,解释了实现它的两种方法.

  • 那篇论文中描述的类型实际上是稳定的吗?我不确定,因为他们最后只谈论稳定性,就好像这是一个额外的目标(合并排序并不一定意味着稳定,可以写一个不是稳定的)。我还没有实现所示的任何算法,但从图表来看,这两种算法都不稳定(请参阅大数据块顺序的更改)。 (2认同)