东哥带你刷二叉树(构造篇)

读完本文,你不仅学会了算法套路,还可以顺便解决如下题目:

LeetCode 力扣 难度
105. Construct Binary Tree from Preorder and Inorder Traversal 105. 从前序与中序遍历序列构造二叉树 🟠
106. Construct Binary Tree from Inorder and Postorder Traversal 106. 从中序与后序遍历序列构造二叉树 🟠
654. Maximum Binary Tree 654. 最大二叉树 🟠
889. Construct Binary Tree from Preorder and Postorder Traversal 889. 根据前序和后序遍历构造二叉树 🟠
- 剑指 Offer 07. 重建二叉树 🟠

———–

在开头先打个广告,我的 手把手刷二叉树课程 按照公式和套路讲解了 150 道二叉树题目,只需一顿饭钱,就能手把手带你刷完二叉树分类的题目,迅速掌握递归思维,让你豁然开朗。我绝对有这个信心,信不信,可以等你看完我的二叉树算法系列文章再做评判。

本文是承接 东哥带你刷二叉树(纲领篇) 的第二篇文章,先复述一下前文总结的二叉树解题总纲:

二叉树解题的思维模式分两类:

1、是否可以通过遍历一遍二叉树得到答案?如果可以,用一个 traverse 函数配合外部变量来实现,这叫「遍历」的思维模式。

2、是否可以定义一个递归函数,通过子问题(子树)的答案推导出原问题的答案?如果可以,写出这个递归函数的定义,并充分利用这个函数的返回值,这叫「分解问题」的思维模式。

无论使用哪种思维模式,你都需要思考:

如果单独抽出一个二叉树节点,它需要做什么事情?需要在什么时候(前/中/后序位置)做?其他的节点不用你操心,递归函数会帮你在所有节点上执行相同的操作。

第一篇文章 东哥带你刷二叉树(思维篇) 讲了「遍历」和「分解问题」两种思维方式,本文讲二叉树的构造类问题。

二叉树的构造问题一般都是使用「分解问题」的思路:构造整棵树 = 根节点 + 构造左子树 + 构造右子树

接下来直接看题。

构造最大二叉树

先来道简单的,这是力扣第 654 题「 最大二叉树」,题目如下:

函数签名如下:

TreeNode constructMaximumBinaryTree(int[] nums);
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

TreeNode* constructMaximumBinaryTree(vector<int>& nums);
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def constructMaximumBinaryTree(nums: List[int]) -> Optional[TreeNode]:
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func constructMaximumBinaryTree(nums []int) *TreeNode
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var constructMaximumBinaryTree = function(nums) {}

每个二叉树节点都可以认为是一棵子树的根节点,对于根节点,首先要做的当然是把想办法把自己先构造出来,然后想办法构造自己的左右子树。

所以,我们要遍历数组把找到最大值 maxVal,从而把根节点 root 做出来,然后对 maxVal 左边的数组和右边的数组进行递归构建,作为 root 的左右子树。

按照题目给出的例子,输入的数组为 [3,2,1,6,0,5],对于整棵树的根节点来说,其实在做这件事:

