max-flow と min-cut の間の有名な二重性が実際に無限の値の容量を許容するかどうか疑問に思っています。これはそうではないように見える簡単な例です:
ソース s、シンク t、その他 5 つのノード a、b、c、d、e
s -> a: 容量 3
s -> b: 3
a -> c: \infty
a -> d: \infty
b -> d: \infty
b -> e: \infty
c -> t: 1
d -> t: 1
e -> t: 4
最大フローは 5 です。ただし、容量が 5 のカットはありません。これは、容量が無限であるため、a、b、c、d、e のすべてがカットの同じセット/半分に属さなければならないためです (そうでない場合は、カット セットの \infty 重量)。