算法就像搭乐高:带你手撸 LFU 算法
算法就像搭乐高:带你手撸 LFU 算法
labuladong算法就像搭乐高:带你手撸 LFU 算法
读完本文,你不仅学会了算法套路,还可以顺便解决如下题目:
LeetCode | 力扣 | 难度 |
---|---|---|
460. LFU Cacheopen in new window | 460. LFU 缓存open in new window | 🔴 |
上篇文章 带你手写LRU算法 写了 LRU 缓存淘汰算法的实现方法,本文来写另一个著名的缓存淘汰算法:LFU 算法。
LRU 算法的淘汰策略是 Least Recently Used,也就是每次淘汰那些最久没被使用的数据;而 LFU 算法的淘汰策略是 Least Frequently Used,也就是每次淘汰那些使用次数最少的数据。
LRU 算法的核心数据结构是使用哈希链表 LinkedHashMap
,首先借助链表的有序性使得链表元素维持插入顺序,同时借助哈希映射的快速访问能力使得我们可以在 O(1) 时间访问链表的任意元素。
从实现难度上来说,LFU 算法的难度大于 LRU 算法,因为 LRU 算法相当于把数据按照时间排序,这个需求借助链表很自然就能实现,你一直从链表头部加入元素的话,越靠近头部的元素就是新的数据,越靠近尾部的元素就是旧的数据,我们进行缓存淘汰的时候只要简单地将尾部的元素淘汰掉就行了。
而 LFU 算法相当于是把数据按照访问频次进行排序,这个需求恐怕没有那么简单,而且还有一种情况,如果多个数据拥有相同的访问频次,我们就得删除最早插入的那个数据。也就是说 LFU 算法是淘汰访问频次最低的数据,如果访问频次最低的数据有多条,需要淘汰最旧的数据。
所以说 LFU 算法是要复杂很多的,而且经常出现在面试中,因为 LFU 缓存淘汰算法在工程实践中经常使用,也有可能是因为 LRU 算法太简单了。不过话说回来,这种著名的算法的套路都是固定的,关键是由于逻辑较复杂,不容易写出漂亮且没有 bug 的代码。
那么本文我就带你拆解 LFU 算法,自顶向下,逐步求精,就是解决复杂问题的不二法门。
#一、算法描述
要求你写一个类,接受一个 capacity
参数,实现 get
和 put
方法:
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
class LFUCache { |
get(key)
方法会去缓存中查询键 key
,如果 key
存在,则返回 key
对应的 val
,否则返回 -1。
put(key, value)
方法插入或修改缓存。如果 key
已存在,则将它对应的值改为 val
;如果 key
不存在,则插入键值对 (key, val)
。
当缓存达到容量 capacity
时,则应该在插入新的键值对之前,删除使用频次(后文用 freq
表示)最低的键值对。如果 freq
最低的键值对有多个,则删除其中最旧的那个。
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
// 构造一个容量为 2 的 LFU 缓存 |
#二、思路分析
一定先从最简单的开始,根据 LFU 算法的逻辑,我们先列举出算法执行过程中的几个显而易见的事实:
1、调用 get(key)
方法时,要返回该 key
对应的 val
。
2、只要用 get
或者 put
方法访问一次某个 key
,该 key
的 freq
就要加一。
3、如果在容量满了的时候进行插入,则需要将 freq
最小的 key
删除,如果最小的 freq
对应多个 key
,则删除其中最旧的那一个。
好的,我们希望能够在 O(1) 的时间内解决这些需求,可以使用基本数据结构来逐个击破:
1、使用一个 HashMap
存储 key
到 val
的映射,就可以快速计算 get(key)
。
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
HashMap<Integer, Integer> keyToVal; |
2、使用一个 HashMap
存储 key
到 freq
的映射,就可以快速操作 key
对应的 freq
。
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
HashMap<Integer, Integer> keyToFreq; |
3、这个需求应该是 LFU 算法的核心,所以我们分开说:
🌟
🌟
3.1、首先,肯定是需要 freq
到 key
的映射,用来找到 freq
最小的 key
。
3.2、将 freq
最小的 key
删除,那你就得快速得到当前所有 key
最小的 freq
是多少。想要时间复杂度 O(1) 的话,肯定不能遍历一遍去找,那就用一个变量 minFreq
来记录当前最小的 freq
吧。
3.3、可能有多个 key
拥有相同的 freq
,所以 freq
对 key
是一对多的关系,即一个 freq
对应一个 key
的列表。
3.4、希望 freq
对应的 key
的列表是存在时序的,便于快速查找并删除最旧的 key
。
3.5、希望**能够快速删除 key
列表中的任何一个 key
**,因为如果频次为 freq
的某个 key
被访问,那么它的频次就会变成 freq+1
,就应该从 freq
对应的 key
列表中删除,加到 freq+1
对应的 key
的列表中。
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
HashMap<Integer, LinkedHashSet<Integer>> freqToKeys; |
介绍一下这个 LinkedHashSet
,它满足我们 3.3,3.4,3.5 这几个要求。你会发现普通的链表 LinkedList
能够满足 3.3,3.4 这两个要求,但是由于普通链表不能快速访问链表中的某一个节点,所以无法满足 3.5 的要求。
LinkedHashSet
顾名思义,是链表和哈希集合的结合体。链表不能快速访问链表节点,但是插入元素具有时序;哈希集合中的元素无序,但是可以对元素进行快速的访问和删除。
那么,它俩结合起来就兼具了哈希集合和链表的特性,既可以在 O(1) 时间内访问或删除其中的元素,又可以保持插入的时序,高效实现 3.5 这个需求。
综上,我们可以写出 LFU 算法的基本数据结构:
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
class LFUCache { |
#三、代码框架
LFU 的逻辑不难理解,但是写代码实现并不容易,因为你看我们要维护 KV
表,KF
表,FK
表三个映射,特别容易出错。对于这种情况,我教你三个技巧:
1、不要企图上来就实现算法的所有细节,而应该自顶向下,逐步求精,先写清楚主函数的逻辑框架,然后再一步步实现细节。
2、搞清楚映射关系,如果我们更新了某个 key
对应的 freq
,那么就要同步修改 KF
表和 FK
表,这样才不会出问题。
3、画图,画图,画图,重要的话说三遍,把逻辑比较复杂的部分用流程图画出来,然后根据图来写代码,可以极大减少出错的概率。
下面我们先来实现 get(key)
方法,逻辑很简单,返回 key
对应的 val
,然后增加 key
对应的 freq
:
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
class LFUCache { |
增加 key
对应的 freq
是 LFU 算法的核心,所以我们干脆直接抽象成一个函数 increaseFreq
,这样 get
方法看起来就简洁清晰了对吧。
下面来实现 put(key, val)
方法,逻辑略微复杂,我们直接画个图来看:
这图就是随手画的,不是什么正规的程序流程图,但是算法逻辑一目了然,看图可以直接写出 put
方法的逻辑:
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
class LFUCache { |
increaseFreq
和 removeMinFreqKey
方法是 LFU 算法的核心,我们下面来看看怎么借助 KV
表,KF
表,FK
表这三个映射巧妙完成这两个函数。
#四、LFU 核心逻辑
首先来实现 removeMinFreqKey
函数:
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
class LFUCache { |
删除某个键 key
肯定是要同时修改三个映射表的,借助 minFreq
参数可以从 FK
表中找到 freq
最小的 keyList
,根据时序,其中第一个元素就是要被淘汰的 deletedKey
,操作三个映射表删除这个 key
即可。
但是有个细节问题,如果 keyList
中只有一个元素,那么删除之后 minFreq
对应的 key
列表就为空了,也就是 minFreq
变量需要被更新。如何计算当前的 minFreq
是多少呢?
实际上没办法快速计算 minFreq
,只能线性遍历 FK
表或者 KF
表来计算,这样肯定不能保证 O(1) 的时间复杂度。
但是,其实这里没必要更新 minFreq
变量,因为你想想 removeMinFreqKey
这个函数是在什么时候调用?在 put
方法中插入新 key
时可能调用。而你回头看 put
的代码,插入新 key
时一定会把 minFreq
更新成 1,所以说即便这里 minFreq
变了,我们也不需要管它。
下面来实现 increaseFreq
函数:
java 🟢cpp 🤖python 🤖go 🤖javascript 🤖
class LFUCache { |
更新某个 key
的 freq
肯定会涉及 FK
表和 KF
表,所以我们分别更新这两个表就行了。
和之前类似,当 FK
表中 freq
对应的列表被删空后,需要删除 FK
表中 freq
这个映射。如果这个 freq
恰好是 minFreq
,说明 minFreq
变量需要更新。
能不能快速找到当前的 minFreq
呢?这里是可以的,因为之前修改的那个 key
依然是目前出现频率最小的 key
,所以 minFreq
也加 1 就行了。
至此,经过层层拆解,LFU 算法就完成了。更多数据结构设计相关的题目参见 数据结构设计经典习题open in new window。