Инвариант слияния TimSort
⚖️TimSort Merge Invariant
The runs stack maintains: run[i-1] > run[i] + run[i+1], run[i] > run[i+1]. Ensures O(n·log n) merges. A bug in the invariant was found (2015) — fixed
Article body and graph labels may still appear in Russian where English translations have not been added yet.
Loading map...
❓Часто задаваемые вопросы
Инвариант слияния TimSort — это тема о правилах, механизмах и практиках в своей области. Она помогает понять, как принимаются решения и к каким последствиям они приводят.