
本文介绍一种不依赖树形结构的递归方法,用于判断两棵二叉树是否包含完全相同的一组节点值,适用于结构不同但元素集合等价的场景。
要解决“两棵结构不同的二叉树是否包含相同元素”这一问题,关键在于:我们不比较树的形状或父子关系,而是验证两棵树的节点值集合是否完全相等(即互为子集)。原始代码 problem1Recursive 存在根本性逻辑偏差——它仅单向检查 t1 的每个节点是否存在于 t2 中,且递归方式错误(如 && 连接左右子树会导致过早失败),既未覆盖 t2 到 t1 的反向验证,也无法处理重复值或集合完整性。
✅ 正确思路应为:
- 双向集合等价性检验:t1 的所有元素 ∈ t2,且 t2 的所有元素 ∈ t1;
- 避免暴力嵌套搜索(如对每个 t1 节点调用 find(t2, key)),否则时间复杂度高达 O(n×m),易超时;
- 推荐方案:先中序遍历两树得到有序列表 → 比较列表是否相等(简洁、健壮、易调试)。
以下是高效、可读性强的完整实现:
import java.util.*;
// 辅助方法:中序遍历获取所有节点值(升序,便于后续比较)
private static List<Integer> inorderValues(Node root) {
List<Integer> list = new ArrayList<>();
inorderHelper(root, list);
return list;
}
private static void inorderHelper(Node node, List<Integer> list) {
if (node == null) return;
inorderHelper(node.left, list);
list.add(node.key); // 假设 key 为 Integer 类型
inorderHelper(node.right, list);
}
// 主方法:判断两树元素集合是否完全相同
private static boolean haveSameElements(Node t1, Node t2) {
List<Integer> vals1 = inorderValues(t1);
List<Integer> vals2 = inorderValues(t2);
// 长度不同直接返回 false
if (vals1.size() != vals2.size()) return false;
// 排序后逐个比较(若中序已有序可省略排序,但为鲁棒性建议显式排序)
Collections.sort(vals1);
Collections.sort(vals2);
return vals1.equals(vals2);
}⚠️ 注意事项:
- 若树中允许重复值,上述基于 List 的方案天然支持(无需去重);若要求忽略重复只比集合,请改用 TreeSet 或 HashSet(但需注意:HashSet 不保序,比较前需转为 List 并排序)。
- 若节点值类型非 Integer,请确保其 equals() 和 hashCode() 实现正确,或自定义比较器。
- 时间复杂度:O(n + m)(遍历) + O(n log n + m log m)(排序),空间复杂度:O(n + m)。
- 原答案中提供的单向递归解法(含 || 分支)逻辑错误:它实际在检测“t1 的某条路径是否能覆盖 t2 全部节点”,既不充分也不必要,不可用于集合等价性判定,请勿采用。
总结:结构无关的树元素比较,本质是多叉树上的集合运算问题。放弃“边遍历边匹配”的直觉陷阱,转而使用标准集合工具(排序列表、哈希表或树集),能显著提升代码正确性、可维护性与性能可控性。










