グラフ理論の問題
頂点集合を とし、辺集合 を次の 本の辺からなるものとする単純無向グラフ を考える( は完全グラフ から辺 を除いたグラフである)。
の辺彩色数 を求めよ。ただし、辺彩色とは、共通の端点をもつ 2 本の辺が異なる色になるように各辺に色を塗ることであり、辺彩色数とはそれに必要な色の数の最小値である。
この問題で使うもの
- 辺彩色数とヴィジングの定理(説明と入口の問題)
この問題を解けるようになるまで(10 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
辺彩色数とヴィジングの定理 を使い、さらに「各色の辺はマッチングになる」ことから下界を作りましょう。
ヒント 2
頂点数が なので、1 色で塗れる辺(マッチング)は高々 本です。 を考えましょう。
ヒント 3
なので 。また 、 より です。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
手順 1:最大次数 を求める。
各頂点の次数は
なので である。ヴィジングの定理より
手順 2:マッチングを使った下からの評価。
辺彩色で同じ色に塗られた辺どうしは端点を共有しないので、各色の辺の集合はマッチングになる。マッチングに含まれる辺は互いに端点を共有しないから、頂点が 個のグラフでは 1 つのマッチングに含まれる辺は 本以下である。よって最大マッチングの大きさは (実際 がマッチングなので )。
色が 色なら、塗れる辺は高々 本なので 、すなわち
は整数なので である。
手順 3:上下の評価を合わせる。
ヴィジングの定理の上界 と合わせて
(確認として、実際に 5 色で塗る例を挙げる。色 a: 、色 b: 、色 c: 、色 d: 、色 e: 。どの色も端点を共有しない。)
したがって答えは である。
別解
最大次数は頂点 1,2,3 の次数 4 なので である。しかし 5 頂点のグラフでは、同じ色の辺は互いに端点を共有しないので、1 つの色の辺は高々 本である。辺は 9 本あるので、色数を とすると より 。よって 。
一方、 は の部分グラフであり、 は 5 本の色で辺彩色できる。具体例は、頂点を とし辺 を色 で塗る方法である。同じ頂点 に接する辺 と は なら色が異なるので、これは正しい辺彩色になる。この塗り方を に制限すれば 5 色で塗れる。(ヴィジングの定理 からも分かる。)
したがって 。