グラフ理論の問題
頂点集合を とし、相異なる 2 頂点 を、一方が他方を割り切るときに限り辺で結んだ単純無向グラフを とする(たとえば は辺であり、 は辺ではない)。
のすべての辺を、どの 2 本の道も辺を共有しないような何本かの道に分ける。各辺はちょうど 1 本の道に含まれるようにする。ここで「道」とは、同じ辺を 2 度通らない歩道のことである。頂点は何度通ってもよく、始点と終点は一致してもしなくてもよい。
このように分けるとき、必要な道の本数の最小値を求めよ。
この問題で使うもの
- グラフの次数と握手補題(説明と入口の問題)
- オイラー路・オイラー閉路の判定(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
1 本の道(同じ辺を通らない歩道)では、どの頂点の次数が奇数になりうるかを考えましょう。端点以外の頂点では、「入る辺」と「出る辺」が対になります。
ヒント 2
各頂点の次数を約数と倍数を数えて求め、次数が奇数の頂点の個数を数えましょう。奇数次数の頂点が 個ある連結グラフでは、辺を 本の道に分けられます。
ヒント 3
次数は です。ここから奇数次数の頂点を数えてみましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
各頂点の次数を求める。 頂点 の次数は、「 以下の の約数のうち 以外のものの個数」と「 以下の の倍数のうち 以外のものの個数」の和である。
- ( は他のすべての頂点を割り切る)
- (約数は 、倍数は )
- (約数は 、倍数は )
- (約数は 、倍数は )
- (約数は 、倍数は )
- (約数は 、倍数は )
- (約数は )
- (約数は )
- (約数は )
- (約数は )
- (約数は )
- (約数は )
次数の和は なので、辺は 本ある。次数が奇数の頂点は の 個である。また、頂点 が他のすべての頂点と隣接しているので、 は連結である。
下界。 1 本の道について、その道の辺だけを数えた各頂点の次数を考える。始点と終点が異なる道では、始点と終点だけが奇数になり、ほかの頂点はすべて偶数になる。閉じた道では、すべての頂点で偶数になる。辺を 本の道に分けると、 での各頂点の次数は各道での次数の和になる。したがって、 で次数が奇数の頂点は、いずれかの道の端点でなければならない。 本の道の端点は高々 個なので、、すなわち である。
3 本で実現できること。 奇数次数の 6 頂点を 3 組に分け、各組を結ぶ新しい辺を 1 本ずつ加える(すでにある辺と平行になってもよい)。こうして得られる多重グラフ は連結で、すべての頂点の次数が偶数である。よってオイラーの定理により、 にはオイラー閉路がある。このオイラー閉路から加えた 3 本の辺を取り除くと、閉路は 3 つの部分に切れる。それぞれは の辺だけからなり、同じ辺を 2 度通らない道である。これで の辺が 3 本の道に分けられた。
以上より、求める最小値は である。
別解
G は 1 を通じて連結(1 はすべての頂点と隣接)で、辺を持たない頂点はない。各頂点の次数を数える。
- 1: 11(奇)
- 2: 倍数 4,6,8,10,12 の 5 個と約数 1 の 1 個で 6
- 3: 倍数 6,9,12 と約数 1 で 4
- 4: 倍数 8,12 と約数 1,2 で 4
- 5: 倍数 10 と約数 1 で 2
- 6: 倍数 12 と約数 1,2,3 で 4
- 7: 約数 1 のみで 1(奇)
- 8: 約数 1,2,4 で 3(奇)
- 9: 約数 1,3 で 2
- 10: 約数 1,2,5 で 3(奇)
- 11: 約数 1 のみで 1(奇)
- 12: 約数 1,2,3,4,6 で 5(奇)
次数の総和は 11+6+4+4+2+4+1+3+2+3+1+5=46 で、辺数は 23。これは握手補題と合う。
奇点は 1,7,8,10,11,12 の 6 個。1 本の道(トレイル)は端点が奇点になるので、1 本あたり奇点を高々 2 個しか端点にできない。したがって少なくとも 6/2=3 本は必要。
連結で奇点が 2k 個のグラフは、辺を k 本の辺素なトレイルに分割できることが知られている。実際、奇点を 3 組に分けて、それぞれの組に新しい辺(仮想辺)を加えると全頂点の次数が偶数になり、連結なのでオイラー回路が存在する。この回路から仮想辺 3 本を除くと 3 本のトレイルになる。
よって最小値は 3。