梦想天生

不可计算的最小值
香农-范诺编码、哈夫曼编码以及兰波-立夫-卫曲编码
基于比较的排序算法的复杂度的理论下界
确定性 k-th element
从狄利克雷卷积出发证明莫比乌斯反演
“Scheme 是最美的语言”