グラフ理論の問題
頂点集合を とし、相異なる 2 頂点 を、 を で割った余りが のいずれかであるときに限り辺で結んだ単純無向グラフを とする。言い換えると、 が辺で結ばれるのは または のときに限る。 の彩色数 (隣接する頂点が異なる色になるように頂点を塗るのに必要な色の最小数)と、辺彩色数 (端点を共有する辺が異なる色になるように辺を塗るのに必要な色の最小数)を、この順に組 で答えよ。
この問題で使うもの
- グラフの次数と握手補題(説明と入口の問題)
- 頂点彩色と彩色数(説明と入口の問題)
- 辺彩色数とヴィジングの定理(説明と入口の問題)
この問題を解けるようになるまで(11 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
は の補グラフであることに注目し、1 色で塗れる頂点の集合(独立集合)や 1 色で塗れる辺の集合(マッチング)の大きさの上限を考えよう。
ヒント 2
独立集合の大きさは高々 、マッチングの辺数は高々 である。頂点数 、辺数 と比べて必要な色数の下界を出し、上界は具体的な塗り分けやヴィジングの定理で示す。
ヒント 3
で、 という塗り分けがある。辺については から色数の下界が得られる。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
まず の構造を調べる。頂点 と結ばれないのは の 2 頂点だけなので、 はサイクル ()の補グラフである。各頂点の次数は で、辺の数は である。
彩色数 同じ色の頂点の集合は独立集合(どの 2 頂点も辺で結ばれない集合)である。 の独立集合は、 において互いに隣接する頂点からなる集合( のクリーク)である。 には三角形がないので、 の独立集合の大きさは高々 である。よって 色で塗れるなら 、すなわち 。
一方、色クラスを
とすれば、各クラスの 2 頂点は差が なので では結ばれておらず、正しい 色塗り分けになる。したがって 。
辺彩色数 同じ色の辺の集合はマッチング(端点を共有しない辺の集合)である。頂点が 個なので、マッチングの辺の数は高々 である。辺は 本あるから、 色で塗れるなら 、すなわち 。
一方、最大次数は なので、ヴィジングの定理より 。したがって 。
以上より 。
別解
で結ばれる 7 点の閉路 を考えると、 はその補グラフ である。各頂点の次数は 、辺数は である。
【彩色数】 の独立集合は のクリークにあたる。 の最大クリークは辺(2 頂点)なので、 の独立集合の大きさは高々 2 である。よって 7 頂点を塗るには少なくとも 色が必要である。一方、 は各組が の辺または 1 頂点なので の独立集合になっている。これで 4 色で塗れるから 。
【辺彩色数】 の最大次数は 4 なので 。7 頂点では 1 つの色クラス(マッチング)の辺数は高々 である。4 色では高々 辺しか塗れず、辺数 14 に足りない。よって 。ヴィジングの定理より なので 。
検算:5 色なら で辺数と矛盾しない。4 色では で不可能。
答え: