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