Amortization and Persistence via Lazy Evaluation

学到一个新东西，分析平摊的算法复杂度。