⚖️Инвариант слияния TimSort
Стек runs поддерживает: run[i-1] > run[i] + run[i+1], run[i] > run[i+1]. Гарантирует O(n·log n) слияний. Баг в инварианте найден (2015) — исправлен.
📖6 мин чтения📊Уровень 10📅19 февраля 2026 г.
🗺️ Mind Map
Загрузка карты...
❓Часто задаваемые вопросы
Инвариант слияния TimSort — это тема о правилах, механизмах и практиках в своей области. Она помогает понять, как принимаются решения и к каким последствиям они приводят.