TreeNode constructMaximumBinaryTree([3,2,1,6,0,5]) {
    // 找到数组中的最大值
    TreeNode root = new TreeNode(6);
    // 递归调用构造左右子树
    root.left = constructMaximumBinaryTree([3,2,1]);
    root.right = constructMaximumBinaryTree([0,5]);
    return root;
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

TreeNode* constructMaximumBinaryTree(vector<int>& nums) {
    // 找到数组中的最大值
    auto max_it = max_element(nums.begin(), nums.end());
    int max_idx = distance(nums.begin(), max_it);
    TreeNode* root = new TreeNode(*max_it);
    // 递归调用构造左右子树
    if (max_idx > 0) {
        vector<int> left(nums.begin(), nums.begin() + max_idx);
        root->left = constructMaximumBinaryTree(left);
    }
    if (max_idx < nums.size() - 1) {
        vector<int> right(nums.begin() + max_idx + 1, nums.end());
        root->right = constructMaximumBinaryTree(right);
    }
    return root;
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def constructMaximumBinaryTree(nums: List[int]) -> TreeNode:
    if not nums:
        return None

    # 找到数组中的最大值及其索引
    max_num = max(nums)
    max_idx = nums.index(max_num)

    # 以最大值构造根节点
    root = TreeNode(max_num)

    # 递归调用构造左右子树
    root.left = constructMaximumBinaryTree(nums[:max_idx])
    root.right = constructMaximumBinaryTree(nums[max_idx+1:])

    return root
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func constructMaximumBinaryTree(nums []int) *TreeNode {
    if len(nums) == 0 {
        return nil
    }
    // 找到数组中的最大值
    maxIndex := 0
    for i := 1; i < len(nums); i++ {
        if nums[i] > nums[maxIndex] {
            maxIndex = i
        }
    }
    root := &TreeNode{Val: nums[maxIndex]}
    // 递归调用构造左右子树
    root.Left = constructMaximumBinaryTree(nums[:maxIndex])
    root.Right = constructMaximumBinaryTree(nums[maxIndex+1:])
    return root
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var constructMaximumBinaryTree = function(nums) {
    if (nums.length == 0) { 
        return null;
    }
    // 找到数组中的最大值
    let maxVal = nums[0];
    let maxIndex = 0;
    for (let i = 1; i < nums.length; i++) {
        if (nums[i] > maxVal) {
            maxVal = nums[i];
            maxIndex = i;
        }
    }
    TreeNode root = new TreeNode(maxVal);
    // 递归调用构造左右子树
    root.left = constructMaximumBinaryTree(nums.slice(0,maxIndex));
    root.right = constructMaximumBinaryTree(nums.slice(maxIndex + 1));
    return root;
};

再详细一点,就是如下伪码:

TreeNode constructMaximumBinaryTree(int[] nums) {
    if (nums is empty) return null;
    // 找到数组中的最大值
    int maxVal = Integer.MIN_VALUE;
    int index = 0;
    for (int i = 0; i < nums.length; i++) {
        if (nums[i] > maxVal) {
            maxVal = nums[i];
            index = i;
        }
    }

    TreeNode root = new TreeNode(maxVal);
    // 递归调用构造左右子树
    root.left = constructMaximumBinaryTree(nums[0..index-1]);
    root.right = constructMaximumBinaryTree(nums[index+1..nums.length-1]);
    return root;
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

TreeNode* constructMaximumBinaryTree(vector<int>& nums) {
    if (nums.empty()) return NULL;
    // 找到数组中的最大值
    int maxVal = INT_MIN;
    int index = 0;
    for (int i = 0; i < nums.size(); i++) {
        if (nums[i] > maxVal) {
            maxVal = nums[i];
            index = i;
        }
    }
    TreeNode* root = new TreeNode(maxVal);
    // 递归调用构造左右子树
    if (index > 0) {
        vector<int> leftNums(nums.begin(), nums.begin() + index);
        root->left = constructMaximumBinaryTree(leftNums);
    }
    if (index < nums.size() - 1) {
        vector<int> rightNums(nums.begin() + index + 1, nums.end());
        root->right = constructMaximumBinaryTree(rightNums);
    }
    return root;
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

from typing import List

def constructMaximumBinaryTree(nums: List[int]) -> TreeNode:
    if not nums:
        return None
    
    # 找到数组中的最大值
    maxVal = max(nums)
    index = nums.index(maxVal)
    
    root = TreeNode(maxVal)
    # 递归调用构造左右子树
    root.left = constructMaximumBinaryTree(nums[:index])
    root.right = constructMaximumBinaryTree(nums[index+1:])
    
    return root
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func constructMaximumBinaryTree(nums []int) *TreeNode {
    if len(nums) == 0 {
        return nil
    }
    // 找到数组中的最大值
    maxVal := math.MinInt64
    index := 0
    for i := 0; i < len(nums); i++ {
        if nums[i] > maxVal {
            maxVal = nums[i]
            index = i
        }
    }
    
    root := &TreeNode{Val: maxVal}
    // 递归调用构造左右子树
    root.Left = constructMaximumBinaryTree(nums[0:index])
    root.Right = constructMaximumBinaryTree(nums[index+1:])
    return root
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var constructMaximumBinaryTree = function(nums) {
    if (nums.length === 0) return null;
    // 找到数组中的最大值
    var maxVal = Number.MIN_VALUE;
    var index = 0;
    for (var i = 0; i < nums.length; i++) {
        if (nums[i] > maxVal) {
            maxVal = nums[i];
            index = i;
        }
    }

    var root = new TreeNode(maxVal);
    // 递归调用构造左右子树
    root.left = constructMaximumBinaryTree(nums.slice(0, index));
    root.right = constructMaximumBinaryTree(nums.slice(index + 1));
    return root;
};

当前 nums 中的最大值就是根节点,然后根据索引递归调用左右数组构造左右子树即可

明确了思路,我们可以重新写一个辅助函数 build,来控制 nums 的索引:

/* 主函数 */
TreeNode constructMaximumBinaryTree(int[] nums) {
    return build(nums, 0, nums.length - 1);
}

// 定义:将 nums[lo..hi] 构造成符合条件的树,返回根节点
TreeNode build(int[] nums, int lo, int hi) {
    // base case
    if (lo > hi) {
        return null;
    }

    // 找到数组中的最大值和对应的索引
    int index = -1, maxVal = Integer.MIN_VALUE;
    for (int i = lo; i <= hi; i++) {
        if (maxVal < nums[i]) {
            index = i;
            maxVal = nums[i];
        }
    }

    // 先构造出根节点
    TreeNode root = new TreeNode(maxVal);
    // 递归调用构造左右子树
    root.left = build(nums, lo, index - 1);
    root.right = build(nums, index + 1, hi);
    
    return root;
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 主函数
TreeNode* constructMaximumBinaryTree(vector<int>& nums) {
    return build(nums, 0, nums.size() - 1);
}

// 定义:将 nums[lo..hi] 构造成符合条件的树,返回根节点
TreeNode* build(vector<int>& nums, int lo, int hi) {
    // base case
    if (lo > hi) {
        return nullptr;
    }

    // 找到数组中的最大值和对应的索引
    int index = -1, maxVal = INT_MIN;
    for (int i = lo; i <= hi; i++) {
        if (maxVal < nums[i]) {
            index = i;
            maxVal = nums[i];
        }
    }

    // 先构造出根节点
    TreeNode* root = new TreeNode(maxVal);
    // 递归调用构造左右子树
    root->left = build(nums, lo, index - 1);
    root->right = build(nums, index + 1, hi);
    
    return root;
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

# 主函数
def constructMaximumBinaryTree(nums: List[int]) -> TreeNode:
    return build(nums, 0, len(nums) - 1)

# 定义:将 nums[lo..hi] 构造成符合条件的树,返回根节点
def build(nums: List[int], lo: int, hi: int) -> TreeNode:
    # base case
    if lo > hi:
        return None

    # 找到数组中的最大值和对应的索引
    index, maxVal = -1, -sys.maxsize
    for i in range(lo, hi+1):
        if maxVal < nums[i]:
            index = i
            maxVal = nums[i]

    # 先构造出根节点
    root = TreeNode(maxVal)
    # 递归调用构造左右子树
    root.left = build(nums, lo, index - 1)
    root.right = build(nums, index + 1, hi)
    
    return root
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 主函数
func constructMaximumBinaryTree(nums []int) *TreeNode {
    return build(nums, 0, len(nums)-1)
}

// build 函数:将 num[lo..hi] 构造成符合条件的树,返回根节点
func build(nums []int, lo, hi int) *TreeNode {
    // base case
    if lo > hi {
        return nil
    }

    // 找到 nums[lo..hi] 最大值和对应的索引
    index, maxVal := -1, math.MinInt64
    for i := lo; i <= hi; i++ {
        if nums[i] > maxVal {
            index = i
            maxVal = nums[i]
        }
    }

    // 先构造根节点
    root := &TreeNode{Val: maxVal}
    // 构造左右子树
    root.Left = build(nums, lo, index-1)
    root.Right = build(nums, index+1, hi)

    return root
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 主函数
function constructMaximumBinaryTree(nums) {
    return build(nums, 0, nums.length - 1);
}

// 定义:将 nums[lo..hi] 构造成符合条件的树,返回根节点
function build(nums, lo, hi) {
    // base case
    if (lo > hi) {
        return null;
    }

    // 找到数组中的最大值和对应的索引
    var index = -1, maxVal = Number.MIN_SAFE_INTEGER;
    for (var i = lo; i <= hi; i++) {
        if (maxVal < nums[i]) {
            index = i;
            maxVal = nums[i];
        }
    }

    // 先构造出根节点
    var root = new TreeNode(maxVal);
    // 递归调用构造左右子树
    root.left = build(nums, lo, index - 1);
    root.right = build(nums, index + 1, hi);
    
    return root;
}

🍭 代码可视化动画 🍭

至此,这道题就做完了,还是挺简单的对吧,下面看两道更困难一些的。

通过前序和中序遍历结果构造二叉树

力扣第 105 题「 从前序和中序遍历序列构造二叉树」就是这道经典题目,面试笔试中常考:

函数签名如下:

TreeNode buildTree(int[] preorder, int[] inorder);
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

TreeNode* buildTree(vector<int>& preorder, vector<int>& inorder);
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def buildTree(preorder: List[int], inorder: List[int]) -> TreeNode:
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func buildTree(preorder []int, inorder []int) *TreeNode
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var buildTree = function(preorder, inorder) {

}

废话不多说,直接来想思路,首先思考,根节点应该做什么。

类似上一题,我们肯定要想办法确定根节点的值,把根节点做出来,然后递归构造左右子树即可

我们先来回顾一下,前序遍历和中序遍历的结果有什么特点?

void traverse(TreeNode root) {
    // 前序遍历
    preorder.add(root.val);
    traverse(root.left);
    traverse(root.right);
}

void traverse(TreeNode root) {
    traverse(root.left);
    // 中序遍历
    inorder.add(root.val);
    traverse(root.right);
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

void traverse(TreeNode* root) {
    // 前序遍历
    preorder.push_back(root->val);
    traverse(root->left);
    traverse(root->right);
}

void traverse(TreeNode* root) {
    traverse(root->left);
    // 中序遍历
    inorder.push_back(root->val);
    traverse(root->right);
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def traverse_preorder(root: TreeNode):
    # 前序遍历
    preorder.append(root.val)
    traverse_preorder(root.left)
    traverse_preorder(root.right)

def traverse_inorder(root: TreeNode):
    traverse_inorder(root.left)
    # 中序遍历
    inorder.append(root.val)
    traverse_inorder(root.right)
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func traverse(root *TreeNode) {
    // 前序遍历
    preorder = append(preorder, root.Val)
    traverse(root.Left)
    traverse(root.Right)
}

func traverse(root *TreeNode) {
    traverse(root.Left)
    // 中序遍历
    inorder = append(inorder, root.Val)
    traverse(root.Right)
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var traverse = function(root) {
    // 前序遍历
    preorder.push(root.val);
    traverse(root.left);
    traverse(root.right);
}

var traverse = function(root) {
    traverse(root.left);
    // 中序遍历
    inorder.push(root.val);
    traverse(root.right);
}

后文 二叉树就那几个框架 写过,这样的遍历顺序差异,导致了 preorderinorder 数组中的元素分布有如下特点:

找到根节点是很简单的,前序遍历的第一个值 preorder[0] 就是根节点的值。

关键在于如何通过根节点的值,将 preorderinorder 数组划分成两半,构造根节点的左右子树?

换句话说,对于以下代码中的 ? 部分应该填入什么:

/* 主函数 */
public TreeNode buildTree(int[] preorder, int[] inorder) {
    // 根据函数定义,用 preorder 和 inorder 构造二叉树
    return build(preorder, 0, preorder.length - 1,
                 inorder, 0, inorder.length - 1);
}

/* 
    build 函数的定义:
    若前序遍历数组为 preorder[preStart..preEnd],
    中序遍历数组为 inorder[inStart..inEnd],
    构造二叉树,返回该二叉树的根节点 
*/
TreeNode build(int[] preorder, int preStart, int preEnd, 
               int[] inorder, int inStart, int inEnd) {
    // root 节点对应的值就是前序遍历数组的第一个元素
    int rootVal = preorder[preStart];
    // rootVal 在中序遍历数组中的索引
    int index = 0;
    for (int i = inStart; i <= inEnd; i++) {
        if (inorder[i] == rootVal) {
            index = i;
            break;
        }
    }

    TreeNode root = new TreeNode(rootVal);
    // 递归构造左右子树
    root.left = build(preorder, ?, ?,
                      inorder, ?, ?);

    root.right = build(preorder, ?, ?,
                       inorder, ?, ?);
    return root;
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

/* 主函数 */
TreeNode* buildTree(vector<int>& preorder, vector<int>& inorder) {
    // 根据函数定义,用 preorder 和 inorder 构造二叉树
    return build(preorder, 0, preorder.size()-1,
                 inorder, 0, inorder.size()-1);
}

/* 
    build 函数的定义:
    若前序遍历数组为 preorder[preStart..preEnd],
    中序遍历数组为 inorder[inStart..inEnd],
    构造二叉树,返回该二叉树的根节点 
*/
TreeNode* build(vector<int>& preorder, int preStart, int preEnd, 
               vector<int>& inorder, int inStart, int inEnd) {
    // root 节点对应的值就是前序遍历数组的第一个元素
    int rootVal = preorder[preStart];
    // rootVal 在中序遍历数组中的索引
    int index = 0;
    for (int i = inStart; i <= inEnd; i++) {
        if (inorder[i] == rootVal) {
            index = i;
            break;
        }
    }

    TreeNode* root = new TreeNode(rootVal);
    // 递归构造左右子树
    root->left = build(preorder, preStart+1, preStart+index-inStart,
                      inorder, inStart, index-1);

    root->right = build(preorder, preStart+index-inStart+1, preEnd,
                       inorder, index+1, inEnd);
    return root;
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

# 主函数
def buildTree(preorder: List[int], inorder: List[int]) -> TreeNode:
    # 根据函数定义,用 preorder 和 inorder 构造二叉树
    return build(preorder, 0, len(preorder)-1, inorder, 0, len(inorder)-1)

# build 函数的定义:若前序遍历数组为 preorder[preStart..preEnd],中序遍历数组为 inorder[inStart..inEnd],构造二叉树,返回该二叉树的根节点
def build(preorder: List[int], preStart: int, preEnd: int, inorder: List[int], inStart: int, inEnd: int) -> TreeNode:
    # root 节点对应的值就是前序遍历数组的第一个元素
    rootVal = preorder[preStart]
    # rootVal 在中序遍历数组中的索引
    index = 0
    for i in range(inStart, inEnd+1):
        if inorder[i] == rootVal:
            index = i
            break

    root = TreeNode(rootVal)
    # 递归构造左右子树
    root.left = build(preorder, preStart+1, preStart+(index-inStart),
                      inorder, inStart, index-1)

    root.right = build(preorder, preStart+(index-inStart)+1, preEnd,
                       inorder, index+1, inEnd)
    return root
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

/* 主函数 */
func buildTree(preorder []int, inorder []int) *TreeNode {
    // 根据函数定义,用 preorder 和 inorder 构造二叉树
    return build(preorder, 0, len(preorder)-1,
        inorder, 0, len(inorder)-1)
}

/* 
    build 函数的定义:
    若前序遍历数组为 preorder[preStart..preEnd],
    中序遍历数组为 inorder[inStart..inEnd],
    构造二叉树,返回该二叉树的根节点 
*/
func build(pre []int, preStart int, preEnd int,
    in []int, inStart int, inEnd int) *TreeNode {

    // 前序遍历数组为空,返回 nil
    if preStart > preEnd {
        return nil
    }

    // root 节点对应的值就是前序遍历数组的第一个元素
    rootVal := pre[preStart]
    // rootVal 在中序遍历数组中的索引
    var index int
    for i := inStart; i <= inEnd; i++ {
        if in[i] == rootVal {
            index = i
            break
        }
    }

    // 构建当前节点
    root := &TreeNode{Val: rootVal}

    // 左子树的节点个数
    leftSize := index - inStart
    // 递归构造左右子树
    root.Left = build(pre, preStart+1, preStart+leftSize,
        in, inStart, index-1)
    root.Right = build(pre, preStart+leftSize+1, preEnd,
        in, index+1, inEnd)
    return root
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var buildTree = function(preorder, inorder) {
    const build = function(preorder, preStart, preEnd, inorder, inStart, inEnd) {
        if (preStart > preEnd || inStart > inEnd) return null; // 递归结束条件
        // root 节点对应的值就是前序遍历数组的第一个元素
        let rootVal = preorder[preStart];
        // rootVal 在中序遍历数组中的索引
        let index = inorder.indexOf(rootVal);
        let root = new TreeNode(rootVal);
        // 递归构造左右子树
        root.left = build(preorder, preStart + 1, preStart + index - inStart,
                          inorder, inStart, index - 1);

        root.right = build(preorder, preStart + index - inStart + 1, preEnd,
                           inorder, index + 1, inEnd);
        return root;
    }
    // 根据函数定义,用 preorder 和 inorder 构造二叉树
    return build(preorder, 0, preorder.length - 1, inorder, 0, inorder.length - 1);
};

对于代码中的 rootValindex 变量,就是下图这种情况:

另外,也有读者注意到,通过 for 循环遍历的方式去确定 index 效率不算高,可以进一步优化。

因为题目说二叉树节点的值不存在重复,所以可以使用一个 HashMap 存储元素到索引的映射,这样就可以直接通过 HashMap 查到 rootVal 对应的 index

// 存储 inorder 中值到索引的映射
HashMap<Integer, Integer> valToIndex = new HashMap<>();

public TreeNode buildTree(int[] preorder, int[] inorder) {
    for (int i = 0; i < inorder.length; i++) {
        valToIndex.put(inorder[i], i);
    }
    return build(preorder, 0, preorder.length - 1,
                 inorder, 0, inorder.length - 1);
}


TreeNode build(int[] preorder, int preStart, int preEnd, 
               int[] inorder, int inStart, int inEnd) {
    int rootVal = preorder[preStart];
    // 避免 for 循环寻找 rootVal
    int index = valToIndex.get(rootVal);
    // ...
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 存储 inorder 中值到索引的映射
unordered_map<int, int> valToIndex;

TreeNode* buildTree(vector<int>& preorder, vector<int>& inorder) {
    for (int i = 0; i < inorder.size(); i++) {
        valToIndex[inorder[i]] = i;
    }
    return build(preorder, 0, preorder.size() - 1,
                 inorder, 0, inorder.size() - 1);
}

TreeNode* build(vector<int>& preorder, int preStart, int preEnd, 
                vector<int>& inorder, int inStart, int inEnd) {
    int rootVal = preorder[preStart];
    // 避免 for 循环寻找 rootVal
    int index = valToIndex[rootVal];

    // ...
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

from typing import List
# 存储 inorder 中值到索引的映射
valToIndex = {}

def buildTree(preorder: List[int], inorder: List[int]) -> TreeNode:
    for i in range(len(inorder)):
        valToIndex[inorder[i]] = i
    return build(preorder, 0, len(preorder) - 1, inorder, 0, len(inorder) - 1)

def build(preorder: List[int], preStart: int, preEnd: int, 
          inorder: List[int], inStart: int, inEnd: int) -> TreeNode:
    rootVal = preorder[preStart]
    # 避免 for 循环寻找 rootVal
    index = valToIndex[rootVal]
    # ...
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 存储 inorder 中值到索引的映射
valToIndex := make(map[int]int)

func buildTree(preorder []int, inorder []int) *TreeNode {
    for i := 0; i < len(inorder); i++ {
        valToIndex[inorder[i]] = i
    }
    return build(preorder, 0, len(preorder)-1,
                 inorder, 0, len(inorder)-1)
}

func build(preorder []int, preStart int, preEnd int,
           inorder []int, inStart int, inEnd int) *TreeNode {
    rootVal := preorder[preStart]
    // 避免 for 循环寻找 rootVal
    index := valToIndex[rootVal]
    // ...
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 存储 inorder 中值到索引的映射
var valToIndex = new Map();

function buildTree(preorder, inorder) {
    for (let i = 0; i < inorder.length; i++) {
        valToIndex.set(inorder[i], i);
    }
    return build(preorder, 0, preorder.length - 1,
                 inorder, 0, inorder.length - 1);
}


function build(preorder, preStart, preEnd, inorder, inStart, inEnd) {
    var rootVal = preorder[preStart];
    // 避免 for 循环寻找 rootVal
    var index = valToIndex.get(rootVal);
    // ...
}

现在我们来看图做填空题,下面这几个问号处应该填什么:

root.left = build(preorder, ?, ?,
                  inorder, ?, ?);

root.right = build(preorder, ?, ?,
                   inorder, ?, ?);
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

root->left = build(preorder, ?, ?,
                   inorder, ?, ?);

root->right = build(preorder, ?, ?,
                    inorder, ?, ?);
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

root.left = build(preorder, ??, ??,
                  inorder, ??, ??)

root.right = build(preorder, ??, ??,
                   inorder, ??, ??)
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

root.left = build(preorder, ?, ?,
                  inorder, ?, ?);

root.right = build(preorder, ?, ?,
                   inorder, ?, ?);
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var build = function(
  preorder,
  preStart,
  preEnd,
  inorder,
  inStart,
  inEnd
) {
  root.left = build(
    preorder,
    preStart + 1,
    preStart + leftSize,
    inorder,
    inStart,
    inStart + leftSize - 1
  );
  root.right = build(
    preorder,
    preStart + leftSize + 1,
    preEnd,
    inorder,
    inStart + leftSize + 1,
    inEnd
  );
};

对于左右子树对应的 inorder 数组的起始索引和终止索引比较容易确定:

root.left = build(preorder, ?, ?,
                  inorder, inStart, index - 1);

root.right = build(preorder, ?, ?,
                   inorder, index + 1, inEnd);
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

root->left = build(preorder, ? /*left subtree preOrder start*/, ? /*left subtree preOrder end*/,
                  inorder, inStart, index - 1);

root->right = build(preorder, ? /*right subtree preOrder start*/, ? /*right subtree preOrder end*/,
                   inorder, index + 1, inEnd);
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

root.left = build(preorder, ?, ?,
                  inorder, inStart, index - 1)

root.right = build(preorder, ?, ?,
                   inorder, index + 1, inEnd)
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

root.left = build(preorder, ??????,
                  inorder, inStart, index - 1)

root.right = build(preorder, ??????,
                   inorder, index + 1, inEnd)
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var build = function(preorder, preStart, preEnd, inorder, inStart, inEnd) {
    var root = new TreeNode(preorder[preStart]);
    var index = inorder.indexOf(root.val);
    if (inStart < index) {
        root.left = build(preorder, preStart + 1, preStart + (index - inStart),
                          inorder, inStart, index - 1);
    }
    if (index < inEnd) {
        root.right = build(preorder, preStart + (index - inStart) + 1, preEnd,
                           inorder, index + 1, inEnd);
    }
    return root;
};

对于 preorder 数组呢?如何确定左右数组对应的起始索引和终止索引?

这个可以通过左子树的节点数推导出来,假设左子树的节点数为 leftSize,那么 preorder 数组上的索引情况是这样的:

看着这个图就可以把 preorder 对应的索引写进去了:

int leftSize = index - inStart;

root.left = build(preorder, preStart + 1, preStart + leftSize,
                  inorder, inStart, index - 1);

root.right = build(preorder, preStart + leftSize + 1, preEnd,
                   inorder, index + 1, inEnd);
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

int leftSize = index - inStart;

root->left = build(preorder, preStart + 1, preStart + leftSize,
                  inorder, inStart, index - 1);

root->right = build(preorder, preStart + leftSize + 1, preEnd,
                   inorder, index + 1, inEnd);
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

leftSize = index - inStart

root.left = build(preorder, preStart + 1, preStart + leftSize,
                  inorder, inStart, index - 1)

root.right = build(preorder, preStart + leftSize + 1, preEnd,
                   inorder, index + 1, inEnd)
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

leftSize := index - inStart

root.left = build(preorder, preStart + 1, preStart + leftSize,
                  inorder, inStart, index - 1)

root.right = build(preorder, preStart + leftSize + 1, preEnd,
                   inorder, index + 1, inEnd)
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var leftSize = index - inStart;

root.left = build(preorder, preStart + 1, preStart + leftSize,
                  inorder, inStart, index - 1);

root.right = build(preorder, preStart + leftSize + 1, preEnd,
                   inorder, index + 1, inEnd);

至此,整个算法思路就完成了,我们再补一补 base case 即可写出解法代码:

TreeNode build(int[] preorder, int preStart, int preEnd, 
               int[] inorder, int inStart, int inEnd) {
        
    if (preStart > preEnd) {
        return null;
    }

    // root 节点对应的值就是前序遍历数组的第一个元素
    int rootVal = preorder[preStart];
    // rootVal 在中序遍历数组中的索引
    int index = valToIndex.get(rootVal);

    int leftSize = index - inStart;

    // 先构造出当前根节点
    TreeNode root = new TreeNode(rootVal);/**<extend up -200><img src="/algo/images/二叉树系列2/4.jpeg"> */
    // 递归构造左右子树
    root.left = build(preorder, preStart + 1, preStart + leftSize,
                      inorder, inStart, index - 1);

    root.right = build(preorder, preStart + leftSize + 1, preEnd,
                       inorder, index + 1, inEnd);
    return root;
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

TreeNode* build(vector<int>& preorder, int preStart, int preEnd, 
                vector<int>& inorder, int inStart, int inEnd) {
    if (preStart > preEnd) {
        return nullptr;
    }

    // root 节点对应的值就是前序遍历数组的第一个元素
    int rootVal = preorder[preStart];
    // rootVal 在中序遍历数组中的索引
    int index = valToIndex[rootVal];

    int leftSize = index - inStart;

    // 先构造出当前根节点
    TreeNode* root = new TreeNode(rootVal);
    // 递归构造左右子树
    root->left = build(preorder, preStart + 1, preStart + leftSize,
                       inorder, inStart, index - 1);

    root->right = build(preorder, preStart + leftSize + 1, preEnd,
                        inorder, index + 1, inEnd);
    return root;
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def build(preorder: List[int], preStart: int, preEnd: int, inorder: List[int], inStart: int, inEnd: int) -> TreeNode:
        
    if preStart > preEnd:
        return None

    # root 节点对应的值就是前序遍历数组的第一个元素
    rootVal = preorder[preStart]
    # rootVal 在中序遍历数组中的索引
    index = valToIndex.get(rootVal)

    leftSize = index - inStart

    # 先构造出当前根节点
    root = TreeNode(rootVal) # <extend up -200><img src="/algo/images/二叉树系列2/4.jpeg"> #

    # 递归构造左右子树
    root.left = build(preorder, preStart + 1, preStart + leftSize,
                      inorder, inStart, index - 1)

    root.right = build(preorder, preStart + leftSize + 1, preEnd,
                       inorder, index + 1, inEnd)
    return root
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func build(preorder []int, preStart int, preEnd int, inorder []int, inStart int, inEnd int) *TreeNode {

    if preStart > preEnd {
        return nil
    }

    // root 节点对应的值就是前序遍历数组的第一个元素
    rootVal := preorder[preStart]
    // rootVal 在中序遍历数组中的索引
    index := valToIndex[rootVal]

    leftSize := index - inStart

    // 先构造出当前根节点
    root := &TreeNode{Val: rootVal}/**<extend up -200><img src="/algo/images/二叉树系列2/4.jpeg"> */
    // 递归构造左右子树
    root.Left = build(preorder, preStart + 1, preStart + leftSize,
                      inorder, inStart, index - 1)

    root.Right = build(preorder, preStart + leftSize + 1, preEnd,
                       inorder, index + 1, inEnd)
    return root
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var build = function(preorder, preStart, preEnd, inorder, inStart, inEnd) {
    if (preStart > preEnd) {
        // 如果没有节点了,则返回 null
        return null;
    }

    // 先取出根节点
    var rootVal = preorder[preStart];
    // 在中序遍历中取出根节点的位置
    var index = valToIndex.get(rootVal);

    // 计算左子树的长度
    var leftSize = index - inStart;

    // 构造出当前根节点
    var root = new TreeNode(rootVal);

    // 递归构造左右子树
    root.left = build(preorder, preStart + 1, preStart + leftSize,
                      inorder, inStart, index - 1);

    root.right = build(preorder, preStart + leftSize + 1, preEnd,
                       inorder, index + 1, inEnd);
    return root;
};

我们的主函数只要调用 build 函数即可,你看着函数这么多参数,解法这么多代码,似乎比我们上面讲的那道题难很多,让人望而生畏,实际上呢,这些参数无非就是控制数组起止位置的,画个图就能解决了。

通过后序和中序遍历结果构造二叉树

类似上一题,这次我们利用后序中序遍历的结果数组来还原二叉树,这是力扣第 106 题「 从后序和中序遍历序列构造二叉树」:

函数签名如下:

TreeNode buildTree(int[] inorder, int[] postorder);
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

TreeNode* buildTree(vector<int>& inorder, vector<int>& postorder);
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def buildTree(inorder: List[int], postorder: List[int]) -> TreeNode:
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func buildTree(inorder []int, postorder []int) *TreeNode
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var buildTree = function(inorder, postorder) {

}

类似的,看下后序和中序遍历的特点:

void traverse(TreeNode root) {
    traverse(root.left);
    traverse(root.right);
    // 后序遍历
    postorder.add(root.val);
}

void traverse(TreeNode root) {
    traverse(root.left);
    // 中序遍历
    inorder.add(root.val);
    traverse(root.right);
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

void traverse(TreeNode* root) {
    traverse(root->left);
    traverse(root->right);
    // 后序遍历
    postorder.push_back(root->val);
}

void traverse(TreeNode* root) {
    traverse(root->left);
    // 中序遍历    
    inorder.push_back(root->val);
    traverse(root->right);
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def traverse_postorder(root: TreeNode):
    traverse_postorder(root.left)
    traverse_postorder(root.right)
    # 后序遍历
    postorder.append(root.val)
    
def traverse_inorder(root: TreeNode):
    traverse_inorder(root.left)
    # 中序遍历
    inorder.append(root.val)
    traverse_inorder(root.right)
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func traverse(root *TreeNode) {
    traverse(root.left)
    traverse(root.right)
    // 后序遍历
    postorder = append(postorder, root.val)
}

func traverse(root *TreeNode) {
    traverse(root.left)
    // 中序遍历
    inorder = append(inorder, root.val)
    traverse(root.right)
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var traverse = function(root) {
    traverse(root.left);
    traverse(root.right);
    // 后序遍历
    postorder.add(root.val);
};

var traverse = function(root) {
    traverse(root.left);
    // 中序遍历
    inorder.add(root.val);
    traverse(root.right);
};

这样的遍历顺序差异,导致了 postorderinorder 数组中的元素分布有如下特点:

这道题和上一题的关键区别是,后序遍历和前序遍历相反,根节点对应的值为 postorder 的最后一个元素。

整体的算法框架和上一题非常类似,我们依然写一个辅助函数 build

// 存储 inorder 中值到索引的映射
HashMap<Integer, Integer> valToIndex = new HashMap<>();

TreeNode buildTree(int[] inorder, int[] postorder) {
    for (int i = 0; i < inorder.length; i++) {
        valToIndex.put(inorder[i], i);
    }
    return build(inorder, 0, inorder.length - 1,
                 postorder, 0, postorder.length - 1);
}

/* 
    build 函数的定义:
    后序遍历数组为 postorder[postStart..postEnd],
    中序遍历数组为 inorder[inStart..inEnd],
    构造二叉树,返回该二叉树的根节点 
*/
TreeNode build(int[] inorder, int inStart, int inEnd,
               int[] postorder, int postStart, int postEnd) {
    // root 节点对应的值就是后序遍历数组的最后一个元素
    int rootVal = postorder[postEnd];
    // rootVal 在中序遍历数组中的索引
    int index = valToIndex.get(rootVal);

    TreeNode root = new TreeNode(rootVal);
    // 递归构造左右子树
    root.left = build(preorder, ?, ?,
                      inorder, ?, ?);

    root.right = build(preorder, ?, ?,
                       inorder, ?, ?);
    return root;
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 存储 inorder 中值到索引的映射
unordered_map<int, int> valToIndex;

TreeNode* buildTree(vector<int>& inorder, vector<int>& postorder) {
    for (int i = 0; i < inorder.size(); i++) {
        valToIndex[inorder[i]] = i;
    }
    return build(inorder, 0, inorder.size() - 1,
                 postorder, 0, postorder.size() - 1);
}

/* 
    build 函数的定义:
    后序遍历数组为 postorder[postStart..postEnd],
    中序遍历数组为 inorder[inStart..inEnd],
    构造二叉树,返回该二叉树的根节点 
*/
TreeNode* build(vector<int>& inorder, int inStart, int inEnd,
               vector<int>& postorder, int postStart, int postEnd) {
    // root 节点对应的值就是后序遍历数组的最后一个元素
    int rootVal = postorder[postEnd];
    // rootVal 在中序遍历数组中的索引
    int index = valToIndex[rootVal];

    TreeNode* root = new TreeNode(rootVal);
    // 递归构造左右子树
    root->left = build(inorder, ?, ?,
                      postorder, ?, ?);

    root->right = build(inorder, ?, ?,
                       postorder, ?, ?);
    return root;
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

from typing import List
class TreeNode:
    def __init__(self, val=0, left=None, right=None) -> None:
        self.val = val
        self.left = left
        self.right = right

def buildTree(inorder: List[int], postorder: List[int]) -> TreeNode:
    # 存储 inorder 中值到索引的映射
    valToIndex = {}
    for i in range(len(inorder)):
        valToIndex[inorder[i]] = i
    return build(inorder, 0, len(inorder) - 1,
                 postorder, 0, len(postorder) - 1, valToIndex)

def build(inorder: List[int], inStart: int, inEnd: int,
          postorder: List[int], postStart: int, postEnd: int,
          valToIndex: dict) -> TreeNode:
    if inStart > inEnd:
        return None
    # root 节点对应的值就是后序遍历数组的最后一个元素
    rootVal = postorder[postEnd]
    # rootVal 在中序遍历数组中的索引
    index = valToIndex[rootVal]

    root = TreeNode(rootVal)
    # 递归构造左右子树
    leftSize = index - inStart
    root.left = build(inorder, inStart, index - 1,
                      postorder, postStart, postStart + leftSize - 1, valToIndex)

    root.right = build(inorder, index + 1, inEnd,
                       postorder, postStart + leftSize, postEnd - 1, valToIndex)
    return root
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 存储 inorder 中值到索引的映射
valToIndex := make(map[int]int)

func buildTree(inorder []int, postorder []int) *TreeNode {
    for i := 0; i < len(inorder); i++ {
        valToIndex[inorder[i]] = i
    }
    return build(inorder, 0, len(inorder)-1,
                 postorder, 0, len(postorder)-1)
}

/*
	build 函数的定义:
	后序遍历数组为 postorder[postStart..postEnd],
	中序遍历数组为 inorder[inStart..inEnd],
	构造二叉树,返回该二叉树的根节点
*/
func build(inorder []int, inStart int, inEnd int,
           postorder []int, postStart int, postEnd int) *TreeNode {
    // root 节点对应的值就是后序遍历数组的最后一个元素
    rootVal := postorder[postEnd]
    // rootVal 在中序遍历数组中的索引
    index := valToIndex[rootVal]

    root := &TreeNode{Val: rootVal}
    // 递归构造左右子树
    root.Left = build(inorder, inStart, index-1,
                      postorder, postStart, postStart+index-1-inStart)

    root.Right = build(inorder, index+1, inEnd,
                       postorder, postStart+index-inStart, postEnd-1)
    return root
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

// 存储 inorder 中值到索引的映射
var valToIndex = new Map();

/*
    根据中序遍历 inorder 和后序遍历 postorder 构造二叉树,
    返回该二叉树的根节点
*/
function buildTree(inorder, postorder) {
    for (var i = 0; i < inorder.length; i++) {
        valToIndex.set(inorder[i], i);
    }
    return build(inorder, 0, inorder.length - 1,
                 postorder, 0, postorder.length - 1);
}

/* 
    build 函数的定义:
    后序遍历数组为 postorder[postStart..postEnd],
    中序遍历数组为 inorder[inStart..inEnd],
    构造二叉树,返回该二叉树的根节点 
*/
function build(inorder, inStart, inEnd,
               postorder, postStart, postEnd) {
    // root 节点对应的值就是后序遍历数组的最后一个元素
    var rootVal = postorder[postEnd];
    // rootVal 在中序遍历数组中的索引
    var index = valToIndex.get(rootVal);

    var root = new TreeNode(rootVal);
    // 递归构造左右子树
    root.left = build(inorder, inStart, index - 1,
                      postorder, postStart, postStart + index - inStart - 1);

    root.right = build(inorder, index + 1, inEnd,
                       postorder, postStart + index - inStart, postEnd - 1);
    return root;
}

现在 postoderinorder 对应的状态如下:

我们可以按照上图将问号处的索引正确填入:

int leftSize = index - inStart;

root.left = build(inorder, inStart, index - 1,
                  postorder, postStart, postStart + leftSize - 1);

root.right = build(inorder, index + 1, inEnd,
                   postorder, postStart + leftSize, postEnd - 1);
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

int leftSize = index - inStart;

root->left = build(inorder, inStart, index - 1,
                  postorder, postStart, postStart + leftSize - 1);

root->right = build(inorder, index + 1, inEnd,
                   postorder, postStart + leftSize, postEnd - 1);
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

leftSize = index - inStart

root.left = build(inorder, inStart, index - 1,
                  postorder, postStart, postStart + leftSize - 1)

root.right = build(inorder, index + 1, inEnd,
                   postorder, postStart + leftSize, postEnd - 1)
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

leftSize := index - inStart
root.left = build(inorder, inStart, index - 1, postorder, postStart, postStart + leftSize - 1)
root.right = build(inorder, index + 1, inEnd, postorder, postStart + leftSize, postEnd - 1)
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var leftSize = index - inStart;

root.left = build(inorder, inStart, index - 1,
                  postorder, postStart, postStart + leftSize - 1);

root.right = build(inorder, index + 1, inEnd,
                   postorder, postStart + leftSize, postEnd - 1);

综上,可以写出完整的解法代码:

TreeNode build(int[] inorder, int inStart, int inEnd,
               int[] postorder, int postStart, int postEnd) {

    if (inStart > inEnd) {
        return null;
    }
    // root 节点对应的值就是后序遍历数组的最后一个元素
    int rootVal = postorder[postEnd];
    // rootVal 在中序遍历数组中的索引
    int index = valToIndex.get(rootVal);
    // 左子树的节点个数
    int leftSize = index - inStart;
    TreeNode root = new TreeNode(rootVal);/**<extend up -200><img src="/algo/images/二叉树系列2/6.jpeg"> */
    // 递归构造左右子树
    root.left = build(inorder, inStart, index - 1,
                        postorder, postStart, postStart + leftSize - 1);
    
    root.right = build(inorder, index + 1, inEnd,
                        postorder, postStart + leftSize, postEnd - 1);
    return root;
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

TreeNode* build(vector<int>& inorder, int inStart, int inEnd,
                vector<int>& postorder, int postStart, int postEnd) {

    if (inStart > inEnd) {
        return nullptr;
    }
    // root 节点对应的值就是后序遍历数组的最后一个元素
    int rootVal = postorder[postEnd];
    // rootVal 在中序遍历数组中的索引
    int index = valToIndex[rootVal];
    // 左子树的节点个数
    int leftSize = index - inStart;
    TreeNode* root = new TreeNode(rootVal);/**<extend up -200><img src="/algo/images/二叉树系列2/6.jpeg"> */
    // 递归构造左右子树
    root->left = build(inorder, inStart, index - 1,
                        postorder, postStart, postStart + leftSize - 1);
    
    root->right = build(inorder, index + 1, inEnd,
                        postorder, postStart + leftSize, postEnd - 1);
    return root;
}
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def build(inorder: List[int], inStart: int, inEnd: int,
          postorder: List[int], postStart: int, postEnd: int) -> TreeNode:
    
    if inStart > inEnd:
        return None

    rootVal = postorder[postEnd]

    index = valToIndex.get(rootVal)

    leftSize = index - inStart

    root = TreeNode(rootVal)

    # 递归构造左右子树
    root.left = build(inorder, inStart, index - 1,
                        postorder, postStart, postStart + leftSize - 1)
    
    root.right = build(inorder, index + 1, inEnd,
                        postorder, postStart + leftSize, postEnd - 1)
    return root
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func build(inorder []int, inStart int, inEnd int,
           postorder []int, postStart int, postEnd int) *TreeNode {

    if inStart > inEnd {
        return nil
    }
    // root 节点对应的值就是后序遍历数组的最后一个元素
    rootVal := postorder[postEnd]
    // rootVal 在中序遍历数组中的索引
    index := valToIndex[rootVal]
    // 左子树的节点个数
    leftSize := index - inStart
    root := &TreeNode{Val: rootVal}/**<extend up -200><img src="/algo/images/二叉树系列2/6.jpeg"> */
    // 递归构造左右子树
    root.Left = build(inorder, inStart, index - 1,
                      postorder, postStart, postStart + leftSize - 1)
    
    root.Right = build(inorder, index + 1, inEnd,
                       postorder, postStart + leftSize, postEnd - 1)
    return root
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var build = function(inorder, inStart, inEnd, postorder, postStart, postEnd) {
    if (inStart > inEnd){
        return null;
    }
    var rootVal = postorder[postEnd];
    var index = valToIndex.get(rootVal);
    var leftSize = index - inStart;
    var root = new TreeNode(rootVal);/**<extend up -200><img src="/algo/images/二叉树系列2/6.jpeg"> */    
    root.left = build(inorder, inStart, index - 1, postorder, postStart, postStart + leftSize - 1);
    root.right = build(inorder, index + 1, inEnd, postorder, postStart + leftSize, postEnd - 1);
    return root;
};

🌟 代码可视化动画 🌟

有了前一题的铺垫,这道题很快就解决了,无非就是 rootVal 变成了最后一个元素,再改改递归函数的参数而已,只要明白二叉树的特性,也不难写出来。

通过后序和前序遍历结果构造二叉树

这是力扣第 889 题「 根据前序和后序遍历构造二叉树」,给你输入二叉树的前序和后序遍历结果,让你还原二叉树的结构。

函数签名如下:

TreeNode constructFromPrePost(int[] preorder, int[] postorder);
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

TreeNode constructFromPrePost(vector<int>& preorder, vector<int>& postorder);
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

def constructFromPrePost(preorder: List[int], postorder: List[int]) -> TreeNode:
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

func constructFromPrePost(preorder []int, postorder []int) *TreeNode {}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var constructFromPrePost = function(preorder, postorder) {

};

这道题和前两道题有一个本质的区别:

通过前序中序,或者后序中序遍历结果可以确定唯一一棵原始二叉树,但是通过前序后序遍历结果无法确定唯一的原始二叉树

题目也说了,如果有多种可能的还原结果,你可以返回任意一种。

为什么呢?我们说过,构建二叉树的套路很简单,先找到根节点,然后找到并递归构造左右子树即可。

前两道题,可以通过前序或者后序遍历结果找到根节点,然后根据中序遍历结果确定左右子树(题目说了树中没有 val 相同的节点)。

这道题,你可以确定根节点,但是无法确切的知道左右子树有哪些节点。

举个例子,比如给你这个输入:

preorder = [1,2,3], postorder = [3,2,1]

下面这两棵树都是符合条件的,但显然它们的结构不同:

不过话说回来,用后序遍历和前序遍历结果还原二叉树,解法逻辑上和前两道题差别不大,也是通过控制左右子树的索引来构建:

1、首先把前序遍历结果的第一个元素或者后序遍历结果的最后一个元素确定为根节点的值

2、然后把前序遍历结果的第二个元素作为左子树的根节点的值

3、在后序遍历结果中寻找左子树根节点的值,从而确定了左子树的索引边界,进而确定右子树的索引边界,递归构造左右子树即可

详情见代码。

class Solution {
    // 存储 postorder 中值到索引的映射
    HashMap<Integer, Integer> valToIndex = new HashMap<>();

    public TreeNode constructFromPrePost(int[] preorder, int[] postorder) {
        for (int i = 0; i < postorder.length; i++) {
            valToIndex.put(postorder[i], i);
        }
        return build(preorder, 0, preorder.length - 1,
                    postorder, 0, postorder.length - 1);
    }

    // 定义:根据 preorder[preStart..preEnd] 和 postorder[postStart..postEnd]
    // 构建二叉树,并返回根节点。
    TreeNode build(int[] preorder, int preStart, int preEnd,
                   int[] postorder, int postStart, int postEnd) {
        if (preStart > preEnd) {
            return null;
        }
        if (preStart == preEnd) {
            return new TreeNode(preorder[preStart]);
        }

        // root 节点对应的值就是前序遍历数组的第一个元素
        int rootVal = preorder[preStart];
        // root.left 的值是前序遍历第二个元素
        // 通过前序和后序遍历构造二叉树的关键在于通过左子树的根节点
        // 确定 preorder 和 postorder 中左右子树的元素区间
        int leftRootVal = preorder[preStart + 1];
        // leftRootVal 在后序遍历数组中的索引
        int index = valToIndex.get(leftRootVal);
        // 左子树的元素个数
        int leftSize = index - postStart + 1;

        // 先构造出当前根节点
        TreeNode root = new TreeNode(rootVal);/**<extend up -200><img src="/algo/images/二叉树系列2/8.jpeg"> */
        // 递归构造左右子树
        // 根据左子树的根节点索引和元素个数推导左右子树的索引边界
        root.left = build(preorder, preStart + 1, preStart + leftSize,
                postorder, postStart, index);
        root.right = build(preorder, preStart + leftSize + 1, preEnd,
                postorder, index + 1, postEnd - 1);

        return root;
    }
}
// 注意:cpp 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

class Solution {
private:
    // 存储 postorder 中值到索引的映射
    unordered_map<int, int> valToIndex;

public:
    TreeNode* constructFromPrePost(vector<int>& preorder, vector<int>& postorder) {
        for (int i = 0; i < postorder.size(); i++) {
            valToIndex[postorder[i]] = i;
        }
        return build(preorder, 0, preorder.size() - 1, postorder, 0, postorder.size() - 1);
    }
    
    // 定义:根据 preorder[preStart..preEnd] 和 postorder[postStart..postEnd]
    // 构建二叉树,并返回根节点。
    TreeNode* build(vector<int>& preorder, int preStart, int preEnd, vector<int>& postorder, int postStart, int postEnd) {
        if (preStart > preEnd) {
            return nullptr;
        }
        if (preStart == preEnd) {
            return new TreeNode(preorder[preStart]);
        }

        // root 节点对应的值就是前序遍历数组的第一个元素
        int rootVal = preorder[preStart];
        // root.left 的值是前序遍历第二个元素
        // 通过前序和后序遍历构造二叉树的关键在于通过左子树的根节点
        // 确定 preorder 和 postorder 中左右子树的元素区间
        int leftRootVal = preorder[preStart + 1];
        // leftRootVal 在后序遍历数组中的索引
        int index = valToIndex[leftRootVal];
        // 左子树的元素个数
        int leftSize = index - postStart + 1;

        // 先构造出当前根节点
        TreeNode* root = new TreeNode(rootVal);/**<extend up -200><img src="/algo/images/二叉树系列2/8.jpeg"> */
        // 递归构造左右子树
        // 根据左子树的根节点索引和元素个数推导左右子树的索引边界
        root->left = build(preorder, preStart + 1, preStart + leftSize, postorder, postStart, index);
        root->right = build(preorder, preStart + leftSize + 1, preEnd, postorder, index + 1, postEnd - 1);

        return root;
    }
};
# 注意:python 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
# 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

class Solution:
    def __init__(self):
        # 存储 postorder 中值到索引的映射
        self.valToIndex = {}

    def constructFromPrePost(self, preorder: List[int], postorder: List[int]) -> TreeNode:
        for i in range(len(postorder)):
            self.valToIndex[postorder[i]] = i
        return self.build(preorder, 0, len(preorder) - 1, postorder, 0, len(postorder) - 1)

    # 根据 preorder[preStart..preEnd] 和 postorder[postStart..postEnd] 构建二叉树,并返回根节点。
    def build(self, preorder: List[int], preStart: int, preEnd: int, postorder: List[int], postStart: int, postEnd: int) -> TreeNode:
        if preStart > preEnd:
            return None
        if preStart == preEnd:
            return TreeNode(preorder[preStart])

        # root 节点对应的值就是前序遍历数组的第一个元素
        rootVal = preorder[preStart]
        # root.left 的值是前序遍历第二个元素
        # 通过前序和后序遍历构造二叉树的关键在于通过左子树的根节点
        # 确定 preorder 和 postorder 中左右子树的元素区间
        leftRootVal = preorder[preStart + 1]
        # leftRootVal 在后序遍历数组中的索引
        index = self.valToIndex[leftRootVal]
        # 左子树的元素个数
        leftSize = index - postStart + 1

        # 先构造出当前根节点
        root = TreeNode(rootVal)
        # 递归构造左右子树
        # 根据左子树的根节点索引和元素个数推导左右子树的索引边界
        root.left = self.build(preorder, preStart + 1, preStart + leftSize, postorder, postStart, index)
        root.right = self.build(preorder, preStart + leftSize + 1, preEnd, postorder, index + 1, postEnd - 1)

        return root
// 注意:go 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

class Solution {
    // 存储 postorder 中值到索引的映射
    HashMap<Integer, Integer> valToIndex = new HashMap<>();

    public TreeNode constructFromPrePost(int[] preorder, int[] postorder) {
        for (int i = 0; i < postorder.length; i++) {
            valToIndex.put(postorder[i], i);
        }
        return build(preorder, 0, preorder.length - 1,
                    postorder, 0, postorder.length - 1);
    }

    // 定义:根据 preorder[preStart..preEnd] 和 postorder[postStart..postEnd]
    // 构建二叉树,并返回根节点。
    TreeNode build(int[] preorder, int preStart, int preEnd,
                   int[] postorder, int postStart, int postEnd) {
        if (preStart > preEnd) {
            return null;
        }
        if (preStart == preEnd) {
            return new TreeNode(preorder[preStart]);
        }

        // root 节点对应的值就是前序遍历数组的第一个元素
        int rootVal = preorder[preStart];
        // root.left 的值是前序遍历第二个元素
        // 通过前序和后序遍历构造二叉树的关键在于通过左子树的根节点
        // 确定 preorder 和 postorder 中左右子树的元素区间
        int leftRootVal = preorder[preStart + 1];
        // leftRootVal 在后序遍历数组中的索引
        int index = valToIndex.get(leftRootVal);
        // 左子树的元素个数
        int leftSize = index - postStart + 1;

        // 先构造出当前根节点
        TreeNode root = new TreeNode(rootVal);/**<extend up -320><img src="/algo/images/二叉树系列2/8.jpeg"> */
        // 递归构造左右子树
        // 根据左子树的根节点索引和元素个数推导左右子树的索引边界
        root.left = build(preorder, preStart + 1, preStart + leftSize,
                postorder, postStart, index);
        root.right = build(preorder, preStart + leftSize + 1, preEnd,
                postorder, index + 1, postEnd - 1);

        return root;
    }
}
// 注意:javascript 代码由 chatGPT🤖 根据我的 java 代码翻译,旨在帮助不同背景的读者理解算法逻辑。
// 本代码还未经过力扣测试,仅供参考,如有疑惑,可以参照我写的 java 代码对比查看。

var constructFromPrePost = function(preorder, postorder) {
    // 存储 postorder 中值到索引的映射
    var valToIndex = new Map();
    for (var i = 0; i < postorder.length; i++) {
        valToIndex.set(postorder[i], i);
    }
    return build(preorder, 0, preorder.length - 1,
                postorder, 0, postorder.length - 1, valToIndex);
};

// 定义:根据 preorder[preStart..preEnd] 和 postorder[postStart..postEnd]
// 构建二叉树,并返回根节点。
var build = function(preorder, preStart, preEnd,
               postorder, postStart, postEnd, valToIndex) {
    if (preStart > preEnd) {
        return null;
    }
    if (preStart === preEnd) {
        return new TreeNode(preorder[preStart]);
    }

    // root 节点对应的值就是前序遍历数组的第一个元素
    var rootVal = preorder[preStart];
    // root.left 的值是前序遍历第二个元素
    // 通过前序和后序遍历构造二叉树的关键在于通过左子树的根节点
    // 确定 preorder 和 postorder 中左右子树的元素区间
    var leftRootVal = preorder[preStart + 1];
    // leftRootVal 在后序遍历数组中的索引
    var index = valToIndex.get(leftRootVal);
    // 左子树的元素个数
    var leftSize = index - postStart + 1;

    // 先构造出当前根节点
    var root = new TreeNode(rootVal);/**<extend up -200><img src="/algo/images/二叉树系列2/8.jpeg"> */

    // 递归构造左右子树
    // 根据左子树的根节点索引和元素个数推导左右子树的索引边界
    root.left = build(preorder, preStart + 1, preStart + leftSize,
            postorder, postStart, index, valToIndex);
    root.right = build(preorder, preStart + leftSize + 1, preEnd,
            postorder, index + 1, postEnd - 1, valToIndex);

    return root;
};

🌈 代码可视化动画 🌈

代码和前两道题非常类似,我们可以看着代码思考一下,为什么通过前序遍历和后序遍历结果还原的二叉树可能不唯一呢?

关键在这一句:

int leftRootVal = preorder[preStart + 1];

我们假设前序遍历的第二个元素是左子树的根节点,但实际上左子树有可能是空指针,那么这个元素就应该是右子树的根节点。由于这里无法确切进行判断,所以导致了最终答案的不唯一。

至此,通过前序和后序遍历结果还原二叉树的问题也解决了。

最后呼应下前文,二叉树的构造问题一般都是使用「分解问题」的思路:构造整棵树 = 根节点 + 构造左子树 + 构造右子树。先找出根节点,然后根据根节点的值找到左右子树的元素,进而递归构建出左右子树。

现在你是否明白其中的玄妙了呢?

接下来可阅读:


引用本文的题目

安装 我的 Chrome 刷题插件 点开下列题目可直接查看解题思路:

LeetCode 力扣
1008. Construct Binary Search Tree from Preorder Traversal 1008. 前序遍历构造二叉搜索树
- 剑指 Offer 07. 重建二叉树
- 剑指 Offer 33. 二叉搜索树的后序遍历序列

引用本文的文章

_____________

《labuladong 的算法小抄》已经出版,关注公众号查看详情;后台回复关键词「进群」可加入算法群;回复「全家桶」可下载配套 PDF 和刷题全家桶

共同维护高质量学习环境,评论礼仪见这里,违者直接拉黑不解释