算法
(二叉树,递归) $O(nm)$
代码分为两个部分:
- 遍历树A中的所有非空节点R;
- 判断树A中以R为根节点的子树是不是包含和树B一样的结构,且我们从根节点开始匹配;
对于第一部分,我们直接递归遍历树A即可,遇到非空节点后,就进行第二部分的判断。
对于第二部分,我们同时从根节点开始遍历两棵子树:
- 如果树B中的节点为空,则表示当前分支是匹配的,返回true;
- 如果树A中的节点为空,但树B中的节点不为空,则说明不匹配,返回false;
- 如果两个节点都不为空,但数值不同,则说明不匹配,返回false;
- 否则说明当前这个点是匹配的,然后递归判断左子树和右子树是否分别匹配即可;
时间复杂度
最坏情况下,我们对于树A中的每个节点都要递归判断一遍,每次判断在最坏情况下需要遍历完树B中的所有节点。
所以时间复杂度是 $O(nm)$,其中 $n$ 是树A中的节点数, $m$ 是树B中的节点数。
C++ 代码
/**
* Definition for a binary tree node.
* struct TreeNode {
* int val;
* TreeNode *left;
* TreeNode *right;
* TreeNode(int x) : val(x), left(NULL), right(NULL) {}
* };
*/
class Solution {
public:
bool hasSubtree(TreeNode* pRoot1, TreeNode* pRoot2) {
if (!pRoot1 || !pRoot2) return false;
if (isSame(pRoot1, pRoot2)) return true;
return hasSubtree(pRoot1->left, pRoot2) || hasSubtree(pRoot1->right, pRoot2);
}
bool isSame(TreeNode* pRoot1, TreeNode* pRoot2) {
if (!pRoot2) return true;
if (!pRoot1 || pRoot1->val != pRoot2->val) return false;
return isSame(pRoot1->left, pRoot2->left) && isSame(pRoot1->right, pRoot2->right);
}
};
!pRoot2 一直都是不理解,一直想的是hasSubtree函数调用isSame一直保持pRoot2非空,所以想了想,应该不是考虑这种情况,hasSubtree固定一点,比较用isSame。一直需要注意的是
pRoot1是树 A,pRoot2是数B,pRoot2是不是pRoot1子树,所以hasSubtree固定一点,然后逐点同步比较,pRoot2小的数走完了,pRoot1空了,pRoot2非空说明pRoot2有pRoot1没有的节点,pRoot2空了说明说明,说明一路比较都匹配,然后一种情况是左子树匹配完再去匹配右子树,另一种情况是右子树匹配完返回成功,如果成功,isSame与hasSubtree也都是成功的
谢谢!
请问题目不是说空子树不是任何树的子结构,那不是应该if(!pRoot2) return false;吗?麻烦哪位解答一下,谢谢
这里是isSame的边界,当!p2的时候说明前面都是一致的才能走到这里,要返回true;你说的题意,在代码里是 if (!pRoot1 || !pRoot2) return false;这句话,不矛盾
if (!pRoot2) return true;这一句应该怎么理解?
如果树B中的节点为空,则表示当前分支是匹配的,返回true;
开始一直没想明白如何匹配,后来看到视频里讲的按照根节点进行类似于字符串的逐一匹配明白过来了,即每次枚举根节点。看看是否有一段完全相同的树
这个地方我不是特别理解hasSubtree当(!pRoot1 || !pRoot2) return false;而isSame还要继续判断这些是不是空或者是不空,前面不是已经判断过了嘛,为什么到isSame里面还需要判断,去掉这些判断是不通过的。
所以我的问题是两个为什么hasSubtree需要判断
第二个我觉得这个判断是同时进行的,为什么需要在hasSubtree里面判断一次,在isSame里面判断一次。不是很懂,不知道我表达清楚没有
isSame会递归运行,每次递归都需要进行判断:如果B为空,则当前分支是匹配的。
如果把两个树分别遍历将数据存储成字符串;然后对两个字符串匹配,这样效率高还是低啊
这样需要用到额外空间,不太好。
y总 这里的递归是不是类似于 BFS 呢
递归类似于DFS,和BFS不太一样。
闫哥,为啥调换这两句的顺序会报错呃。。。要先判断子树是否为空吗
if (!pRoot2) return true;
if (!pRoot1 || pRoot1->val != pRoot2->val) return false;
对滴。否则如果
pRoot2
是空,那么调用pRoot2->val
就会越界。这个题和字符串匹配那么类似。。不知道有没有类似KMP那样优化成O(m + n)的方法呀。。
目前还没想到hh
序列化,然后就是字符串匹配
不行的,子结构在序列化完之后不一定连续,因为子结构里不一定包含整棵子树,可能只包含中间一部分。
嗯 对的疏忽了(悄咪咪的说,我用序列化过的这道题emmm
很棒。
我也用序列化试过,不过在LeetCode上有一个测试案例没通过(滑稽)
对的 不能用序列化; 参考y总上面的的讲解
大佬能帮我看下代码么 检查了几遍 好像不是拼写错误
https://www.acwing.com/community/content/383/
我看到有个老哥给出了解答,解答的还不错,可以参考一下hh 其实就是代码最后应该调用
hasSubtree
,你写成了isMatch
多谢多谢!
对于递归一直不太能写好,终止条件,递归过程之类的,,,求教大神!
递归的题型种类不多,多练就好