堆排序是一种不稳定的排序算法,原因在于它在调整堆的过程中可能会改变相同关键字之间的相对顺序。
具体来说,堆排序使用了一种叫做堆的数据结构,堆是一棵完全二叉树,其中每个结点都大于等于它的子结点(如果是最大堆)或者小于等于它的子结点(如果是最小堆)。堆排序的基本思路是将待排序的数组看作一个堆,然后逐步将堆顶元素与堆尾元素交换,并调整堆的结构,使之成为一个新的、有序的堆。
在调整堆的过程中,如果堆顶元素和某个子结点的值相同,并且这两个结点的相对位置发生了改变,那么就会导致相同关键字之间的相对顺序发生变化,也就是所谓的不稳定。
举个例子,假设我们有一个数组 [3, 5, 3, 4, 6, 4],