竟然甩给我一道算法题做,太可恶了嘤嘤嘤。
题目链接
LeetCode 99. 恢复二叉搜索树[1]
题目描述
二叉搜索树中的两个节点被错误地交换。
请在不改变其结构的情况下,恢复这棵树。
示例1
输入: [1,3,null,null,2] 1 / 3 \ 2 输出: [3,1,null,null,2] 3 / 1 \ 2
示例2
输入: [3,1,4,null,null,2] 3 / \ 1 4 / 2 输出: [2,1,4,null,null,3] 2 / \ 1 4 / 3
进阶:
- 使用 空间复杂度的解法很容易实现。
- 你能想出一个只使用常数空间的解决方案吗?
题解
先不考虑空间复杂度,因为二叉搜索树的中序遍历是单调递增的,所以我们只需要求出它的中序遍历。然后两个结点被调换过位置,等价于递增序列中两个数调换了位置。那么我们只需要找出序列中第一个逆序对(前一个数)和最后一个逆序对(后一个数)就行了,然后换回它俩的位置。
但是中序遍历无论使用递归实现还是栈实现,空间复杂度都是树的高度,不是常数。
想一下为什么我们需要用递归或者栈来实现中序遍历?因为从根结点开始进入左子树之后,遍历完了左子树还需要回到根结点,然后再进入右子树继续遍历。但是如果你没有栈,你就没法从左子树回到根结点了,因为左子树中没有结点能指到根结点。
我们需要解决的就是这个问题,这里我们引入 Morris 遍历算法。
下图是一个二叉搜索树例子:
我们用递归来做中序遍历,访问结点的顺序是 4212346567
(这个序列就是 Morris 遍历得到的序列)。注意到非叶子结点 246
会被访问两次,第一次是作为根结点进入左子树,第二次是递归返回了,中序遍历到自己了。
那么不用递归或者栈,我们怎么在第二次成功返回根结点呢?注意到叶子结点的左右儿子都是空的,所以可以利用它们来指向根结点。
用结点 4
举个例子。首先访问 4
,然后遍历它的左子树。左子树的最后一个遍历的结点是 3
,那么我们就把 3
的右儿子指向根结点 4
。这样遍历完左子树之后,还能通过 3
的右儿子回到根结点 4
,接着继续遍历右子树。
所以在第一次访问根结点时,首先要找出它左子树中最右边的那个叶子结点,把它的右儿子指向根结点。然后才能放心地递归遍历左子树,不用担心回不去啦。
具体实现的时候还有一些细节,看代码更好理解,我都写在注释里面了。
代码
c++
/** * Definition for a binary tree node. * struct TreeNode { * int val; * TreeNode *left; * TreeNode *right; * TreeNode(int x) : val(x), left(NULL), right(NULL) {} * }; */ class Solution { public: void recoverTree(TreeNode* root) { TreeNode *x = NULL, *y = NULL, *pre = NULL, *rightmost = NULL; while (root) { // 如果有左子树,就递归遍历左子树。 if (root->left) { rightmost = root->left; // 找出左子树的最右边一个叶子结点 while (rightmost->right && rightmost->right != root) { rightmost = rightmost->right; } // 如果左子树最右边的叶子结点的右儿子是空的, // 那就说明根结点是第一次访问,那么就把它的右儿子指向根结点。 // 然后递归遍历左子树。 if (rightmost->right != root) { rightmost->right = root; root = root->left; // 否则的话说明根结点是第二次访问了, // 那就说明左子树已经递归完毕了, // 那么就判断一下是否存在逆序对。 // 记得把左子树最右叶子结点的右儿子改回空指针。 // 然后递归遍历右子树了。 } else { if (pre && pre->val > root->val) { if (x == NULL) x = pre; y = root; } rightmost->right = NULL; pre = root; root = root->right; } // 如果没有左子树,那就直接遍历右子树,同时判断是否存在逆序对。 } else { if (pre && pre->val > root->val) { if (x == NULL) x = pre; y = root; } pre = root; root = root->right; } } swap(x->val, y->val); } };