概要 社内の勉強会でダイクストラ法（dijkstra）とベルマンフォード法（bellman-ford）の紹介をしました。その際にアルゴリズムの証明を色々調べていましたが、解説されている記事があまり多くないことに気づきました。 「なぜそうなるの？」という部分は個…