“破解编码面试（第四版）”：4.7子树检查

Question

您有两棵非常大的树：T1，具有数百万个节点； T2，具有数百个节点。 创建一个算法来确定T2是否是T1的子树

作者提供了一种蛮力搜索解决方案，只需一个节点一个节点地进行比较。 以下是代码：

boolean containsTree(TreeNode t1, TreeNode t2) {
    if (t2 == null) return true;
    else return subTree(t1, t2);
}

boolean subTree(TreeNode r1, TreeNode r2) {
    if(r1 == null)
        return false;
    if(r1.data = r2.data){
        if(matchTreee(r1, r2)) return true;
    }
    return ( subTree(r1.left, r2) || subTree(r1.right, r2) );
}

boolean matchTree(TreeNode r1, TreeNode r2){
    if (r2 == null && r1 == null)
        return true;
    if (r1 == null || r2 == null)
        return false; //big tree empty & subtree still not found
    if (r1.data != r2.data)
        return false;
    return (matchTree(r1.left, r2.left) && matchTree(r1.right, r2.right));
}

在上面的代码中，我不同意matchTree函数的基本情况

if (r2 == null && r1 == null)
    return true;
if (r1 == null || r2 == null)
    return false; // big tree empty & subtree still not found

根据我的理解，基本案例应该是：

    if(r2 == null) return true; //if r2 is null, r2 must match r1 
no matter r1 is null or not
    if(r1 == null) return false; //r1 == null means big tree empty 
and we already know r2 != null, so r2 must not match r1.

你们能帮我验证一下吗？

谢谢，

Answer 1

在我看来，这本书的作者在脑海中想到了一个不同的定义，因为T2 is a subtree of T1 。

例如，考虑以下树木（疯狂的绘画技巧）：

作者的代码将T3视为T1的子树，但不是T2。 您将T2和T3都视为T1的子树。

也就是说，我认为您的基本情况对于“子树”的“自然”定义更有意义。

C＃测试代码（ data类型为int ）：

var t1 = new TreeNode() { data = 0,
    left = new TreeNode() { data = 1,
        left = new TreeNode() { data = 2 },
        right = new TreeNode() { data = 3, 
            right = new TreeNode() { data = 4 } } } };

var t2 = new TreeNode() { data = 1,
    left = new TreeNode() { data = 2 },
    right = new TreeNode() { data = 3 } };

var t3 = new TreeNode() { data = 1,
    left = new TreeNode() { data = 2 },
    right = new TreeNode() { data = 3,
        right = new TreeNode() { data = 4 } } };