グラフ理論の問題
頂点集合を とし、相異なる 2 頂点 を、 のときに限り辺で結んだ単純グラフを とする( は長さ の閉路 の補グラフである)。
の彩色数(隣り合う頂点が異なる色になるように頂点を塗るのに必要な色の数の最小値)を 、辺彩色数(端点を共有する辺が異なる色になるように辺を塗るのに必要な色の数の最小値)を とする。組 をこの順に求めよ。
この問題で使うもの
- グラフの次数と握手補題(説明と入口の問題)
- 最大独立集合と最小頂点被覆(説明と入口の問題)
- 頂点彩色と彩色数(説明と入口の問題)
- 辺彩色数とヴィジングの定理(説明と入口の問題)
この問題を解けるようになるまで(11 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
が何正則グラフで、辺が何本あるかをまず求めよう。 の独立集合は の何にあたるかを考える。
ヒント 2
彩色数は「各色の頂点集合は独立集合」から 、辺彩色数は「各色の辺の集合はマッチング」と頂点数が奇数であることを使う。
ヒント 3
は 正則で辺は 本、独立数は 。 頂点のグラフのマッチングは高々 本の辺からなる。辺彩色数の上限はヴィジングの定理から得られる。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
基本的な量. 各頂点 は自分自身と 以外の 頂点と隣接するので、 は 正則グラフである。辺の数は
彩色数. の独立集合(どの 2 頂点も隣接しない頂点集合)は、 でどの 2 頂点も隣接する集合、すなわち のクリークである。 は三角形を含まないので、そのクリークの大きさは高々 。したがって の独立数は であり、各色の頂点集合は独立集合なので
一方、 はそれぞれ の独立集合( の辺または 1 点)なので、これらに別々の色を塗れば 色で彩色できる。よって 。
辺彩色数. 最大次数は なので、ヴィジングの定理より 。
各色の辺の集合はマッチングである。頂点数が奇数 なので、1 つのマッチングに含まれる辺は高々 本。 色で塗れたとすると、塗れる辺は高々 本だが、辺は 本あるので矛盾する。よって となり、。
以上より 。
別解
は の補グラフで、各頂点の次数は 、辺数は 。\n\n(彩色数) の独立集合は のクリークに対応する。 は三角形をもたないのでクリークの大きさは高々 2 であり、 の独立集合は高々 2 頂点( の辺または 1 頂点)。9 頂点を色クラスで分けるには少なくとも 色が必要。逆に は各々 の独立集合なので 5 色で塗れる。よって 。\n\n(辺彩色数) 最大次数 なので 。しかし頂点数 9 は奇数なので、1 つの色クラス(マッチング)の辺数は高々 。6 色なら辺は高々 本しか塗れないので不足。よって 。ヴィジングの定理より 。ゆえに 。\n\n検算: 27 辺を 7 色で塗ると で矛盾しない。答えは 。