정답: 4번

힙 정렬의 최악의 수행 시간복잡도는 \(O(n \log n)\)이다. \(O(2n^4)\)가 아니다. 힙 정렬은 이진 힙 자료구조를 사용하여 정렬하며, 평균과 최악의 경우 모두 \(O(n \log n)\)의 시간복잡도를 갖는다.