Изменения

Создадим структуру Bootstrapping Priority Queues, которая будет хранить пару из минимального элемента <tex>T_{min}</tex> и приоритетную очередь. Элементами приоритетной очереди будут Bootstrapping Priority Queues упорядоченные по <tex>T_{min}</tex>. Это можно записать так:

<texcode> '''BPQ \left ( T_{min}, PQ \right) ''' = \langle T_{min}'''<int, PQ \left '''('''BPQ \left \langle T_{min}, PQ\right \rangle \right''')\rangle'''>''' </texcode>

Куча из одного элемента будет выглядеть создается так:

<math> \mathrm{create} </math><texcode> '''BPQ''' singleton'(x:'''int''') = BPQ \left \langle : '''return''' <x, null\right \rangle></texcode>