蟻本とかにあるpriority_queueを使ったダイクストラ法の計算量の見積もりがよくわかってなかったので，メモ． 詳しい実装は蟻本を見てもらうとして，問題となるコードは大体以下の通り． while(!que.empty()){ P p = que.top(); que.pop(); // (1) int v = p…