ヒープ
メモリ領域については →
ヒープ領域
「子要素は親要素より常に大きいか等しい(または常に小さいか等しい)」という制約を持つ
木構造
計算量
$ O(1)
で最小値(もしくは最大値)を取り出せる