グラフ理論の問題
を有限な連結な単純無向グラフとし、各辺 に実数の重み が与えられているとする。全域木の重みをその辺の重みの和で定め、重みが最小の全域木を最小全域木という。
の道 に対し、 に含まれる辺の重みの最大値を と書く。 を の最小全域木とし、 を の相異なる 2 頂点とする。 の中で と を結ぶ(ただ 1 つの)道を とする。このとき、 において と を結ぶ任意の道 に対して
が成り立つことを証明せよ。
なお、木の基本的な性質(頂点数 の木の辺数は であること、木の 2 頂点を結ぶ道はただ 1 つであること、頂点数 で辺数 の連結グラフは木であること)は用いてよい。
この問題で使うもの
- 最小全域木(クラスカル法・プリム法)(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
背理法を使います。 となる道 があったとして、 の辺を 1 本入れ替えてより軽い全域木を作ることを考えます。
ヒント 2
上で重みが最大の辺 を から取り除くと、 は 2 つの成分に分かれ、 と は別々の成分に入ります。
ヒント 3
から への道 は、どこかで 2 つの成分をまたぐ辺 を通ります。その辺の重みと を比べてみましょう。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
背理法として となる道 の存在を仮定し、 上の最大重みの辺 をとっている(1 点)
がちょうど 2 つの連結成分に分かれ、 と が異なる成分に属することを、 が を通ることから示している(3 点)
が 2 つの成分をまたぐ辺 を含み、(したがって )であることを示している(2 点)
が全域木であることを、連結性と辺数 から確かめている(2 点)
の重みが より小さいことから最小性に矛盾させ、結論を述べている(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
背理法で示す。ある - 道 で となるものが存在すると仮定し、 より重みの小さい全域木を作って矛盾を導く。
ステップ 1( から重い辺を取り除く). の辺のうち重みが最大のもの(の 1 つ)を とし、 とする。 から を取り除いたグラフ を考える。 は木なので、 はちょうど 2 つの連結成分 , をもつ。実際、 とすると、 の任意の頂点は の中で への道をもち、その道が を通らなければ で と結ばれ、通るならば の手前までの部分で と結ばれる。また と が で結ばれるとすると、その道と で に閉路ができてしまうので、 と は で結ばれない。よって を含む成分 と を含む成分 のちょうど 2 つに分かれ、, はそれぞれ木(閉路をもたない連結グラフ)である。
ステップ 2(, としてよいこと). は を含み、 の道なので を 1 回だけ通る。 の から の手前までの部分は の道なので、 は の一方の端点と同じ成分にある。 の後から までの部分も の道なので、 は のもう一方の端点と同じ成分にある。よって と は異なる成分に属し、必要なら の名前を入れ替えて , としてよい。
ステップ 3( の中に と をまたぐ辺がある). を から へたどると、 の頂点から始まり の頂点で終わる。(頂点集合として)なので、 のどこかに、一方の端点が 、もう一方が にある辺 が存在する( の頂点を順に見て、初めて に入る頂点とその直前の頂点を結ぶ辺をとればよい)。背理法の仮定より であり、特に である。
ステップ 4(より軽い全域木を作る). とする。 は と同じ頂点集合 をもち、辺数は と同じ である。, はそれぞれ連結で、 は の頂点と の頂点を結ぶので、 は連結である。頂点数 で辺数 の連結グラフは木なので、 は の全域木である。その重みは
となり、 が最小全域木であることに反する。
よって仮定は誤りであり、 の任意の - 道 について が成り立つ。