Недавно я прочитал статью Окасаки и Бродала «Оптимальные чисто функциональные очереди с приоритетом», , который описывает очередь с быстрым приоритетом, основанную на начальной загрузке структуры данных, в которой простая и неэффективная структура данных используется для создания надежной и эффективной структуры. Это кажется действительно красивой теоретической идеей, но пока единственный известный мне пример - это пример из этой статьи.
Есть ли у кого-нибудь другие примеры начальной загрузки структуры данных, которые были бы хорошей отправной точкой для дальнейшего чтения тема?