Noun
A
type
of
randomized
binary
search
tree
where
nodes
are
labelled
with
randomly
chosen
priority
values
and
which
is
simultaneously
a
heap
on
those
priorities