力扣572. 另一棵树的子树（一入递归深似海）

题目：

给你两棵二叉树?root?和?subRoot?。检验?root?中是否包含和?subRoot?具有相同结构和节点值的子树。如果存在，返回?true?；否则，返回?false?。

二叉树?tree?的一棵子树包括?tree?的某个节点和这个节点的所有后代节点。tree?也可以看做它自身的一棵子树。

示例 1：

输入：root = [3,4,5,1,2], subRoot = [4,1,2]
输出：true

示例 2：

输入：root = [3,4,5,1,2,null,null,null,null,0], subRoot = [4,1,2]
输出：false

思路：

这道题虽说是简单难度但一点也不简单，递归不太好理解

要判断一个树 subRoot??是不是树 root的子树，那么可以判断 subRoot??是否和树 root的任意子树相等。那么就转化成 相同的树（力扣第100题）
即，这个题的做法就是在 root?的每个子节点上，判断该子节点是否和 subRoot??相等。

判断两个树是否相等的三个条件是与的关系，即：

1. 当前两个树的根节点值相等；
2. 并且，root?的左子树和 t 的左子树相等；
3. 并且，root?的右子树和 t 的右子树相等。

而判断 subRoot??是否为 root?的子树的三个条件是或的关系，即：

1. 当前两棵树相等；
2. 或者，subRoot??是 root?的左子树；
3. 或者，subRoot?是 root?的右子树。

代码及详细分析（and和or逻辑分析）：

# 定义二叉树节点的类
# class TreeNode:
#     def __init__(self, val=0, left=None, right=None):
#         self.val = val
#         self.left = left
#         self.right = right

class Solution:
    def isSubtree(self, root: Optional[TreeNode], subRoot: Optional[TreeNode]) -> bool:
        # 判断两棵树是否相同的方法
        def isSame(root, subRoot):
            # 如果两个节点都为空，则返回True
            if not root and not subRoot:
                return True
            # 如果其中一个节点为空，另一个不为空，则返回False
            elif not root or not subRoot:
                return False
            # 比较两个节点的值，并递归地比较它们的左右子树
            return root.val == subRoot.val and isSame(root.left, subRoot.left) and isSame(root.right, subRoot.right)

        # 如果根节点都为空，则返回True
        if not root and not subRoot:
            return True
        # 如果其中一个根节点为空，另一个不为空，则返回False
        elif not root or not subRoot:
            return False
        # 判断当前树是否和子树相同，或者左子树包含子树，或者右子树包含子树
        return isSame(root, subRoot) or self.isSubtree(root.left, subRoot) or self.isSubtree(root.right, subRoot)

当使用?and?运算符时，它会逐个计算表达式的值，如果所有表达式的值都为?True，整个表达式的值才为?True。如果有任何一个表达式的值为?False，整个表达式的值就为?False。

在这个特定的代码行中，return root.val == subRoot.val and self.isSame(root.left, subRoot.left) and self.isSame(root.right, subRoot.right)，它由三个部分组成，分别是：

1. root.val == subRoot.val
2. self.isSame(root.left, subRoot.left)
3. self.isSame(root.right, subRoot.right)

这三个部分都是逻辑表达式，它们的值要么是?True，要么是?False。

整个表达式的含义是：只有当?root?的值等于?subRoot?的值，并且?root?的左子树等于?subRoot?的左子树，并且?root?的右子树等于?subRoot?的右子树时，整个表达式的值才为?True，否则为?False。

这里使用?and?运算符是为了确保三个条件都满足，才能判定两棵树是相同的。

?

当使用?or?运算符时，它会逐个计算表达式的值，如果其中有任何一个表达式的值为?True，整个表达式的值就为?True。只有当所有表达式的值都为?False，整个表达式的值才为?False。

在这个特定的代码行中，return self.isSame(root, subRoot) or self.isSubtree(root.left, subRoot) or self.isSubtree(root.right, subRoot)，它由三个部分组成，分别是：

1. self.isSame(root, subRoot)
2. self.isSubtree(root.left, subRoot)
3. self.isSubtree(root.right, subRoot)

这三个部分都是逻辑表达式，它们的值要么是?True，要么是?False。

整个表达式的含义是：只要其中有一个条件满足，整个表达式的值就为?True。具体来说，如果?root?和?subRoot?相同，或者?subRoot?是?root?的左子树的子树，或者?subRoot?是?root?的右子树的子树，整个表达式的值就为?True。

这里使用?or?运算符是为了判断当前树是否和子树相同，或者左子树包含子树，或者右子树包含子树，只要有一个条件满足，就说明当前树包含子树。