グラフ理論の問題
頂点集合 と、次の 本の辺からなる辺集合 をもつ単純無向グラフ を考える。
( は完全グラフ から辺 を 1 本だけ取り除いたグラフである。)
の辺彩色数 を求めよ。ただし、辺彩色とは、端点を共有する 2 辺が必ず異なる色になるように各辺に色を塗ることであり、 はそのような彩色に必要な色の数の最小値である。
この問題で使うもの
- 辺彩色数とヴィジングの定理(説明と入口の問題)
この問題を解けるようになるまで(10 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
「辺彩色数とヴィジングの定理」の技能を使う。まず最大次数 を求めてヴィジングの定理 で候補を 2 つに絞ろう。
ヒント 2
同じ色の辺はマッチングになるので が成り立つ。頂点数 のグラフで、マッチングは最大で何本の辺からなるか考えよう。
ヒント 3
なので 。また 、 である。これを下界の式に代入してみよう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
手順 1:最大次数 を求め、ヴィジングの定理で範囲を絞る。
各頂点の次数は
である(頂点 は辺 がない分だけ次数が 小さい)。よって である。ヴィジングの定理より
手順 2:マッチングの評価で下界を上げる。
辺彩色で同じ色を塗った辺どうしは端点を共有しないので、各色の辺の集合はマッチングになる。頂点数が なので、マッチングの辺は互いに端点を共有せず、 本で 頂点を使うから、マッチングの大きさは 以下である(例えば は大きさ のマッチング)。よって 。
色で塗ると、 本の辺が各色 本以下ずつに分かれるので
は整数なので 。
手順 3:結論。
手順 1 の上界 と合わせて 。
(確認:実際に 色で塗れる。色 : 、色 : 、色 : 、色 : 、色 : 。各色の辺は端点を共有しない。)
したがって 。
別解
は から辺 を除いたグラフで、辺数は 、最大次数は (頂点 の次数が 、頂点 の次数が )である。
ヴィジングの定理より なので、 は か である。
色で足りるか調べる。1 つの色が塗られた辺は互いに端点を共有しないので、同色の辺の集合は 1 つのマッチングになる。頂点が 個しかないので、マッチングの大きさは高々 である。よって 色で塗れる辺は高々 本で、辺数 に足りない。したがって である。
ヴィジングの定理より なので、 となる。
検算として、 色での具体的な彩色を示す。
- 色1:
- 色2:
- 色3:
- 色4: は が色2と重複するため使えない。そこで色4: と も色1と重複するので使えない。
そこで の標準的な 色彩色を使い、 を除く。 は各色が大きさ のマッチングとなる 色で塗れる。その色の 1 つに が含まれるので、これを取り除けば の 色彩色が得られる。
以上より 。