グラフ理論の問題
を有限集合、 を有向辺の集合とし、各辺 に容量 (実数)が与えられたネットワーク を考える。相異なる 2 頂点 (始点)と (終点)を固定する。
, を満たす部分集合 を - カットといい、その容量を
と定める。容量が最小の - カットを最小カットという。
, がともに最小カットであるとき、 も最小カットであることを証明せよ。
なお、フロー(各辺で を満たし、 以外の各頂点で流入量と流出量が等しい関数 )の値 について、次の 2 つは用いてよい。
- 任意の - カット に対して
- 最大流最小カット定理(最大フローの値は最小カットの容量に等しい)
この問題で使うもの
- ネットワークと s-t カットの容量(説明と入口の問題)
- 最大流最小カット定理(説明と入口の問題)
この問題を解けるようになるまで(8 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
最大流最小カット定理から最大フロー を 1 つとり、 を示す方針をとります。
ヒント 2
最小カット については、 から出る辺はすべて飽和し()、 に入る辺のフローはすべて です。これをまず示しましょう。
ヒント 3
から出る辺 では または なので、この辺は か から出る辺になっています。入る辺についても同じように考えます。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
最大流最小カット定理を用いて、値が最小カット容量に等しいフロー をとっている(1 点)
最小カット について、出る辺が飽和し入る辺のフローが 0 であることを、 の評価の等号条件から示している(3 点)
が を含み を含まない、つまり - カットであることを確認している(1 点)
から出る辺が または から出る辺であり、入る辺が または に入る辺であることを示し、補題を適用している(3 点)
正味流量の等式から を導き、最小カットであると結論している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
最大フローを 1 つ固定し、最小カットを横切る辺でのフローの振る舞いを調べることで示す。
準備: 最大フローの存在と記号. 最大流最小カット定理より、値が最小カットの容量 に等しいフロー が存在する()。- カット に対し、 から出る辺の集合を 、 に入る辺の集合を と書く。
補題. が最小カットならば、 のすべての辺 で 、 のすべての辺 で である。
(証明)用いてよい等式と、各辺での より
は最小カットなので であり、この不等式は等号で成り立つ。等号が成り立つのは、 かつ のときであり、各項は 以上なので、すべての項が 、すなわち の各辺で 、 の各辺で である。(補題の証明終わり)
が - カットであること. かつ なので 。 なので 。よって は - カットである。
から出る辺はすべて飽和している. とする。 かつ なので、 または である。 のときは より 、 のときは より である。, は最小カットなので、どちらの場合も補題より である。
に入る辺のフローはすべて である. とする。 かつ なので、 または である。 のときは より 、 のときは より である。どちらの場合も補題より である。
結論. 用いてよい等式を に適用すると
は - カットの容量の最小値なので、 より は最小カットである。
(補足)同じ議論で も最小カットであることがわかる。