グラフ理論の問題
次の 4 つの単純無向グラフ を考える。
- :完全 2 部グラフ
- :完全 2 部グラフ
- :頂点集合 、辺集合
- :頂点集合 、辺集合
ここで辺 は頂点 と頂点 を結ぶ辺を表す。ハミルトン閉路(すべての頂点をちょうど 1 回ずつ通って出発点に戻る閉路)をもつグラフ の番号 の集合を求めよ。
この問題で使うもの
- ハミルトン閉路の有無(説明と入口の問題)
この問題を解けるようになるまで(8 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
技能「ハミルトン閉路の有無」を使う。あると思うグラフは閉路を実際に作り、ないと思うグラフは 2 部グラフの部集合の大きさや、頂点を除いたときの連結成分の数で理由をつける。
ヒント 2
2 部グラフのハミルトン閉路は 2 つの部集合を交互に通るので、部集合の大きさが等しくなければならない。また、ハミルトン閉路があるグラフでは、1 個の頂点を除いても連結のままである。
ヒント 3
は という閉路をもつ。 は部集合の大きさが異なる。 は頂点 を除くと 2 つに分かれる。残る は、次数 2 の頂点 は必ず辺 と を使うことに注目して閉路をたどってみよう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
各グラフについて、ハミルトン閉路を実際に作って「ある」ことを示すか、作れない理由を示して「ない」ことを示す。
:部集合を , とする。完全 2 部グラフなので と はすべて隣接している。よって
はすべての頂点をちょうど 1 回ずつ通る閉路であり、ハミルトン閉路をもつ。
:2 部グラフの辺は必ず異なる部集合の頂点を結ぶので、閉路は 2 つの部集合の頂点を交互に通る。したがってハミルトン閉路があれば、2 つの部集合の頂点数は等しくなければならない。しかし部集合の大きさは と で異なる(あるいは、ハミルトン閉路の長さは で奇数だが、2 部グラフは奇数長の閉路をもたない)。よってハミルトン閉路をもたない。
:頂点 を取り除くと、残る辺は と だけになり、グラフは と の つの連結成分に分かれる。一方、ハミルトン閉路があったとすると、その閉路から頂点 を取り除いたものは残りの頂点 をすべて通る 1 本の道になり、 から頂点 を除いたグラフは連結になるはずである。これは矛盾なので、ハミルトン閉路をもたない。
:辺 がすべて辺集合に含まれることを確かめると、
は 6 個の頂点をちょうど 1 回ずつ通る閉路である。よってハミルトン閉路をもつ。
以上より、求める集合は である。
別解
:両側が 3 頂点ずつなので、 とたどれる。これはハミルトン閉路である。
:2 部グラフでハミルトン閉路があれば両側の頂点数は等しい。ところが 2≠3 なので、ハミルトン閉路はない。
:三角形 123 と三角形 345 が頂点 3 だけを共有している。頂点 3 を除くとグラフが非連結になる(切断点)。ハミルトン閉路があれば 3 を除いても連結のままのはずなので、矛盾する。よってハミルトン閉路はない。
:閉路 を考える。使う辺 14, 45, 52, 26, 63, 31 はすべて辺集合に含まれ、6 頂点をちょうど 1 回ずつ通る。よってハミルトン閉路がある。
以上より、答えは 。