0997デフォルトの名無しさん垢版 | 大砲2020/01/27(月) 12:15:36.42ID:Dkceayzl DAGの単一始点の最短経路問題を解くアルゴリズムとか Bellman - Fordのアルゴリズムとかの正しさの証明が非常 に面白いですね。