排序

TUCS：最终的比较排序法
基于比较的排序算法的复杂度的理论下界
杂项    排序 / 渐进复杂度
BFPRT：线性选择算法
确定性 k-th element
杂项    排序