二分ヒープ
↑ Priority-Queue Design
↑ さらに深い考察が「ヒープの正体」(たなかともひさ)にある