Assertion: tree | /r/CapableOf | remain balanced
Facets:
value: roughly
type: DEGREE
value: during insertions
type: TEMPORAL
value: during deletions
type: TEMPORAL
Source sentences:
text: Each node stores an extra bit representing color, used to ensure that the tree remains approximately balanced during insertions and deletions.
text: By performing a splay operation on the node of interest after every access, the recently accessed nodes are kept near the root and the tree remains roughly balanced, so that we achieve the desired amortized time bounds.