1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
| // @lc code=start
// Definition for a binary tree node.
// #[derive(Debug, PartialEq, Eq)]
// pub struct TreeNode {
// pub val: i32,
// pub left: Option<Rc<RefCell<TreeNode>>>,
// pub right: Option<Rc<RefCell<TreeNode>>>,
// }
//
// impl TreeNode {
// #[inline]
// pub fn new(val: i32) -> Self {
// TreeNode {
// val,
// left: None,
// right: None
// }
// }
// }
use std::cell::RefCell;
use std::rc::Rc;
impl Solution {
/// ## 解题思路
/// - 递归
/// 1. bst合法的条件:
/// a. 空树合法;
/// b. 左子树为合法bst && 父节点值>左子树节点值.max();
/// c. 右子树为合法bst && 父节点值<右子树节点值.min();
pub fn is_valid_bst(root: Option<Rc<RefCell<TreeNode>>>) -> bool {
fn is_valid(
root: Option<Rc<RefCell<TreeNode>>>,
upper: Option<i32>,
lower: Option<i32>,
) -> bool {
match root {
None => return true,
Some(root) => {
(lower.is_none() || root.borrow().val > lower.unwrap())
&& (upper.is_none() || root.borrow().val < upper.unwrap())
&& is_valid(
root.borrow().left.clone(),
Some(root.borrow().val),
lower.clone(),
)
&& is_valid(
root.borrow().right.clone(),
upper.clone(),
Some(root.borrow().val),
)
}
}
}
is_valid(root, None, None)
}
}
// @lc code=end
|