グラフ理論の問題
頂点集合を ( 個の頂点)とし、相異なる任意の 2 頂点 を辺で結んだ完全グラフ を考える。辺 の重みを と定める。この重みつきグラフの最小全域木の重み(最小全域木に含まれる辺の重みの総和)を求めよ。
この問題で使うもの
- 最小全域木(クラスカル法・プリム法)(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
各頂点に接続する辺の重みの最小値を考え、全域木の重みの下界を作ることを考えよう。全域木を 1 つの頂点を根とする根つき木とみると、根以外の頂点と辺が 1 対 1 に対応する。
ヒント 2
である。合成数 では真の約数と結べば重み が実現する。素数 では最小値が になる。
ヒント 3
下界 (合成数 では 、奇素数 では )は、各頂点をそれより小さい頂点(約数または )と結ぶ木で達成される。あとは 以下の合成数の和と奇素数の和を計算すればよい。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
各頂点 について、 に接続する辺の重みの最小値を とおく。
の計算. のとき である。
- が合成数のとき: 以上の真の約数 をもつ。 であり、 となる。よって である。
- が奇素数のとき:, を考える。 ならば なので である。 ならば である。また のとき となる。よって である。
下界. 任意の全域木 を頂点 を根とする根つき木とみる。根以外の各頂点 には、親へ向かう辺 がただ 1 本ある。 は、根以外の 個の頂点と の 本の辺との全単射である。さらに なので、
が成り立つ。
構成. 次のように辺を選ぶ。
- 各合成数 について、 とその真の約数 の 1 つを結ぶ(重み )。
- 各奇素数 について、 と を結ぶ(重み )。
このとき、 以外の各頂点からそれより小さい頂点へ辺がちょうど 1 本出ている。辺は 本で、閉路はない(閉路上で最大の頂点からは、より小さい頂点への辺が 2 本出ることになり矛盾する)。したがってこれは全域木であり、重みは下界 に一致する。よって最小全域木の重みは である。
計算.
- から までの和は である。
- 以下の素数は で、その和は である。
- 合成数の和は である。
- 奇素数の和は なので、その寄与は である。
したがって、最小全域木の重みは である。
別解
クラスカル法で、辺を重み(最小公倍数)の小さい順に見ていく。重み の辺には、 の約数 と を結ぶ辺(重み )が必ず含まれる。それ以外に、 となる約数でない組もある。
の順に、新しく併合される回数(採用される辺の本数)を調べる。
- : をつなぐ。1 本。
- : と が新しく加わる。2 本。
- : 自身だけが新しく加わる。各 1 本。
- : と が新しく加わる。各 2 本。
- : と は 、 を通じてすでに連結しているので、 が加わる 1 本のみ。
重みの合計は
これで採用した辺は 24 本になる。
素数 は 倍が範囲外で、どの頂点とも約数関係にない。それぞれの辺の重みは なので、最小の辺は との辺で、重みは 。合計 。これで全体の辺は 本となり、全域木になる。
以上より、最小全域木の重みは 。
検算:辺の本数が であること、各頂点の接続辺が下限(素数 は 、素数 は )を満たしていることを確認した。