如果给定的键key小于二叉查找树的根节点的键,那么小于等于key的最大键floor(key)一定在根节点的左子树中;如果给定的键key大于二叉查找树的根节点,那么只有当根节点右子树中存在小于等于key的节点时,小于等于key的最大键才会出现在右子树中,否则根节点就是小于等于key的最大键。
/*在以Node为根节点的树中查找小于等于key的最大键(向下取整)*/
Node floor(Node x,Key key)
{
if(x == null) return null;//该树中不存在满足条件的键值
int cmp = key.compareTo(x.key);//将key和当前树的根节点进行比较
if(cmp == 0) return x;//如果相等,那么根节点就是要找的值
if(cmp < 0) return floor(x.left,key);//如果key比根节点小,那么查找左子树
Node t = floor(x.right,key);//如果key比根节点大,那么查找右子树
if(t != null) return t;//如果在右子树中找到了满足条件的值就返回
else return x;//如果右子树中的值都比key大,那么根节点就是要找的值
}
注意书中的rank()和select()算法也是用类似思想实现的递归。