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

グラフ理論の問題

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

頂点集合を ( 個の頂点)とし、相異なる 2 頂点 を、 が を割り切るときに限り辺で結んだ単純無向グラフを とする。すなわち の辺は次の 本である。

の最大マッチングの辺数を 、最大独立集合の頂点数を 、最小頂点被覆の頂点数を とする。 をこの順に組 として求めよ。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. グラフの次数と握手補題
  7. 2 部グラフと奇閉路
  8. 最大独立集合と最小頂点被覆
  9. 最大マッチングとケーニヒの定理

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

孤立点(どの頂点とも辺で結ばれていない頂点)に注目し、マッチングに使える頂点数から の上限を考えましょう。独立集合については、頂点を「三角形・辺・1 点」に分けて上限を評価します。

ヒント 2

独立集合の補集合は頂点被覆になるので、 が成り立ちます。また、 以上の数どうしは割り切る関係にならないことを使いましょう。

ヒント 3

孤立点は なので です。また、 と分けると、独立集合は各部分から高々 1 頂点しか含められません。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

最大マッチング を求める。
頂点 と はどの頂点とも辺で結ばれていない( の中に の約数や 倍以上の倍数がない)。したがって、マッチングに使える頂点は残りの 個 だけである。マッチングの各辺は相異なる 2 頂点を使うので、 となる。
一方、 はどの 2 本も端点を共有しないので、辺数 のマッチングである。よって 。

最大独立集合 を求める。
を考える。 以上 以下の相異なる 2 数では、小さいほうの 倍は 以上で を超えるから、一方が他方を割り切ることはない。よってこの集合は独立集合であり、 である。
逆に、 を次の 個の部分に分ける。

と はそれぞれ三角形(3 頂点のどの 2 つも辺で結ばれている)であり、 は辺である。独立集合はこれらの各部分から高々 個の頂点しか含めないので、 である。よって 。

最小頂点被覆 を求める。
頂点の部分集合 が独立集合であることと、その補集合 が頂点被覆であることは同値である(辺の両端がともに に入らないことと、どの辺も少なくとも一方の端点が に入ることは同じ)。したがって

である。実際、 はすべての辺の少なくとも一方の端点を含む頂点被覆である。

なお、 は三角形を含むので二部グラフではなく、ケーニッヒの定理()は成り立たない。実際 である。

以上より、。

別解

非孤立頂点は の 9 個で、 は孤立頂点である。

最大マッチング : 非孤立頂点が 9 個なので 。マッチング が 4 辺で取れるので、。

最小頂点被覆 : 互いに頂点を共有しない部分グラフとして、三角形 (辺 -, -, -)、三角形 (辺 -, -, -)、辺 を取る。三角形の被覆には 2 頂点ずつ、辺の被覆には 1 頂点が必要なので、。
一方、 が被覆になる。
- 2 を端点とする辺は 2 で覆われる。
- 3 を端点とする辺は 3 で覆われる。
- - は 4 で、- は 4 と 12 で、- は 12 で覆われる。
- - は 5 で覆われる。

よって 。

最大独立集合 : 独立集合の補集合は頂点被覆なので、。
検算として、 は互いに辺で結ばれていない( と 、 と など、どれも割り切らない)。大きさ 6 の独立集合が実際に存在する。

答え:

この問題の確認

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

間違いを報告する

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

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

関連する問題