Изменения

Более строго, это структура данныхбинарное дерево, которая хранит в узлах которого хранится пары <tex> (x,y) </tex> в виде бинарного дерева таким образом, что она где <tex>x</tex> - это ключ, а <tex>y</tex> - это приоритет. Также оно является бинарным [[Дерево поиска, наивная реализация|двоичным деревом поиска ]] по <tex>x</tex> и бинарной [[Двоичная куча|пирамидой ]] по <tex>y</tex>. Предполагая, что все <tex>x</tex> и все <tex>y</tex> являются различными, получаем, что если некоторый элемент дерева содержит <tex>(x_0,y_0)</tex>, то у всех элементов в левом поддереве <tex>x < x_0</tex>, у всех элементов в правом поддереве <tex> x > x_0</tex>, а также и в левом, и в правом поддереве имеем: <tex> y < y_0</tex>.