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

グラフ理論の問題

難易度 1教科書の例題レベル大学数学 グラフ理論

頂点集合 と、次の 本の辺からなる単純無向グラフ を考える。

の独立数 (どの 頂点も辺で結ばれていない頂点集合の大きさの最大値)と、最小頂点被覆の大きさ (すべての辺の少なくとも一方の端点を含む頂点集合の大きさの最小値)を、この順に組 で求めよ。

この問題で使うもの

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

読み込み中…

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

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. グラフの次数と握手補題
  7. 最大独立集合と最小頂点被覆

ヒント

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

ヒント 1

「最大独立集合と最小頂点被覆」の技能を使います。まず を、独立集合を実際に作る(下からの評価)ことと、頂点をクリークで覆う(上からの評価)ことで挟みましょう。

ヒント 2

三角形 と に注目します。独立集合は つのクリークから高々 頂点しか選べません。最後に を使います。

ヒント 3

と分けると がわかります。あとは大きさ の独立集合を つ見つければ が決まります。

答えと解説

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

方針: を「下からの評価(独立集合を作る)」と「上からの評価(頂点をクリークで覆う)」で挟み、そのあと を使う。

下からの評価:頂点集合 を考える。, , はどれも に含まれないので、 は独立集合である。よって 。

上からの評価:辺 があるので はクリーク(三角形)、同様に辺 から もクリークである。頂点全体を

と つのクリークに分ける。独立集合はクリークから高々 頂点しか含めない(同じクリークの 頂点は辺で結ばれている)ので、どの独立集合も大きさは 以下である。よって 。

以上より 。

の計算:頂点集合 が独立集合であることと、その補集合 が頂点被覆であることは同値である(辺の両端がともに に入らない 辺の少なくとも一方の端点が に入る)。したがって が成り立ち、

実際、 の補集合 は 本の辺すべての端点を少なくとも つ含む頂点被覆になっている。

答え:

別解

グラフの辺は、三角形 、三角形 、および辺 である。

【独立数】
三角形 からは高々 1 頂点、三角形 からも高々 1 頂点しか選べない。頂点 7 を加えても高々 3 頂点なので、 である。

3 頂点の独立集合の例を探す。 を調べると、辺 、、 はどれも に含まれない。よって独立集合であり、 である。

【最小頂点被覆】
頂点被覆の補集合は独立集合であり、逆も成り立つ。したがって である(Gallai の等式)。

【検算】
が頂点被覆になるか調べる。
- は 1 を含む。
- は 1 を含む。
- は 3 を含む。
- は 4 を含む。
- は 4 を含む。
- は 6 を含む。
- は 3 を含む。
- は 6 を含む。
- は 1 を含む。

すべての辺が被覆されるので、サイズ 4 の頂点被覆が存在する。

よって である。

この問題の確認

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

間違いを報告する

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

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

関連する問題