仅凭后序遍历序列无法唯一确定二叉树结构；必须额外约定树的形态（如完全二叉树）才能实现确定性重建，进而得到唯一的先序遍历结果。
仅凭后序遍历序列无法唯一确定二叉树结构；必须额外约定树的形态（如完全二叉树）才能实现确定性重建，进而得到唯一的先序遍历结果。
在二叉树遍历中，后序遍历（left–right–root）本身不包含足够的结构信息来唯一还原树形。给定序列 [3, 2, 1, 6, 5, 4, 9, 11, 10, 8, 7]，虽然最后一个元素 7 必为整棵树的根节点，但仅凭此无法判断左子树与右子树的边界——因为后序序列中左右子树的节点是连续混排的，且无分隔标记。
要使重建过程具有确定性，必须引入额外约束条件。最常见的合理假设是：该树为完全二叉树（Complete Binary Tree），即除最后一层外，其余层均被完全填满，且最后一层节点尽可能靠左对齐。这一假设赋予了树固定的拓扑结构（仅由节点总数决定），从而可将后序序列按位置映射到固定形状的节点上。
对于 11 个节点的完全二叉树，其标准层序索引结构如下（以 1-based 数组表示）：
层级 1: [1] 层级 2: [2, 3] 层级 3: [4, 5, 6, 7] 层级 4: [8, 9, 10, 11] → 实际只用前 3 个：[8, 9, 10]
对应数组索引（0-based）位置关系满足：
- 根节点索引 = 0
- 左子节点索引 = 2*i + 1
- 右子节点索引 = 2*i + 2
但注意：我们不是用索引构造，而是用后序遍历的“访问顺序”反向填充节点值。
✅ 正确重建步骤如下：
- 确定树形：11 节点完全二叉树的结构固定（共 4 层，叶节点位于第 4 层左侧）；
- 模拟后序遍历路径：对上述固定结构执行后序遍历，记录各节点被访问的顺序编号（1~11）；
- 值映射：将给定后序序列按访问顺序一一填入对应位置；
- 输出先序遍历：对已赋值的树执行先序遍历（root–left–right）。
以标准完全二叉树结构为例，其后序访问序列为（节点编号，非值）：
[8, 9, 4, 10, 5, 2, 11, 6, 3, 1, 0] ← 0-based 索引顺序
对应值填充（后序序列 [3,2,1,6,5,4,9,11,10,8,7]）：
- 索引 8 → 值 3
- 索引 9 → 值 2
- 索引 4 → 值 1
- …
- 索引 0（根）→ 值 7
最终得到的树结构为：
7
/ \
9 8
/ \ / \
1 4 11 10
/ \ / \
3 2 6 5
对其执行先序遍历，结果为：
[7, 9, 1, 3, 2, 4, 6, 5, 8, 11, 10]
⚠️ 注意事项：
- 若未声明树形假设（如完全二叉树、BST、平衡树等），则存在无穷多种合法二叉树满足同一后序序列，对应不同的先序结果；
- 提问者原构造的树（如 4 为 7 的左子、8 为右子，但后续分支不符合完全二叉树结构）属于无效假设，导致 preorder 错误；
- 若题目隐含“二叉搜索树（BST）”前提，则可用中序（升序）+ 后序联合重建——但本题未提供中序，故不可行；
- 实际编程中，可通过递归+区间划分实现（需配合 inorder 或明确分割逻辑），但纯后序无法自洽分割左右子树。
总结：后序遍历单独存在时，本质是欠定问题；唯有附加结构性约束（如完全二叉树、BST、或给出中序），才能获得唯一解。 掌握这一前提，是避免盲目构造的关键。
