确定性单位成本模型。均衡2T(n/2)+n，偏斜T(n-1)+n；证明与手算，不报告程序实验。比较排序下界限于互异键比较模型。

复跑：从仓库根目录执行 python3 examples/advanced-algorithms/check_foundations.py
05基准另执行 python3 examples/advanced-algorithms/benchmark.py
02使用正文手算与一般性推导，无新增实验。