データの規模が大きくなってマージのコストが見過ごせなくなってきたため，少しでも効率を良くするべく，優先順序付きキュー（std::priority_queue）に手をつけてみました．# 最後のマージは並列化できないので深刻な問題です．後，ヒープは実装が楽だから，…