https://blog.shuaizhang.cc/zh-hans/tags/algorithms/查看归入当前术语的文章。Hugozh-HansSat, 30 Mar 2019 20:21:02 +0000https://blog.shuaizhang.cc/zh-hans/posts/arc-one-up-on-lru/Sat, 30 Mar 2019 00:00:00 +0000https://blog.shuaizhang.cc/zh-hans/posts/arc-one-up-on-lru/本文总结 ARC 缓存替换算法如何在 recency 与 frequency 之间自适应平衡，并说明其相对 LRU 的优势。https://blog.shuaizhang.cc/zh-hans/posts/hash-table-summary-and-advanced-topics/Sat, 14 Apr 2018 00:00:00 +0000https://blog.shuaizhang.cc/zh-hans/posts/hash-table-summary-and-advanced-topics/本文总结哈希表在冲突、扩容等方面的常见问题，并讨论完美哈希等高级主题。https://blog.shuaizhang.cc/zh-hans/posts/programmer-should-know-formal-verification/Fri, 06 Apr 2018 00:00:00 +0000https://blog.shuaizhang.cc/zh-hans/posts/programmer-should-know-formal-verification/本文以 lower_bound 为例说明如何用安全性与活性分析、数学归纳法来推导并验证二分搜索实现。https://blog.shuaizhang.cc/zh-hans/posts/tail-recursion-cps-and-recursion-to-loop/Thu, 18 Jul 2013 00:00:00 +0000https://blog.shuaizhang.cc/zh-hans/posts/tail-recursion-cps-and-recursion-to-loop/本文介绍了什么是尾递归，什么是CPS，以及如何应用前两者将递归转化为循环。