您的定义是正确的(尽管您不一定需要坚持所有键都是不同的),但是您的代码并没有实现定义中的所有条件。具体来说,您不必在每个子树中强制使用最小值和最大值。
这是一个实现您的定义的有效递归解决方案:
boolean check(Node root) { return check(root, INT_MIN, INT_MAX);}boolean check(Node n, int minval, int maxval) { if (n == null) { return true; } return ( n.data >= minval && n.data <= maxval && check(n.left, minval, n.data-1) && check(n.right, n.data+1, maxval) );}请注意,我没有费心检查
n.data-1and中的溢出
n.data+1,这在现实生活中是必须要做的。如果您想允许重复的密钥,只需将其更改为,
n.data而不必担心。



