Какой из следующих алгоритмов сортировки имеет гарантированную сложность O(n log n) в худшем случае?