Assertion: tree's height | /r/HasProperty | proportional
Facets:
value: with high probability
type: OTHER
Source sentences:
text: After any sequence of insertions and deletions of keys, the shape of the tree is a random variable with the same probability distribution as a random binary tree; in particular, with high probability its height is proportional to the logarithm of the number of keys, so that each search, insertion, or deletion operation takes logarithmic time to perform.