【码道初阶-Hot100】 LeetCode 49. 字母异位词分组：从排序哈希到分组映射，彻底讲透为什么排序后可以作为同一组的标识

LeetCode 49. 字母异位词分组从排序哈希到分组映射彻底讲透为什么排序后可以作为同一组的标识摘要LeetCode 49. 字母异位词分组Group Anagrams是哈希表题目中的经典代表。题目本身不算复杂但它非常适合训练一种关键思维字母异位词分组是一道非常典型的“构造统一特征值 哈希分组”题目。真正的关键不在于直接比较字符串而在于为所有异位词找到同一个 key。这篇文章就从这个核心出发彻底讲清楚为什么排序后的字符串可以作为分组依据以及如何优雅地用HashMap完成分组。如何为“本质相同、形式不同”的字符串构造统一标识。在这道题中所谓“字母异位词”本质上就是字符种类完全相同每种字符出现次数也完全相同只是排列顺序不同因此解决问题的关键不在于直接比较两个字符串是否为异位词而在于如何把所有互为异位词的字符串映射到同一个 key 上。这篇文章将围绕这个核心思想展开系统讲清楚为什么排序后的字符串可以作为分组 key为什么HashMapString, ListString能自然完成分组代码每一步在做什么时间复杂度和空间复杂度如何分析这道题还能怎样进一步优化如果真正理解了这篇文章那么这道题就不再只是“背模板”而会变成一道非常标准的“构造特征值 哈希分组”问题。目录文章目录LeetCode 49. 字母异位词分组从排序哈希到分组映射彻底讲透为什么排序后可以作为同一组的标识摘要目录一、题目描述二、什么是字母异位词三、这道题真正的难点是什么1. 如何给一组异位词构造统一标识2. 如何把所有字符串按这个统一标识分组四、核心思路排序后的字符串就是它的“标准形态”五、为什么“排序后作为 key”一定正确1. 如果两个字符串是异位词那么排序后一定相同2. 如果两个字符串排序后相同那么它们一定是异位词3. 所以可以得到一个双向结论六、哈希表分组把相同 key 的字符串放进同一个桶里七、代码逐行精注释版八、对代码中的每一步做更细致的解释1. 定义哈希表2. 遍历每个字符串3. 把字符串转成字符数组4. 排序字符数组5. 生成 key6. 若 key 不存在就先创建一个新分组7. 把原字符串加入对应分组8. 返回所有分组九、为什么最终返回 new ArrayList(map.values())1. map.values() 返回的是什么2. 为什么再套一层 new ArrayList(...)十、这段代码里一个可以顺手优化的小细节1. 避免使用原始类型2. 泛型更清晰十一、可以进一步简化成 computeIfAbsent十二、用示例完整走一遍流程1. 处理 eat2. 处理 tea3. 处理 tan4. 处理 ate5. 处理 nat6. 处理 bat十三、复杂度分析时间复杂度空间复杂度十四、为什么这道题本质上是“构造特征值”的问题第一步为每个元素提取一个标准特征第二步让特征相同的元素进入同一组十五、面试高频追问总结1. 为什么排序后可以作为 key2. 为什么不能直接用原字符串做 key3. 为什么存入 map 的是原字符串而不是排序后的字符串4. HashMap 为什么适合这道题5. 这道题还能优化吗十六、可选优化用字符计数代替排序为什么这个 key 也可行十七、推荐的面试写法十八、整道题的学习路线总结第一步理解什么是异位词第二步找到统一特征值第三步用哈希表按特征值分组第四步返回所有 value十九、结语一、题目描述给你一个字符串数组strs请你将字母异位词组合在一起。可以按任意顺序返回结果列表。示例输入strs[eat,tea,tan,ate,nat,bat]输出[[bat],[nat,tan],[ate,eat,tea]]其中eat、tea、ate互为字母异位词tan、nat互为字母异位词bat单独一组二、什么是字母异位词所谓字母异位词意思是两个字符串包含的字符完全一样并且每种字符出现的次数也一样只是字符顺序不同。例如eat和teatan和nat它们的字符组成相同所以属于同一组。而bat和tab虽然顺序不同但字符组成完全一样因此也是异位词。三、这道题真正的难点是什么这道题的难点不是“判断两个字符串是不是异位词”而是1. 如何给一组异位词构造统一标识例如eatteaate这三个字符串顺序不同但本质相同。必须想办法让它们映射到同一个 key。2. 如何把所有字符串按这个统一标识分组一旦能把同类字符串映射到同一个 key剩下的问题就变成把 key 相同的元素放到同一个列表中。这正是HashMap最擅长做的事情。四、核心思路排序后的字符串就是它的“标准形态”这是整道题最关键的观察。对于任意一个字符串例如eat把它转成字符数组并排序[a,e,t]再转回字符串aet再看另一个字符串tea排序后同样也是aet再看ate排序后还是aet这说明所有互为字母异位词的字符串排序后一定会得到同一个结果。因此排序后的字符串就可以作为这一组异位词的“统一标识”。这个统一标识通常就叫做key。五、为什么“排序后作为 key”一定正确这个结论可以从两个方向来理解。1. 如果两个字符串是异位词那么排序后一定相同因为它们字符种类相同每种字符个数相同排序之后相同字符会按照同样顺序排列所以结果必然一致。例如abbc-abbcbabc-abbccbab-abbc2. 如果两个字符串排序后相同那么它们一定是异位词因为排序后的结果相同说明这两个字符串排序后字符序列完全一致。既然排序后字符完全一样就说明它们的字符组成完全一样因此一定互为异位词。3. 所以可以得到一个双向结论两个字符串互为异位词当且仅当它们排序后的结果相同这就说明用排序后的字符串作为 key 是完全正确的。六、哈希表分组把相同 key 的字符串放进同一个桶里一旦为每个字符串找到了统一 key问题就非常自然了。可以定义一个哈希表MapString,ListStringmap其中key排序后的字符串value所有具有相同 key 的原字符串列表例如处理下面这些字符串[eat,tea,tan,ate,nat,bat]会形成如下映射aet-[eat,tea,ate]ant-[tan,nat]abt-[bat]最后只需要返回map.values()即可。七、代码逐行精注释版下面先给出一版适合讲解和正式提交的实现并添加详细注释。importjava.util.*;classSolution{publicListListStringgroupAnagrams(String[]strs){// key排序后的字符串// value所有具有相同 key 的原字符串MapString,ListStringmapnewHashMap();// 遍历输入数组中的每个字符串for(Strings:strs){// 将字符串转为字符数组便于排序char[]tmps.toCharArray();// 排序后互为字母异位词的字符串会得到相同的字符序列Arrays.sort(tmp);// 将排序后的字符数组重新转回字符串作为哈希表的 keyStringkeynewString(tmp);// 如果该 key 还没有对应的分组就先创建一个空列表if(!map.containsKey(key)){map.put(key,newArrayList());}// 把当前原字符串加入对应分组map.get(key).add(s);}// map.values() 得到所有分组结果再转成 ListListString 返回returnnewArrayList(map.values());}}八、对代码中的每一步做更细致的解释下面把代码拆开解释彻底讲透每一步在做什么。1. 定义哈希表MapString,ListStringmapnewHashMap();这行代码非常关键。它表示每一个key对应一组异位词value是这一组里的所有原字符串换句话说这个哈希表本身就是“分组容器”。2. 遍历每个字符串for(Strings:strs)依次处理数组中的每一个字符串。整道题的核心就是对每个字符串提取特征值并根据特征值归类。3. 把字符串转成字符数组char[]tmps.toCharArray();因为字符串本身不能直接排序所以要先转换成字符数组。例如tea-[t,e,a]4. 排序字符数组Arrays.sort(tmp);排序之后[t,e,a]-[a,e,t]这样原本顺序不同但字符组成相同的字符串就会变成同样的排序结果。5. 生成 keyStringkeynewString(tmp);排序后的字符数组最终要变成字符串才能作为哈希表 key 使用。例如[a,e,t]-aet于是eat的 key 是aettea的 key 是aetate的 key 是aet它们自然就会进入同一组。6. 若 key 不存在就先创建一个新分组if(!map.containsKey(key)){map.put(key,newArrayList());}这段逻辑的含义是如果当前 key 第一次出现说明这是一个新的异位词类别需要先给它准备一个空列表7. 把原字符串加入对应分组map.get(key).add(s);注意这里加进去的是原字符串s不是排序后的key。因为题目要求返回的是原字符串分组结果而不是排序后的形式。8. 返回所有分组returnnewArrayList(map.values());map.values()会返回哈希表中所有的 value也就是所有分组列表。再把它转成ArrayList就得到了题目要求的ListListString九、为什么最终返回new ArrayList(map.values())这个写法是很多人第一次看到时容易迷糊的地方。1.map.values()返回的是什么它返回的是CollectionListString也就是哈希表中所有 value 的集合。这些 value 本身就是ListString所以整体就是CollectionListString2. 为什么再套一层new ArrayList(...)因为题目要求返回类型是ListListString而不是CollectionListString。所以需要把这个集合再包装成一个ArrayListnewArrayList(map.values())这样返回类型就和题目要求完全一致了。十、这段代码里一个可以顺手优化的小细节原代码里这一句写的是map.put(k,newArrayList());这个写法虽然能跑但更推荐写成map.put(key,newArrayList());原因有两个1. 避免使用原始类型new ArrayList()是 raw type泛型信息丢失不够规范。2. 泛型更清晰new ArrayList()会自动推导出这是一个ListString更符合现代 Java 写法习惯。所以博客里更推荐使用规范版本。十一、可以进一步简化成computeIfAbsent如果想把代码写得更紧凑Java 8 之后还可以这样写importjava.util.*;classSolution{publicListListStringgroupAnagrams(String[]strs){MapString,ListStringmapnewHashMap();for(Strings:strs){char[]tmps.toCharArray();Arrays.sort(tmp);StringkeynewString(tmp);map.computeIfAbsent(key,k-newArrayList()).add(s);}returnnewArrayList(map.values());}}这句map.computeIfAbsent(key,k-newArrayList()).add(s);等价于如果 key 不存在先创建空列表然后把当前字符串加入列表不过从教学和面试解释角度来说前面的containsKey put get版本更适合初学者理解。十二、用示例完整走一遍流程以示例[eat,tea,tan,ate,nat,bat]为例。1. 处理eat转字符数组[e,a,t]排序后[a,e,t]keyaet哈希表变成aet-[eat]2. 处理tea转字符数组[t,e,a]排序后[a,e,t]keyaet哈希表变成aet-[eat,tea]3. 处理tan排序后 keyant哈希表变成aet-[eat,tea]ant-[tan]4. 处理ate排序后 keyaet哈希表变成aet-[eat,tea,ate]ant-[tan]5. 处理nat排序后 keyant哈希表变成aet-[eat,tea,ate]ant-[tan,nat]6. 处理bat排序后 keyabt哈希表变成aet-[eat,tea,ate]ant-[tan,nat]abt-[bat]最后返回所有 value 即可。十三、复杂度分析设字符串个数为n每个字符串平均长度为k时间复杂度对于每个字符串转字符数组O(k)排序O(k log k)转回字符串O(k)哈希表插入平均O(1)所以单个字符串复杂度是O(k log k)总复杂度是O(n*k log k)空间复杂度主要额外空间包括哈希表存储所有分组每次排序时的字符数组key 字符串总体空间复杂度通常写为O(n*k)因为最终所有字符串都被存进了 map 的 value 中key 也需要额外空间。十四、为什么这道题本质上是“构造特征值”的问题这道题特别值得总结的一点是它不是简单的分组题而是一道典型的“先构造统一特征值再利用哈希表分组”的题。这类题的通用套路是第一步为每个元素提取一个标准特征这里的标准特征就是排序后的字符串第二步让特征相同的元素进入同一组这一步由哈希表完成。因此这道题的本质可以概括为用排序后的字符串做 canonical form标准形态再用哈希表按标准形态聚类。十五、面试高频追问总结1. 为什么排序后可以作为 key因为互为异位词的字符串字符种类和数量完全一样排序后一定得到相同结果反过来排序后相同也说明它们字符组成完全一致。2. 为什么不能直接用原字符串做 key因为eatteaate原字符串本身不同直接做 key 会落在三个不同桶里无法分组。3. 为什么存入 map 的是原字符串而不是排序后的字符串因为题目要求返回的是原始字符串分组结果而排序后的字符串只是用于分类的辅助标识。4.HashMap为什么适合这道题因为哈希表支持通过 key 快速定位对应分组平均O(1)完成插入和查找非常适合做“按某种特征分类”的问题。5. 这道题还能优化吗可以。当前解法的瓶颈在于排序复杂度是O(k log k)如果字符串只包含小写字母还可以用字符计数作为 key把复杂度降到O(k)例如统计 26 个字母出现次数然后拼成一个唯一字符串作为 key。这样总时间复杂度可以优化到O(n*k)不过从“思路清晰、代码简洁、容易讲解”的角度看排序法是非常经典且实用的标准解。十六、可选优化用字符计数代替排序如果题目保证只包含小写字母可以进一步写成importjava.util.*;classSolution{publicListListStringgroupAnagrams(String[]strs){MapString,ListStringmapnewHashMap();for(Strings:strs){int[]countnewint[26];for(charc:s.toCharArray()){count[c-a];}StringBuilderkeyBuildernewStringBuilder();for(intnum:count){keyBuilder.append(#).append(num);}StringkeykeyBuilder.toString();map.computeIfAbsent(key,k-newArrayList()).add(s);}returnnewArrayList(map.values());}}为什么这个 key 也可行因为字符计数数组完整描述了每个字母出现多少次只要两个字符串的计数数组相同它们就一定是异位词。这是一种“频次特征值”写法。十七、推荐的面试写法如果是面试中手写或现场讲解更推荐下面这一版逻辑清晰代码规范便于口述importjava.util.*;classSolution{publicListListStringgroupAnagrams(String[]strs){MapString,ListStringmapnewHashMap();for(Strings:strs){char[]charss.toCharArray();Arrays.sort(chars);StringkeynewString(chars);if(!map.containsKey(key)){map.put(key,newArrayList());}map.get(key).add(s);}returnnewArrayList(map.values());}}这一版的优点是没有炫技写法逻辑拆分明确适合讲思路面试官也容易跟上节奏十八、整道题的学习路线总结真正掌握LeetCode 49. 字母异位词分组建议按这个顺序理解第一步理解什么是异位词本质是字符组成相同只是顺序不同。第二步找到统一特征值排序后的字符串可以作为异位词的标准形态。第三步用哈希表按特征值分组key 相同就加入同一个列表。第四步返回所有 value哈希表中的所有 value正好就是题目要求的所有分组。十九、结语LeetCode 49. 字母异位词分组是一道非常经典的哈希表题。它真正训练的不只是HashMap的使用而是一种更重要的算法思维当一类对象“本质相同但表现形式不同”时先尝试为它们构造一个统一、稳定的特征值再基于这个特征值做分类、统计或聚合。在这道题里原字符串只是表现形式排序后的字符串才是标准形态哈希表则负责把相同标准形态的字符串归到同一组把这个思路学透之后很多“分组、归类、统计频次”的字符串题都会轻松很多。