梦想天生
柯尔莫哥洛夫复杂度
不可计算的最小值
数据处理    可计算性 / 渐进复杂度
无损压缩算法基础及效率分析
香农-范诺编码、哈夫曼编码以及兰波-立夫-卫曲编码
数据处理    数据压缩
TUCS：最终的比较排序法
基于比较的排序算法的复杂度的理论下界
杂项    排序 / 渐进复杂度
BFPRT：线性选择算法
确定性 k-th element
杂项    排序
狄利克雷卷积和莫比乌斯反演
从狄利克雷卷积出发证明莫比乌斯反演
数论    莫比乌斯反演
Scheme 解释器原理
“Scheme 是最美的语言”
编译原理    Scheme