标签： binary-search-tree
鉴于大小为n的平衡BST，对于树中的任何顶点v，我们最多可以比较O(lg n)次以找到其后继。
n
v
O(lg n)
这是正确的，因为后继者要么是v的右子树的最小值，要么是v的第一祖先，大于v，并且无论哪种情况最多只需要O(lg n)。
O(lg n)
现在我在想如果问题稍微改变怎么办：
给出大小为n的 balanced BST （可能不平衡！），对于树中的任何顶点v，我们都可以比较最多O(lg n)次以找到其后继者。
现在不太确定。直觉上应该是错误的，但不能想到反例。有想法吗？