3 articles.
実行可能なフロー、残余辺での増加と取り消し、カットによる上限、フォード・ファルカーソン法の停止条件を解説します。
フロイド–ワーシャル法の全点対最短経路の漸化式を導き、安全なC++実装と到達不能・負閉路の解釈を解説します。
残余ネットワークの到達可能性を使って最大フロー最小カット定理を証明し、小さな例で最適性を確かめます。