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

グラフ理論の問題

難易度 2教科書の演習問題レベル大学数学 グラフ理論

頂点集合を とし、相異なる 2 頂点 を、一方が他方を割り切るときに限り辺で結んだ単純無向グラフを とする(たとえば は辺であり、 は辺ではない)。

のすべての辺を、どの 2 本の道も辺を共有しないような何本かの道に分ける。各辺はちょうど 1 本の道に含まれるようにする。ここで「道」とは、同じ辺を 2 度通らない歩道のことである。頂点は何度通ってもよく、始点と終点は一致してもしなくてもよい。

このように分けるとき、必要な道の本数の最小値を求めよ。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. グラフの次数と握手補題
  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。

この問題の確認

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

間違いを報告する

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

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

関連する問題