必要条件を「P←Q」と書くとき、QはPにとって。

最短経路問題で負の枝がない場合に適したアルゴリズムは。