Robert Sedgewick によるアルゴリズムの第 2 巻を読んでいます。このセクションは、ネットワーク フロー アルゴリズムからのものです。
以下に述べるフロー分解定理とその帰結を理解するのに苦労しています。
流れ分解定理: 任意の循環は、最大で E 個の有向エッジのセットに沿った流れとして表すことができます。
系 1: どの st-network にも maxflow があり、非ゼロフロー値によって誘導されるサブグラフは非循環的です。
系 2: 任意の st-network には、s から t への最大 E 個の有向パスのセットに沿ったフローとして表すことができる maxflow があります。
簡単な例で上記の定理と系を理解するのを手伝ってくれるようお願いします ありがとう!