グラフ理論の問題
頂点集合 と、次の 本の辺からなる単純無向グラフ を考える。
の独立数 (どの 頂点も辺で結ばれていない頂点集合の大きさの最大値)と、最小頂点被覆の大きさ (すべての辺の少なくとも一方の端点を含む頂点集合の大きさの最小値)を、この順に組 で求めよ。
この問題で使うもの
- 最大独立集合と最小頂点被覆(説明と入口の問題)
この問題を解けるようになるまで(7 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
「最大独立集合と最小頂点被覆」の技能を使います。まず を、独立集合を実際に作る(下からの評価)ことと、頂点をクリークで覆う(上からの評価)ことで挟みましょう。
ヒント 2
三角形 と に注目します。独立集合は つのクリークから高々 頂点しか選べません。最後に を使います。
ヒント 3
と分けると がわかります。あとは大きさ の独立集合を つ見つければ が決まります。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
方針: を「下からの評価(独立集合を作る)」と「上からの評価(頂点をクリークで覆う)」で挟み、そのあと を使う。
下からの評価:頂点集合 を考える。, , はどれも に含まれないので、 は独立集合である。よって 。
上からの評価:辺 があるので はクリーク(三角形)、同様に辺 から もクリークである。頂点全体を
と つのクリークに分ける。独立集合はクリークから高々 頂点しか含めない(同じクリークの 頂点は辺で結ばれている)ので、どの独立集合も大きさは 以下である。よって 。
以上より 。
の計算:頂点集合 が独立集合であることと、その補集合 が頂点被覆であることは同値である(辺の両端がともに に入らない 辺の少なくとも一方の端点が に入る)。したがって が成り立ち、
実際、 の補集合 は 本の辺すべての端点を少なくとも つ含む頂点被覆になっている。
答え:
別解
グラフの辺は、三角形 、三角形 、および辺 である。
【独立数】
三角形 からは高々 1 頂点、三角形 からも高々 1 頂点しか選べない。頂点 7 を加えても高々 3 頂点なので、 である。
3 頂点の独立集合の例を探す。 を調べると、辺 、、 はどれも に含まれない。よって独立集合であり、 である。
【最小頂点被覆】
頂点被覆の補集合は独立集合であり、逆も成り立つ。したがって である(Gallai の等式)。
【検算】
が頂点被覆になるか調べる。
- は 1 を含む。
- は 1 を含む。
- は 3 を含む。
- は 4 を含む。
- は 4 を含む。
- は 6 を含む。
- は 3 を含む。
- は 6 を含む。
- は 1 を含む。
すべての辺が被覆されるので、サイズ 4 の頂点被覆が存在する。
よって である。