本篇博客会讲解力扣“572. 另一棵树的子树”的解题思路，这是题目链接。先来审题：

本题的思路是：使用递归，把大问题化作小问题。

先来思考：如何判断q是不是p的子树呢？

q是p的子树有3种情况，分别是：

1. q和p相同。
2. q是p的左子树的子树。
3. q是p的右子树的子树。

其中，还要讨论一些特殊情况，也就是递归的终止条件。

1. p为空，q非空，显然q不是p的子树。
2. p非空，q为空，显然q是p的子树，不过这一点不用单独讨论。
3. p和q都为空，显然q是p的子树，不过这一点不用单独讨论，后面判断2棵树是否相同时，2棵空树是相同的。

对于判断q是不是p的左子树和右子树的子树这个问题，就是很简单的递归调用。那么问题就转换成了如何判断2棵树相同，这又是另一个经典问题了。

如何判断2棵树p和q相同呢？p和q相同必须同时满足以下3点：

1. 根节点的值相同。
2. p的左子树和q的左子树相同。
3. p的右子树和q的右子树相同。

其中，还要讨论一些特殊情况，也就是递归的终止条件。

1. p为空，q为空，此时2棵树相同。
2. p和q中，其中一棵树为空，另一棵非空，2棵树不相同。

理解了以上几点，就可以写代码了。

// 判断2棵树是否相同
bool IsSameTree(struct TreeNode* p, struct TreeNode* q)
{
    // 2棵树都是空树
    if (p == NULL && q == NULL)
    {
        return true;
    }

    // 1棵树是空树，另一棵非空
    if (p == NULL || q == NULL)
    {
        return false;
    }

    // 2棵树相同当且仅当值相同，左右子树分别相同
    return p->val == q->val
        && IsSameTree(p->left, q->left)
        && IsSameTree(p->right, q->right);
}

bool isSubtree(struct TreeNode* root, struct TreeNode* subRoot){
    // 非空树不是空树的子树
    if (root == NULL && subRoot)
    {
        return false;
    }

    // 先判断2棵树是否相同
    // 再判断是不是左子树和右子树的子树
    return IsSameTree(root, subRoot)
        || isSubtree(root->left, subRoot)
        || isSubtree(root->right, subRoot);
}

这样就通过了。

总结

大家需要掌握如何判断子树，以及如何判断2棵树是否相同这2个问题。

判断子树需要注意以下3点，它们之间是“或者”的关系：

1. 2棵树是否相同。
2. 是不是左子树的子树。
3. 是不是右子树的子树。

判断2棵树是否相同需要注意以下3点，它们之间是“并且”的关系。

1. 根结点的值是否相同。
2. 左子树是否相同。
3. 右子树是否相同。

理解了以上几点，类似的问题就迎刃而解了。

感谢大家的阅读！