下列排序算法中，哪种是在最坏情况下时间复杂度最优的？

堆排序的最坏时间复杂度为O(n log n)，而其他排序算法的最坏情况多为O(n²)。因此选项D正确。