레코드 수가 매우 커져도 입력 배열의 초기 정렬 상태와 무관하게 최악 수행시간이 Θ(n log n)인 비교 정렬을 선택하려 한다. 적합한 것은?