優先度付きキュー
java.util.PriorityQueue が標準クラスライブラリにあり、二分ヒープで実装されている。
Java 8 現在、計算量は以下の通り。優先度の変更は API が無いので 先頭以外の削除 → 追加 で実装できるが、先頭以外の削除が一般的な二分ヒープよりも計算量が多いことに注意。ダイクストラ法などで使う場合は違う実装を使った方が良い。