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

グラフ理論の問題

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

を有限な連結な単純無向グラフとし、各辺 に実数の重み が与えられているとする。全域木の重みをその辺の重みの和で定め、重みが最小の全域木を最小全域木という。

の道 に対し、 に含まれる辺の重みの最大値を と書く。 を の最小全域木とし、 を の相異なる 2 頂点とする。 の中で と を結ぶ(ただ 1 つの)道を とする。このとき、 において と を結ぶ任意の道 に対して

が成り立つことを証明せよ。

なお、木の基本的な性質(頂点数 の木の辺数は であること、木の 2 頂点を結ぶ道はただ 1 つであること、頂点数 で辺数 の連結グラフは木であること)は用いてよい。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. グラフの次数と握手補題
  7. 最小全域木(クラスカル法・プリム法)

ヒント

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

ヒント 1

背理法を使います。 となる道 があったとして、 の辺を 1 本入れ替えてより軽い全域木を作ることを考えます。

ヒント 2

上で重みが最大の辺 を から取り除くと、 は 2 つの成分に分かれ、 と は別々の成分に入ります。

ヒント 3

から への道 は、どこかで 2 つの成分をまたぐ辺 を通ります。その辺の重みと を比べてみましょう。

採点の観点と模範解答

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

採点の観点を見る
  • 背理法として となる道 の存在を仮定し、 上の最大重みの辺 をとっている(1 点)

  • がちょうど 2 つの連結成分に分かれ、 と が異なる成分に属することを、 が を通ることから示している(3 点)

  • が 2 つの成分をまたぐ辺 を含み、(したがって )であることを示している(2 点)

  • が全域木であることを、連結性と辺数 から確かめている(2 点)

  • の重みが より小さいことから最小性に矛盾させ、結論を述べている(2 点)

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

背理法で示す。ある - 道 で となるものが存在すると仮定し、 より重みの小さい全域木を作って矛盾を導く。

ステップ 1( から重い辺を取り除く). の辺のうち重みが最大のもの(の 1 つ)を とし、 とする。 から を取り除いたグラフ を考える。 は木なので、 はちょうど 2 つの連結成分 , をもつ。実際、 とすると、 の任意の頂点は の中で への道をもち、その道が を通らなければ で と結ばれ、通るならば の手前までの部分で と結ばれる。また と が で結ばれるとすると、その道と で に閉路ができてしまうので、 と は で結ばれない。よって を含む成分 と を含む成分 のちょうど 2 つに分かれ、, はそれぞれ木(閉路をもたない連結グラフ)である。

ステップ 2(, としてよいこと). は を含み、 の道なので を 1 回だけ通る。 の から の手前までの部分は の道なので、 は の一方の端点と同じ成分にある。 の後から までの部分も の道なので、 は のもう一方の端点と同じ成分にある。よって と は異なる成分に属し、必要なら の名前を入れ替えて , としてよい。

ステップ 3( の中に と をまたぐ辺がある). を から へたどると、 の頂点から始まり の頂点で終わる。(頂点集合として)なので、 のどこかに、一方の端点が 、もう一方が にある辺 が存在する( の頂点を順に見て、初めて に入る頂点とその直前の頂点を結ぶ辺をとればよい)。背理法の仮定より であり、特に である。

ステップ 4(より軽い全域木を作る). とする。 は と同じ頂点集合 をもち、辺数は と同じ である。, はそれぞれ連結で、 は の頂点と の頂点を結ぶので、 は連結である。頂点数 で辺数 の連結グラフは木なので、 は の全域木である。その重みは

となり、 が最小全域木であることに反する。

よって仮定は誤りであり、 の任意の - 道 について が成り立つ。

この問題の確認

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

間違いを報告する

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

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

関連する問題