|
| 1 | +/** |
| 2 | + * [99] Recover Binary Search Tree |
| 3 | + * |
| 4 | + * Two elements of a binary search tree (BST) are swapped by mistake. |
| 5 | + * |
| 6 | + * Recover the tree without changing its structure. |
| 7 | + * |
| 8 | + * Example 1: |
| 9 | + * |
| 10 | + * |
| 11 | + * Input: [1,3,null,null,2] |
| 12 | + * |
| 13 | + * 1 |
| 14 | + * / |
| 15 | + * 3 |
| 16 | + * \ |
| 17 | + * 2 |
| 18 | + * |
| 19 | + * Output: [3,1,null,null,2] |
| 20 | + * |
| 21 | + * 3 |
| 22 | + * / |
| 23 | + * 1 |
| 24 | + * \ |
| 25 | + * 2 |
| 26 | + * |
| 27 | + * |
| 28 | + * Example 2: |
| 29 | + * |
| 30 | + * |
| 31 | + * Input: [3,1,4,null,null,2] |
| 32 | + * |
| 33 | + * 3 |
| 34 | + * / \ |
| 35 | + * 1 4 |
| 36 | + * / |
| 37 | + * 2 |
| 38 | + * |
| 39 | + * Output: [2,1,4,null,null,3] |
| 40 | + * |
| 41 | + * 2 |
| 42 | + * / \ |
| 43 | + * 1 4 |
| 44 | + * / |
| 45 | + * 3 |
| 46 | + * |
| 47 | + * |
| 48 | + * Follow up: |
| 49 | + * |
| 50 | + * |
| 51 | + * A solution using O(n) space is pretty straight forward. |
| 52 | + * Could you devise a constant space solution? |
| 53 | + * |
| 54 | + * |
| 55 | + */ |
| 56 | +pub struct Solution {} |
| 57 | + |
| 58 | +use super::util::tree::{TreeNode, to_tree}; |
| 59 | + |
| 60 | +// submission codes start here |
| 61 | + |
| 62 | +/* |
| 63 | +基本思路: 对 root, 收集左右两侧的节点值: |
| 64 | +
|
| 65 | + - 右侧有值小于 root, 左侧有值大于 root: 交换这两个值 |
| 66 | + - 一侧有值不合法, 另一侧合法: 交换不合法的值与 root |
| 67 | + - 两侧都合法: 递归对左右子树进行上述操作 |
| 68 | +
|
| 69 | +直接使用上述思路会重复迭代子树, 因此可以先用一次中序遍历, 将值的分布记录在数组中, 之后可以用 O(1) 的时间得到某个 node 两侧的值分布 |
| 70 | +
|
| 71 | +这种办法的时间空间复杂度都是 O(N) |
| 72 | +
|
| 73 | +原题中的 follow up 部分提出可以想一个常数空间复杂度的算法, 因此可以继续优化. |
| 74 | +
|
| 75 | +最开始的办法会重复迭代子树是因为 Top-down, 可以尝试一下 Bottom-up 能不能解决问题: |
| 76 | +
|
| 77 | +- 后序遍历递归校验每个 node 是否合法 |
| 78 | +- 假如 node 合法, 那么只需要把这个子树中的最大值和最小值返回到上一个层级来帮助判断上一个层级的子树是否合法即可, 无需记录这个子树的所有值 |
| 79 | +- 假如 node 不合法, 按最开始的办法进行处理, 除非... |
| 80 | +- 只有一侧值不合法, 这时候由于是 Bottom-up, 不能直接交换不合法的值与 root, 而要判断交换后能否合法(Top-down 的办法中由于题目给定了有且仅有 swap 一次, 因此与 root 交换必然是合法的) |
| 81 | +
|
| 82 | +这个办法时间复杂度 O(N), 空间 O(1). 题解就用 Bottom-up 来写. |
| 83 | + */ |
| 84 | +use std::rc::Rc; |
| 85 | +use std::cell::RefCell; |
| 86 | +impl Solution { |
| 87 | + pub fn recover_tree(root: &mut Option<Rc<RefCell<TreeNode>>>) { |
| 88 | + Solution::recover_helper(root.as_ref()); |
| 89 | + } |
| 90 | + |
| 91 | + fn recover_helper(root: Option<&Rc<RefCell<TreeNode>>>) |
| 92 | + -> (Option<Rc<RefCell<TreeNode>>>, Option<Rc<RefCell<TreeNode>>>, bool) { |
| 93 | + if let Some(node) = root { |
| 94 | + let (l_min, l_max, l_flag) = Solution::recover_helper(node.borrow().left.as_ref()); |
| 95 | + let (r_min, r_max, r_flag) = Solution::recover_helper(node.borrow().right.as_ref()); |
| 96 | + // we've already find a swap, return quickly |
| 97 | + if l_flag || r_flag { |
| 98 | + return (None, None, true); |
| 99 | + } |
| 100 | + let root_val = node.borrow().val; |
| 101 | + let l_err = l_max.as_ref().map_or(false, |v| v.borrow().val > root_val); |
| 102 | + let r_err = r_min.as_ref().map_or(false, |v| v.borrow().val < root_val); |
| 103 | + // invalid sub-tree found, do swap |
| 104 | + if l_err || r_err { |
| 105 | + if l_err && r_err { |
| 106 | + |
| 107 | + } else if l_err { |
| 108 | + std::mem::swap(&mut l_max.unwrap().borrow_mut().val, &mut node.borrow_mut().val); |
| 109 | + } else if r_err { |
| 110 | + std::mem::swap(&mut r_min.unwrap().borrow_mut().val, &mut node.borrow_mut().val) |
| 111 | + } |
| 112 | + return (None, None, true); |
| 113 | + } |
| 114 | + (if l_min.is_some() { l_min } else { Some(node.clone()) }, |
| 115 | + if r_max.is_some() { r_max } else { Some(node.clone()) }, |
| 116 | + false) |
| 117 | + } else { |
| 118 | + (None, None, false) |
| 119 | + } |
| 120 | + } |
| 121 | +} |
| 122 | + |
| 123 | +// submission codes end |
| 124 | + |
| 125 | +#[cfg(test)] |
| 126 | +mod tests { |
| 127 | + use super::*; |
| 128 | + |
| 129 | + #[test] |
| 130 | + fn test_99() { |
| 131 | + let mut tree = tree![3,1,4,null,null,2]; |
| 132 | + Solution::recover_tree(&mut tree); |
| 133 | + assert_eq!(tree, tree![2,1,4,null,null,3]); |
| 134 | + |
| 135 | + let mut tree = tree![2,6,5,null,null,3,1,null,4]; |
| 136 | + Solution::recover_tree(&mut tree); |
| 137 | + assert_eq!(tree, tree![2,1,5,null,null,3,6,null,4]); |
| 138 | + } |
| 139 | +} |
0 commit comments