https://blog.shuaizhang.cc/en-us/tags/algorithms/Posts gathered under this term.Hugoen-USSat, 30 Mar 2019 20:21:02 +0000https://blog.shuaizhang.cc/en-us/posts/arc-one-up-on-lru/Sat, 30 Mar 2019 00:00:00 +0000https://blog.shuaizhang.cc/en-us/posts/arc-one-up-on-lru/This article summarizes how the ARC cache replacement algorithm adaptively balances recency and frequency, and explains its advantages over LRU.https://blog.shuaizhang.cc/en-us/posts/hash-table-summary-and-advanced-topics/Sat, 14 Apr 2018 00:00:00 +0000https://blog.shuaizhang.cc/en-us/posts/hash-table-summary-and-advanced-topics/This article summarizes common issues in hash tables, such as collisions and resizing, and discusses advanced topics such as perfect hashing.https://blog.shuaizhang.cc/en-us/posts/programmer-should-know-formal-verification/Fri, 06 Apr 2018 00:00:00 +0000https://blog.shuaizhang.cc/en-us/posts/programmer-should-know-formal-verification/Using lower_bound as an example, this article explains how to derive and verify a binary search implementation with safety and liveness analysis and mathematical induction.https://blog.shuaizhang.cc/en-us/posts/tail-recursion-cps-and-recursion-to-loop/Thu, 18 Jul 2013 00:00:00 +0000https://blog.shuaizhang.cc/en-us/posts/tail-recursion-cps-and-recursion-to-loop/This article introduces what tail recursion is, what CPS is, and how to apply the first two concepts to convert recursion into loops.