У какой классической сортировки время работы гарантированно O(n log n) даже в худшем случае, а дополнительная память нужна только O(1)?