単元一覧 › 大学数学 グラフ理論

グラフ理論の問題

難易度 3期末試験の応用レベル証明問題大学数学 グラフ理論

を有限集合、 を有向辺の集合とし、各辺 に容量 (実数)が与えられたネットワーク を考える。相異なる 2 頂点 (始点)と (終点)を固定する。

, を満たす部分集合 を - カットといい、その容量を

と定める。容量が最小の - カットを最小カットという。

, がともに最小カットであるとき、 も最小カットであることを証明せよ。

なお、フロー(各辺で を満たし、 以外の各頂点で流入量と流出量が等しい関数 )の値 について、次の 2 つは用いてよい。
- 任意の - カット に対して
- 最大流最小カット定理(最大フローの値は最小カットの容量に等しい)

この問題で使うもの

この問題を解けるようになるまで(8 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. グラフの次数と握手補題
  7. ネットワークと s-t カットの容量
  8. 最大流最小カット定理

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

最大流最小カット定理から最大フロー を 1 つとり、 を示す方針をとります。

ヒント 2

最小カット については、 から出る辺はすべて飽和し()、 に入る辺のフローはすべて です。これをまず示しましょう。

ヒント 3

から出る辺 では または なので、この辺は か から出る辺になっています。入る辺についても同じように考えます。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る
  • 最大流最小カット定理を用いて、値が最小カット容量に等しいフロー をとっている(1 点)

  • 最小カット について、出る辺が飽和し入る辺のフローが 0 であることを、 の評価の等号条件から示している(3 点)

  • が を含み を含まない、つまり - カットであることを確認している(1 点)

  • から出る辺が または から出る辺であり、入る辺が または に入る辺であることを示し、補題を適用している(3 点)

  • 正味流量の等式から を導き、最小カットであると結論している(2 点)

結果を記録する(このブラウザにだけ保存されます):
模範解答を読む

最大フローを 1 つ固定し、最小カットを横切る辺でのフローの振る舞いを調べることで示す。

準備: 最大フローの存在と記号. 最大流最小カット定理より、値が最小カットの容量 に等しいフロー が存在する()。- カット に対し、 から出る辺の集合を 、 に入る辺の集合を と書く。

補題. が最小カットならば、 のすべての辺 で 、 のすべての辺 で である。

(証明)用いてよい等式と、各辺での より

は最小カットなので であり、この不等式は等号で成り立つ。等号が成り立つのは、 かつ のときであり、各項は 以上なので、すべての項が 、すなわち の各辺で 、 の各辺で である。(補題の証明終わり)

が - カットであること. かつ なので 。 なので 。よって は - カットである。

から出る辺はすべて飽和している. とする。 かつ なので、 または である。 のときは より 、 のときは より である。, は最小カットなので、どちらの場合も補題より である。

に入る辺のフローはすべて である. とする。 かつ なので、 または である。 のときは より 、 のときは より である。どちらの場合も補題より である。

結論. 用いてよい等式を に適用すると

は - カットの容量の最小値なので、 より は最小カットである。

(補足)同じ議論で も最小カットであることがわかる。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題