可以使用 Morris 算法进行后序遍历

Morris 算法是一种不依靠栈或队列的二叉树遍历方法，可以用来进行前序、中序和后序遍历。在 Morris 算法中，每个节点最多被访问两次，时间复杂度为 O(n)，空间复杂度为 O(1)。

Morris 后序遍历算法

在 Morris 后序遍历算法中，需要使用一个指针 p 指向当前节点，以及一个虚拟节点 dummy 指向当前节点的左子树的最右节点。具体步骤如下：

1. 将指针 p 指向根节点。
2. 如果 p 的左子节点为空，将 p 移动到其右子节点。
3. 否则，将 dummy 移动到 p 的左子树的最右节点，如果 dummy 的右子节点为空，将其指向 p，然后将 p 移动到其左子节点。
4. 如果 dummy 的右子节点指向了 p，说明已经遍历完了该节点的左子树，需要将其右子节点到 p 这段路径上的所有节点逆序输出，然后将 dummy 的右子节点重新置空，将 p 移动到其右子节点。
5. 重复步骤 2~4，直到 p 为空。

Morris 后序遍历算法的 Python 实现代码如下（参考 LeetCode 题目 145）：

class Solution:
    def postorderTraversal(self, root: TreeNode) -> List[int]:
        res = []
        dummy = TreeNode(0)
        dummy.left = root
        p = dummy
        while p:
            if not p.left:
                p = p.right
            else:
                pre = p.left
                while pre.right and pre.right != p:
                    pre = pre.right
                if not pre.right:
                    pre.right = p
                    p = p.left
                else:
                    pre.right = None
                    self.reverseOutput(p.left, res)
                    p = p.right
        return res

    def reverseOutput(self, node, res):
        tail = None
        while node:
            next_node = node.right
            node.right = tail
            tail = node
            node = next_node
        while tail:
            res.append(tail.val)
            tail = tail.right

使用 Morris 后序遍历算法的注意事项

在使用 Morris 后序遍历算法时，需要注意以下几点：

• 虚拟节点 dummy 对应的实际上是根节点的左子树，因此在最终输出时需要舍弃 dummy 节点。
• 在逆序输出节点路径时，需要保证其顺序，因此可以使用链表的反转操作实现。