we want to store a subset S⊆US\subseteq\mathcal US⊆U
analysis of Dijkstra using heap
single rotation – we rotate a non-root node uuu with its parent ppp
uuu becomes a parent of ppp
idea: whenever we access an element, we move it to the root
splay trees