剑指offer：Python 树的子结构

题目描述

输入两棵二叉树A，B，判断B是不是A的子结构。（ps：我们约定空树不是任意一个树的子结构）

思路及Python实现

• 按照题意：空树不是任意一个树的子结构，因此当pRoot1和pRoot2只要有一个为空时，就返回False；只有当两个二叉树都不空时，才能进行以下比较，可以先分为两种大情况讨论：第一种，pRoot1和pRoot2的根结点相等，第二种pRoot1和pRoot2根结点不相等，pRoot2有可能是pRoot1的左子树和右子树中的某一部分
• pRoot1和pRoot2的值相等，即是同根结点，有要分两种情况讨论：
  （1）当pRoot2的左子树和右子树都为空的时候，直接返回True。
  （2）当pRoot2的左子树和右子树至少有一个不为空的时候，就需要递归检查pRoot1.left和pRoot2.left以及pRoot1.right和pRoot2.right，如果pRoot2的左子树和右子树分别是pRoot1的左子树和右子树的子树，返回True。其他情况都返回False
• 当pRoot1的值和pRoot2的值不相等，就需要递归检查pRoot1.left和pRoot2以及pRoot1.right和pRoot2，只要有一个成立即可。

详细分类讨论写法

class TreeNode:
    def __init__(self, x):
        self.val = x
        self.left = None
        self.right = None


class Solution:
    def HasSubtree(self, pRoot1, pRoot2):
        if pRoot1 is None or pRoot2 is None:
            return False

        def has_equal(pRoot1, pRoot2):
            if pRoot2 is None: # 左右子树都为空
                return True
            if pRoot1 is None:
                return False
            if pRoot1.val == pRoot2.val:
                if pRoot2.left is None:
                    left_equal = True
                else:
                    left_equal = has_equal(pRoot1.left, pRoot2.left)
                if pRoot2.right is None:
                    right_equal = True
                else:
                    right_equal = has_equal(pRoot1.right, pRoot2.right)
                return left_equal and right_equal
            return False

        if pRoot1.val == pRoot2.val: # 根结点相同时
            ret = has_equal(pRoot1, pRoot2)
            if ret:
                return True
		# 根结点不同时
        ret = self.HasSubtree(pRoot1.left, pRoot2) # 判断左树结点
        if ret:
            return True
        ret = self.HasSubtree(pRoot1.right, pRoot2)# 判断右树结点
        return ret
        # if ret:
        #    return True 这样写也行

综合写法
可读性没有上面这种分类讨论写法好

class Solution:
    def HasSubtree(self, pRoot1, pRoot2):
        # write code here
        if pRoot1 is None or pRoot1 is None:
            return False
        return self.isSubtree(pRoot1, pRoot2)
	# 定义一个辅助函数，来检查当pRoot1,pRoot2都不为空时的情况。
    def isSubtree(self, pRoot1, pRoot2):  
        # 因为递归，所以必须要判断每一次输入的树是否都为空，或者有一个为空
        if pRoot1 is None and pRoot2 is None: # 递归的出口
            return True
            # 注意这里，当两个树都是空时，要返回True。因为递归的话，当递归到两个树
            # 都为空这一步时，返回True不会影响之前的判断，要是返回False，可能会出现错误。在原问题  
            # 中，因为下面两行代码，两个树如果都为空的话，不会执行到这一步，就直接返回False了  。  
            # if pRoot1 == None or pRoot1 == None:
            #   return False
        if pRoot1 is None:
            return False
        if pRoot2 is None:
            return False
        if pRoot1.val == pRoot2.val:
            if pRoot2.left is None and pRoot2.right is None:
                return True
            else:
                if self.isSubtree(pRoot1.left, pRoot2.left) and self.isSubtree(pRoot1.right, pRoot2.right):
                    return True
        return self.isSubtree(pRoot1.left, pRoot2) or self.isSubtree(pRoot1.right, pRoot2)