先说一个我经常在后台收到的私信:“Hot100刷了两遍,遇到哈希题还是只能硬背 unordered_map,换个包装就不会了。” 这种情况我太熟悉了。LeetCode Hot100里的哈希题,表面看是考数据结构,实际上考的是“你有没有建立起一种用空间换时间的条件反射”。如果你正处于“题解看得懂、自己做没思路”的阶段,或者刷题量上去了但遇到新题依然不知道怎么套哈希,那这篇内容应该能帮你把哈希这条路彻底走通。
我整理了Hot100中所有能用哈希解决的题目,从底层原理、函数选择,到具体代码怎么写、复杂度怎么算、哪些坑让你debug一整晚,全部拆开揉碎讲清楚。这篇文章不追求“穷尽所有解法”,而是想让你读完以后,能像条件反射一样识别出“这题能哈希”、“这个场景需要计数”、“这里要用索引映射”。
1. 刷了这么多哈希题,到底在刷什么
1.1 哈希考的不是数据结构,是思维习惯
很多人有个误解,觉得哈希就是“会用 map / dict / HashMap 就行”。如果只停留在API调用层面,做做简单题没问题,但一旦题目上升到“子串统计”“前缀和累积”“题目变形”这类复杂度,就会露馅。
我在很早期刷题时也有一个误区:觉得哈希就是“检查重复元素”。真正开始大量做Hot100之后才发现,哈希的本质是两类能力:
- 把“查找某个值是否存在”的时间从O(n)降到O(1);
- 把“与某个值相关联的信息”挂在同一个Key上,省去大量循环匹配。
前者大家都很熟,后者却很少被总结。所谓哈希题,核心就是想清楚“我到底要把什么存进Key,把什么当作Value”。一旦想明白这一点,代码其实非常好写。
以Hot100中的《字母异位词分组》为例,大多数人第一次看到会觉得要用多重循环去比较两个字符串是不是异位词。这当然能做,但时间复杂度一眼就是O(n²·k),在LeetCode的边界用例下一定会超时。哈希解法只需要找到每个字符串的“签名”——要么排序后作为Key,要么用字符计数拼接作为Key——然后一次性把所有的词挂进对应的组。思路完全不同,代码量反而更少。
1.2 用“能不能更快地回答查询”来判断题目类型
我自己的经验是:判断一道题能不能用哈希,只需要问三个问题。
- 题目里是否频繁出现“查找某个值是否出现/出现多少次”的需求?
- 是否存在“两个元素之间的关系”需要快速匹配?
- 如果使用两层循环,消耗的时间复杂度是什么,能不能通过预存一层信息降低?
只要这三个问题里有超过一个答案是“是”,那哈希大概率是正解方向。
举个例子,《两数之和》。暴力解法是两层循环,第一个问题:“是否存在一个数与当前数之和为目标值”——Yes,所以可以用哈希把已经遍历过的数存起来,当下一个数过来时直接查“目标值减去当前值”在不在哈希表里。一次遍历,解决问题。
再比如《和为K的子数组》。暴力解法需要枚举所有子数组的起点和终点,属于典型的“多次查询区间和”,隐藏的问题就变成了“当前位置之前的哪个前缀和出现过,使差值等于K”,答案需要的是次数,哈希在这里帮你维护的是一个“值->出现次数”的频次表,和《两数之和》的关键地址还不完全一样。这就是哈希题考“灵活性”的地方,不是只会Key-Value就能覆盖所有题。
1.3 哈希题的常见变形,其实都有模板
刷多了以后,我习惯把Hot100里跟哈希有关的题分成几个小类,遇到题目先定位类型,然后再套方案:
- 类一:两个元素之间的配对关系(两数之和、四数相加II)。套路是“遍历半个数据集,存另外半个的查询信息”。
- 类二:元素分组(字母异位词分组、有效的字母异位词)。套路是“构造归一化Key”,排序、字符计数、频率数组都行。
- 类三:连续区间/子数组的数量或长度(最长连续序列、和为K的子数组、无重复字符的最长子串)。套路是“左端点/前缀信息 + 哈希表维护动态窗口”。
- 类四:索引数组去重(三数之和、四数之和)。这类题目如果直接哈希也能做,但通常排序+双指针是更严谨的选择,哈希适合作为辅助手段去重或快速判断存在性。
如果你能把一个题迅速归类到这四类里,写代码之前脑子里就有一条清晰的路径了。后面具体讲题时,我会反复参照这个框架来讲。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 哈希的核心机制与选型:别等被面试官拷打才补基础
2.1 哈希冲突处理方式:为什么有人写链地址法,有人写开放寻址法
无论LeetCode刷题还是实际工程,哈希冲突都绕不开。所谓冲突,就是两个不同的Key被哈希函数映射到了同一个桶里。处理方式主要有两种:
- 链地址法(Chaining):每个桶后面挂一个链表,冲突的元素往后挂。Java的
HashMap在冲突过多时会转成红黑树,C++的unordered_map基本是“单链表+桶数组”的结构。 - 开放寻址法(Open Addressing):发生冲突后往后找空的桶位。典型代表是Python的
dict,但它内部不是干巴巴的线性探测,而是用了更复杂的伪随机探测方案。
刷LeetCode时需不需要深挖这些?如果是笔试,通常不需要,但面试容易问“为什么 dict 遍历无序”、“哈希表在坏条件下会不会变成O(n)”。我自己的建议是至少搞清楚两个点:
- 哈希表在“大量冲突”时会退化,最坏可能到O(n),所以不要让所有Key集中在少数几个桶里;
- 扩容(rehash)是很昂贵的操作,如果能在初始化时预估容量,就提前指定,对性能有帮助(Java里指定initialCapacity,Python里没法直接指定,C++里可以用
reserve)。
从面试角度,能讲清楚“链地址法 vs 开放寻址法适用场景”是加分项。大数据量、删除操作多的场景用开放寻址法容易出现“墓碑”问题;面试官如果继续追问Java为什么用链地址法,可以从“删除简单、负载因子可配置、对哈希函数质量要求相对低”这几个角度表达。不过刷题项目里不需要这么复杂,但面试前建议补一下。
2.2 哈希表的时间复杂度:O(1)是怎么来的,什么情况会退化
哈希表查找均摊是O(1),因为你可以把Key通过哈希函数直接定位到桶。这和数组按下标访问非常像——哈希函数充当了“把任意对象转化为数组下标”的桥梁。
但有三个前提容易被忽视:
- 哈希函数要足够均匀,否则大量Key落到同一个桶中,链表越长,查询越慢;
- 负载因子需要控制在一定范围内,Java默认0.75,超过就扩容;
- 如果Key是一个很复杂的字符串,计算哈希本身也要消耗时间,不能天真地认为“插入哈希表一定比数组快”。
在LeetCode刷题中,常见退化的原因是把“很长很长的字符串”当成Key,比如把整个字符串的排序结果当成Key,或者把数组转成字符串再当Key。这样每插入一次都涉及大字符串的哈希计算和比较,时间复杂度不一定是O(1)。
我自己写题时有个习惯:能用频率数组(Freq Array)时,绝不乱用字符串拼Key。例如字母异位词分组,经常看到有人把排序后的字符串作Key,但更高效的方式是用长度为26的频率计数生成签名,或者直接用排序字符串——两者在数据量较小时差距不大,但后者更优雅也更稳。所以理解底层原理,能帮你在选择“Key的生成方式”时做出更好的决策。
2.3 C++、Java、Python:刷题时到底用哪个哈希容器
Hot100刷题的主力语言无非三种,我分别说一下在实际刷题中的体验和选型建议。
C++里最长用的是 unordered_map、unordered_set。刷题时我建议少用 map / set,因为底层是红黑树,插入和查找都是O(log n),虽然测例规模小不一定能看出来,但面试时容易被认为是复杂度没分析清楚。需要注意 unordered_map 的 operator[] 在Key不存在时会自动插入默认值,如果只是查存在性用 count() 或 find() 更安全,避免不小心修改了哈希表。
Java则主要是 HashMap、HashSet。相比C++,Java还提供了 getOrDefault 处理频次累加很顺手。以前习惯写 map.put(key, map.getOrDefault(key, 0) + 1),后来用 merge(key, 1, Integer::sum) 更简洁。但要注意Java的 HashMap 不能边遍历边修改结构,否则抛 ConcurrentModificationException。
Python的 dict 和 set 是最舒服的,上手最快。Python刷题时不需要关闭哈希表扩容问题,因为底层的 dict 实现非常成熟。但Python哈希有一个显著问题:tuple和string作为Key很方便,list不能作为Key,有时候想“将数组状态作为Key”就难办了,需要先转tuple或编码成字符串。这个细节在《单词拆分》等需要记忆化搜索时经常碰到。
我把三种语言在使用上的关键点汇总一下,方便对照参考:
| 语言 | 常用容器 | 常用查Key方式 | 迭代注意点 |
|---|---|---|---|
| C++ | unordered_map / unordered_set | find() != end() / count() | map中会使用[]插入默认值 |
| Java | HashMap / HashSet | containsKey() / getOrDefault | 遍历时修改会抛异常 |
| Python | dict / set | in 操作,极自然 | key必须可哈希,list不能直接用 |
3. 六道Hot100高频哈希题完整拆解
3.1 两数之和:最简单的思路,藏着一个高级思维
题目我就不重复贴了,Hot100的第一题,几乎人人做过。但正因为它太基础,很多人只是背了答案,没有想明白为什么用哈希。
暴力两层循环 O(n²) 的做法不去讨论,因为明显不够好。用一次遍历+哈希表的核心在于:遍历到 nums[i] 时,只需要回答“之前是否出现过 target - nums[i]”。这个查询如果用数组暴力则花费O(n),用哈希表就是O(1)。
关于返回值,Hot100明确说了“你可以假设每种输入只会对应一个答案”,直接返回下标数组即可。但有些变体题不保证唯一,这时就需要注意找到第一组后是否直接返回。还有不同的变体(比如返回元素本身),那我建议最好在写之前问清楚,避免返回下标和值混淆。
C++参考实现如下:
cpp复制class Solution {
public:
vector<int> twoSum(vector<int>& nums, int target) {
unordered_map<int, int> pos;
for (int i = 0; i < (int)nums.size(); ++i) {
int need = target - nums[i];
if (pos.count(need)) {
return {pos[need], i};
}
pos[nums[i]] = i;
}
return {};
}
};
这个解法的时间复杂度是O(n),空间复杂度是O(n)。我从这道题里学到的思维方法是:将来查“当前元素需要配对的对象”,可以在遍历时把历史信息先存起来。这个思路在后来的《四数相加II》里被反复用到。
3.2 字母异位词分组:找到字符串的“唯一身份证”
这道题在Hot100里非常典型,考的是“怎么为异位词找到一个稳定的Key”。两个字符串互为字母异位词,说明它们包含的每个字符数量都相同,只是排列不同。一个最直观的想法是:把字符串排序,异位词排序后一定是同一个字符串,用排序后的字符串做Key即可。
Python实现特别简洁:
python复制class Solution:
def groupAnagrams(self, strs: List[str]) -> List[List[str]]:
groups = defaultdict(list)
for s in strs:
key = "".join(sorted(s))
groups[key].append(s)
return list(groups.values())
时间复杂度上,每个字符串排序需要O(k log k),k是最长字符串长度,整体为O(n·k log k)。但如果字符串长度加起来非常大的时候,这种排序会变成瓶颈。这时候可以换成“计数Key”:用长度为26的数组统计每个字符出现次数,转换成tuple后作为Key。
python复制class Solution:
def groupAnagrams(self, strs: List[str]) -> List[List[str]]:
groups = defaultdict(list)
for s in strs:
cnt = [0] * 26
for ch in s:
cnt[ord(ch) - ord('a')] += 1
groups[tuple(cnt)].append(s)
return list(groups.values())
第二种方法的时间复杂度是O(n·k),遍历每个字符串O(k),不需要排序。实际测试中LeetCode给的用例往往字符串数量多但单个字符串不长,这两种办法差别并不太大,但面试时能写出计数Key方案会留下更好的印象。我曾经的投稿经历里,面试官就追问过“如果字符串长度很长,但你只能用有限内存,是否可以用别的签名方式”,一种思路是把每个字符出现次数哈希成一个更短的字符串,但注意不是简单拼接,因为拼接容易造成歧义,比如“1个a+11个b”和“11个a+1个b”拼出来的数字串可能一样,所以要加上分隔符,比如 "a1#b11#"。
我个人建议,刷题阶段用排序做Key就够了;面试和优化时,可以再提计数Key,做到有备无患。
3.3 最长连续序列:去重才是哈希的精髓
《最长连续序列》在Hot100里属于容易想复杂的一道题。题目要求:给定未排序数组,找出数字连续的最长序列长度,要求时间复杂度O(n)。
很多人的第一直觉是排序,排序后连续数字会相邻,扫一遍就能算最长连续长度。但排序是O(n log n),不满足题目要求。另一种直觉是把所有数字放进 set,然后遍历每个数字,看“它是不是连续序列的起点”。
这里的关键点在于:如果一个数 x,它的前驱 x-1 存在,那么以 x 开头就不是这个连续序列的起点,可以直接跳过。只有 x-1 不存在时,才从 x 开始向后扩展 x+1, x+2...,同时计数。
这样做看似最坏仍然是O(n²),比如数组是1到n的连续数字,难道每个数都会向后扫描?不会。因为内层循环只从“连续序列真正起点”开始向后扩展,而一旦某个数作为某个起点序列的一部分被检查,后续就不会再被当作新起点扫描(因为在外部遍历时,它能被跳过或已经在扩展过程中被访问)。整体复杂度是O(n)。
C++版本:
cpp复制class Solution {
public:
int longestConsecutive(vector<int>& nums) {
unordered_set<int> numSet(nums.begin(), nums.end());
int best = 0;
for (int x : nums) {
if (numSet.count(x - 1)) {
continue;
}
int cur = x;
int len = 1;
while (numSet.count(cur + 1)) {
cur += 1;
len += 1;
}
best = max(best, len);
}
return best;
}
};
这道题想传递的信息是熟悉“集合”作为哈希的另一种形态。很多场景下只需要判断“元素是否存在”,不需要关心“值附带什么”,此时 set 比 map 更合适且省内存。再加上去重的特点,能帮你减少很多不必要的边界讨论。
3.4 和为K的子数组:前缀和+哈希累加,最容易混淆的题
Hot100里有一道非常经典的《和为K的子数组》,暴力枚举子数组的起点和终点是O(n²),但这个题的数据范围通常不允许。一旦想到“子数组和 = 前缀和相减”,题目就变成了:找有多少对(i, j)满足 prefix[j] - prefix[i] == k,其中 i < j。
转化后的思路是,从左到右一边计算当前前缀和 cur,一边统计 cur - k 之前出现过多少次。这里的哈希表键是“前缀和的值”,值是“该前缀和出现的次数”。
python复制class Solution:
def subarraySum(self, nums: List[int], k: int) -> int:
count = defaultdict(int)
count[0] = 1 # 前缀和为0的出现一次,表示从下标0开始的子数组
cur = 0
ans = 0
for num in nums:
cur += num
ans += count[cur - k]
count[cur] += 1
return ans
为什么初始时 count[0] = 1?因为如果某个子数组本身从下标0开始,那么 prefix[j] - 0 == k,需要有一个“空前缀”和0来匹配。
这道题最容易踩的坑出现在两处:一是把 count[cur] 的更新放在 ans += count[cur - k] 之前,导致同一个位置被重复计算;二是把题目误判为《滑动窗口》,然后发现数组中存在负数时,滑动窗口就不成立了。负数的存在让双指针收缩条件完全失效,只能依靠前缀和+哈希来解。
另一道高频题《无重复字符的最长子串》也是类似思路,但它属于滑动窗口+哈希表的集合应用,需要维护一个动态窗口。LeetCode Hot100里这道题虽然不归入哈希分类,但实现时非常依赖哈希集合或哈希表来记录字符上次出现的位置。要说清的一点是:这类题可以归类为“用哈希表维护滑动窗口历史信息”,核心模式是边扩右边,边根据重复字符更新左边边界。
3.5 三数之和与四数之和:哈希能不能取代排序双指针
Hot100中《三数之和》是首当其冲的高频面试题,但它最推荐的解法恰恰不是哈希。为什么会出现这种“哈希失灵”的局面,值得思考。
《三数之和》要求的是“不重复”的三元组。哈希方法的大致流程是:枚举前两个数,然后在哈希表中查找第三个数。但这样会生成大量重复组合,去重极为麻烦。就算用“排序+双指针”才是这个题目的标准正解:先排序,然后固定一个数,剩下两个数用左右指针收缩查找。
《四数之和》甚至可以直接从三数之和的模板上扩展一层循环,本质上仍然是排序+双指针。而哈希在这里更多承担辅助角色:比如用来快速判断某个值是否已经在某个位置被使用,或者在某些需要去重的优化里标记值是否已经被处理过。
所以,当你在做哈希篇时,要注意的就是:并不是所有“组合求和”类问题都应该往哈希上硬套。如果题目允许排序且不会破坏原有下标信息,双指针往往更干净;如果题目要求的是“返回下标”或者“必须在O(n)内完成”,哈希才有不可替代的价值。
3.6 四数相加II:哈希表在中段题里的标准用法
这道题比三数之和更适合练习哈希思维。给定四个数组,每个数组中取一个数,使和为0,问有多少种组合。如果暴力做就是O(n⁴),完全不可行。
题目的巧妙之处是分治:把四个数组分成两组,A+B的所有组合和放入哈希表,然后遍历C+D,每次查哈希表中是否存在 -(c+d),累加次数即可。复杂度从O(n⁴)降到O(n²),非常经典。
cpp复制class Solution {
public:
int fourSumCount(vector<int>& A, vector<int>& B, vector<int>& C, vector<int>& D) {
unordered_map<int, int> cnt;
for (int a : A) {
for (int b : B) {
cnt[a + b]++;
}
}
int ans = 0;
for (int c : C) {
for (int d : D) {
ans += cnt[-(c + d)];
}
}
return ans;
}
};
这道题值得反复体会的是“把原始数据拆成两半,分别处理后合并查询”的思路。很多所谓的哈希进阶题,本质都是这种“分组后用哈希建立索引”的套路。它和四数之和的“排序+双指针”形成鲜明对比,适合用来帮自己理清不同题型的决策边界。
4. 哈希篇里的常见坑与高频Bug排查实录
4.1 空值、默认值和自动插入的坑
在C++中,问题最常见的点出在 operator[] 上。比如:
cpp复制if (mp[key] == 0) {
// 某些操作
}
这句代码里,如果 key 不存在,mp[key] 会自动插入一个 0 的键值对。在只读语义下,这会导致哈希表被无端扩容,甚至影响后续 size()。所以要查询时,用 mp.find(key) 或 mp.count(key)。
Java的 get 不会自动插入,但如果处理计数时手滑写成 map.put(key, map.get(key) + 1),而key不存在,会出现空指针异常。正确写法是用 getOrDefault,这个词基本成了Java刷哈希题的标配。
Python就用不着担心这个问题,因为 defaultdict(int) / Counter 处理得很干净。但也要明确区分 setdefault 和 defaultdict 的区别,避免在面试时手忙脚乱。
4.2 负数下标与数组值映射
有一类题目是“给定一个数组,包含正负数,你要找到某个数的出现情况”,如果尝试用值作为数组下标,就必须小心负数。例如《最长连续序列》或者很多计数类题目,如果不做偏移,负数下标会直接越界。
Hot100里最典型的应用是《有效的字母异位词》:字符范围是a-z,可以用数组下标0-25来计数,不用哈希表。因为题目明确字符集很小,频率数组比任何哈希结构都快。只有当字符集大小不确定或者极大的时候,哈希表才是更好选择。这个思考过程,反而是面试官更想看到的东西:能根据数据范围选择最合理的解决工具。
4.3 排序问题:为什么哈希表不是所有情况的最优解
在很多“无序变有序”的题目里,排序后再处理可能是更优解。《三数之和》和《四数之和》就是典型案例。我在刷题时见过一些人坚持用哈希去重,代码写得特别长,还容易在边界情况上翻车。相反的,排序+双指针写法不仅简洁,且天然规避了重复组合问题。
这提醒我们,哈希不是银弹。它最适合的场景是有“频繁等值查询”或“历史信息匹配”需求。而如果题目需要维护全局有序结构,或者对计算组合去重有强要求,建议先想一想排序能否简化问题。能识别出哪一类题目不适用哈希,恰恰是刷“哈希篇”的进阶任务。
4.4 遍历哈希表时能不能删除元素
这属于工程型问题,但在LeetCode和现场面里都出现过。C++里如果遍历unordered_map时直接 erase 当前迭代器,有可能会使后续迭代器失效。正确写法是把迭代器保存下来再删除,或者直接利用 erase 返回下一个迭代器:
cpp复制for (auto it = mp.begin(); it != mp.end(); ) {
if (需要删除) it = mp.erase(it);
else ++it;
}
Python里如果直接 for key in dict: 然后 del dict[key],会报 RuntimeError: dictionary changed size during iteration。正确做法是先收集要删除的key,再统一删,或者构造新的dict。
这些细节在项目实际工程中同样重要。哈希表的迭代器失效问题是C++面试经典拷打点之一,建议认真记住。
4.5 Key选择与可哈希性:为什么list不能当dict的键
Python提供了巨大的便利,但有一个隐藏很深的问题:不是所有对象都能作为Key。list 是可变对象,哈希值会随内容变化,不能当Key。如果你想用“数组状态”作为Key,必须转成 tuple。
LeetCode里凡是涉及记忆化搜索的题,如果状态是一个数组,不能直接用list做Key。比如有些排列/组合题需要记录visited状态,优先考虑位压缩或转成tuple。我自己在写《单词拆分》等动态规划题目时,如果递归记忆化需要传入“当前剩余后缀”这种结构,往往会用字符串下标代替整个list做Key,这也会让程序更高效。
面试时如果有人问你“为什么Python的dict要求Key可哈希”,可以从两个方面回答:一是哈希表定位时需要根据Key计算哈希值;二是若Key可变,其哈希值变化后,原本所在桶无法再定位,导致数据“丢失”。这个小知识点不算难,但能检测出你是真的懂哈希表原理,还是只是会用API。
4.6 哈希函数与算法题中的“碰撞”陷阱
LeetCode本身不会专门惩罚你选择的哈希函数,但有一个场景让我印象很深:某些设计用例时,如果字符串Key很容易碰撞,Python的标准哈希由于有随机化盐值,不容易被攻击,但在C++的 unordered_map 上,如果使用自定义哈希处理大量相近输入,可能会退化成O(n)查询。因此当Key是整形等简单数据类型时,基本不用担心,但当Key是很长的字符串时,需要注意潜在的性能退化。
如果你在本地测试中能明显感觉到有的样例运行时间忽高忽低,不一定是算法本身的问题,也可能是哈希函数质量波动导致的,这个在竞赛圈和工程圈都很常见。
5. 哈希篇的进阶学习方法与刷题节奏建议
5.1 先做归类再做专题,效果超过盲目二刷
Hot100里贴着哈希标签的题目其实并不算多,但哈希可以被当作“辅助工具”穿插在很多其他题型里。我建议第一遍刷题时先把它们集中做完,形成对“哈希能做什么”的体系认知;第二遍开始尝试换着用哈希解“非哈希题”,比如用哈希优化递归、用前缀和哈希优化区间和等,会很有启发。
一个具体的方法是:在刷题软件里把哈希系列的题目收藏在一个清单中,每做完一题就在题目的思路备注里写下“这道题Key是什么、Value是什么、为什么用哈希不用别的”。如果这道题的数据结构换成数组、排序、二分,是否可以,不行的话原因是什么。这个反思过程比单纯背题解有价值得多。
5.2 高频易错或易忘点整理成脑图式清单
如果你按我上面讲的思路去刷,大概率会发现几个反复出现的核心套路。我自己把它们浓缩成几个问题:
- 题目要求“返回下标”:哈希存“值->下标”,一次遍历边查边存。
- 题目要求“返回数量/次数”:哈希存“值->次数”,可能用到前缀和/计数。
- 题目要求“判断是否存在重复段”:用哈希集合维护一个动态窗口,滑动过程中删掉过期元素。
- 题目要求“分组”:为每个对象找一个唯一的签名Key,排序或计数后入库。
- 题目要求“多个数组组合”:两两分组生成和/积,放到哈希中,再用另一组去查。
每次拿到一道新题,先花10秒钟在草稿纸上画出这道题“Key存什么、Value存什么”的映射关系,代码写起来就会顺畅很多。如果草稿纸上的映射关系模糊,就说明分析还没到位,别急着敲键盘。
5.3 不要迷信“O(1)”,结合数据范围选择容器
哈希表的时间复杂度虽然是O(1),但常数项并不小。如果数据规模很小,比如元素范围只有0-100,甚至用普通的数组频率统计会更高效。我做题时见过不少人在数组长度极小的情况下仍然引入 unordered_map,最后代码可读性和速度都不如直接开一个长度100的数组。
举例说明:Hot100里的《有效的字母异位词》,常规解法是统计两个字符串中每个字符出现的次数。如果使用哈希表,会先查表、后更新,多次哈希计算和桶查找,常数时间并不占优;如果直接申请 int[26] 的计数数组,内存占用可以忽略,运行速度往往比哈希表快数倍。所以在特定限制条件下(小写字母、字符集有限、数值范围有限),数组代替哈希表是更优雅的选择。
5.4 刷题之外的工程视角:哈希并不仅是应试工具
有工程经验或者想进入一线团队的同学,建议不只停留在LeetCode的算法层面。实际开发里哈希无处不在:缓存系统、去重队列、数据库索引、对象字典、负载均衡中的一致性哈希。
LeetCode里锻炼的是在约束条件下如何设计Key-Value关系,而工程中还需要考虑哈希表的容量规划、冲突评估、线程安全、扩容影响、持久化成本等。如果你能把Hot100里的哈希思维迁移到设计一个LRU Cache、设计一个短链系统、或者处理大规模日志去重这类场景中,面试官通常会觉得你有真正的系统设计能力,而不只是解题机器。
比如LRU Cache虽然Hot100把它归到设计题,但如果你深究底层,就会发现它需要一个哈希表实现O(1)的get/put定位,外加双向链表维护访问顺序。再比如设计一个负载均衡时,如果服务器列表会动态变化,直接取模会导致大量key重新映射,而使用一致性哈希能将迁移代价降到最低。这些都是哈希的衍生知识点,在读完哈希篇后回到工程世界会非常有用。
6. 从哈希篇出发,如何继续拓展算法刷题地图
6.1 哈希与滑动窗口结合:子串问题的最优解集合
Hot100中《无重复字符的最长子串》和《找到字符串中所有字母异位词》这类题都会同时用到滑动窗口和哈希结构。掌握哈希篇以后,再去刷这类题会发现如鱼得水,因为窗口右端扩展和左端收缩时,你只需要维护一个哈希表/频次数组,每次移动更新对应位置的计数,并用窗口内的计数与目标模式作比较。
说到《找到字符串中所有字母异位词》,它的最佳做法其实是维护一个固定长度的窗口,根据字符频次数组判断窗口内容是否是p的异位词。如果不用固定窗口而是每次对子串排序,复杂度就会超标。理解哈希计数和滑动窗口的结合,是刷完Hot100之后继续冲刺中高难度题的重要基础。
6.2 前缀和+哈希:从一维扩展到二维矩阵
当你把《和为K的子数组》吃透后,可以扩展到二维情况,比如在矩阵中找 “和等于K的子矩阵数量”。常见的技巧是把矩阵压缩成一维数组之后再用前缀和+哈希解决,本质上和“行枚举+列前缀和累加”的思路一致。这类题在很多大公司的笔试阶段会出现,难度虽然不低,但底层思想完全是哈希篇的延伸。
我在学习时习惯给自己设置一个迁移列表:把原题的条件改一改,比如数组改成矩阵、字符串改成整数、绝对值改成余数,用新的约束重新刷一遍。这套方法特别能提升对哈希适用边界的理解。
6.3 其他高频面试主题的联系:图、树、区间
哈希在两个主题里也扮演了重要角色:一是树的路径问题,如路径总和III,递归时需要统计前缀和的出现次数,这不得不提到经典的前缀和+哈希表思路,跟前面《和为K的子数组》几乎如出一辙,只是换成了树的DFS遍历;二是图论里求最小步数或判断环,哈希集合通常负责记录访问历史,避免重复遍历。
把哈希篇作为一个基点,你可以串联起其他看似毫不相干的主题,这也是我推荐很多读者从Hot100哈希篇开始刷的原因:它覆盖面不算太大,但对后续各专题的启发非常直接。如果说我们要绘制一张刷题地图,哈希篇可以看作一个枢纽节点,链接了滑动窗口、前缀和、记忆化搜索、设计题和双指针等区域。扎实掌握这一篇,真能少走很多弯路。
最后再分享一个我自己刷题时的小习惯:每道哈希题,我都会在提交通过之后,再追问自己一遍“反过来存行不行”。比如《两数之和》如果不存值到下标的映射,而是存下标到值的映射会怎样;《和为K的子数组》如果不存前缀和值,而存余数会怎样。经常是这一问,就帮我在评论区实现里发现了一批新解法。哈希考的就是把数据关系“翻过来看”的能力,多做这样的思维翻转练习,比多刷二十道重复题管用得多。
