分治题目：所有可能的真二叉树

题目

标题和出处

标题：所有可能的真二叉树

出处：894. 所有可能的真二叉树

难度

5 级

题目描述

要求

给定一个整数 $\text{n}$，返回所有含 $\text{n}$ 个结点的真二叉树的列表。答案中每个树的每个结点值都必须是 $\text{0}$。

答案的每个元素都是一个真二叉树的根结点。可以按任意顺序返回答案。

真二叉树是一类二叉树，树中每个结点恰好有 $\text{0}$ 或 $\text{2}$ 个子结点。

示例

示例 1：

输入：$\text{n = 7}$
输出：$\text{[[0,0,0,null,null,0,0,null,null,0,0],[0,0,0,null,null,0,0,0,0],[0,0,0,0,0,0,0],[0,0,0,0,0,null,null,null,null,0,0],[0,0,0,0,0,null,null,0,0]]}$

示例 2：

输入：$\text{n = 3}$
输出：$\text{[[0,0,0]]}$

数据范围

• $\text{1}\le \text{n}\le \text{20}$

解法

思路和算法

根据真二叉树的定义，真二叉树中的每个结点的子结点数是 $0$ 或 $2$。真二叉树中的结点数是奇数，可以使用数学归纳法证明。

1. 当二叉树中只有一个结点时，唯一的结点是根结点，没有子结点，因此是真二叉树，此时真二叉树中的结点数是奇数。

2. 当真二叉树中有 $m$ 个结点时，将其中一个叶结点增加两个子结点之后仍为真二叉树，新的真二叉树中有 $m+2$ 个结点，当 $m$ 是奇数时，$m+2$ 也是奇数。

由于真二叉树中的结点数一定是奇数，因此当 $n$ 是偶数时不存在真二叉树，返回空列表。

当 $n$ 是奇数时，$n$ 个结点的真二叉树满足左子树和右子树的结点数都是奇数且左子树和右子树的结点数之和是 $n-1$，分别构造根结点的左子树和右子树，即可得到 $n$ 个结点的真二叉树。这是一个递归分治的过程。

分治的终止条件是 $n$ 是偶数和 $n=1$，当 $n$ 是偶数时不存在真二叉树，当 $n=1$ 时只有一个结点的二叉树是真二叉树。当 $n>1$ 且 $n$ 是奇数时，遍历左子树和右子树的结点数，然后递归地构造左子树和右子树。

确定左子树和右子树的结点数之后，用 $\text{leftSubtrees}$ 和 $\text{rightSubtrees}$ 分别表示符合要求的左子树列表和右子树列表，对于任意 $\text{leftSubtree}\in \text{leftSubtrees}$ 和 $\text{rightSubtree}\in \text{rightSubtrees}$，将 $\text{leftSubtree}$ 和 $\text{rightSubtree}$ 分别作为根结点的左子树和右子树，即可得到一个真二叉树。

代码

class Solution {
    public List<TreeNode> allPossibleFBT(int n) {
        List<TreeNode> fullBinaryTrees = new ArrayList<TreeNode>();
        if (n % 2 == 0) {
            return fullBinaryTrees;
        }
        if (n == 1) {
            fullBinaryTrees.add(new TreeNode(0));
            return fullBinaryTrees;
        }
        for (int left = 1, right = n - 2; left < n; left++, right--) {
            List<TreeNode> leftSubtrees = allPossibleFBT(left);
            List<TreeNode> rightSubtrees = allPossibleFBT(right);
            for (TreeNode leftSubtree : leftSubtrees) {
                for (TreeNode rightSubtree : rightSubtrees) {
                    TreeNode root = new TreeNode(0, leftSubtree, rightSubtree);
                    fullBinaryTrees.add(root);
                }
            }
        }
        return fullBinaryTrees;
    }
}

复杂度分析

• 时间复杂度：$O(\frac{2^n}{\sqrt{n}})$，其中 $n$ 是真二叉树的结点数。只有当 $n$ 是奇数时才存在真二叉树，记 $n=2k+1$，由 $n$ 个结点组成的真二叉树的数量是第 $k$ 个卡特兰数 $\frac{C(2k,k)}{k+1}$，其渐进上界为 $O(\frac{4^k}{k\sqrt{k}})=O(\frac{2^n}{n\sqrt{n}})$，对于每个真二叉树需要 $O(n)$ 的时间生成和添加到答案中，因此时间复杂度是 $O(\frac{2^n}{\sqrt{n}})$。

• 空间复杂度：$O(n)$，其中 $n$ 是真二叉树的结点数。递归调用栈需要 $O(n)$ 的空间。注意返回值不计入空间复杂度。

后记

此处提供的解法为分治。由于同一个结点值范围的子树可能被多次计算，因此可以使用记忆化。这道题中的结点数不超过 $20$，因此使用记忆化并不能显著提升性能。

读者可以自行尝试使用记忆化的实现。