グラフ理論の問題
各部集合がちょうど 個の頂点からなる完全 部グラフを とする。すなわち は、頂点集合 ( は互いに素で、それぞれ 個の頂点からなる)をもち、異なる部集合に属する 2 頂点はすべて辺で結ばれ、同じ部集合に属する 2 頂点は辺で結ばれない単純グラフである。
の彩色数 と辺彩色数 を求め、組 の形で答えよ。ここで辺彩色数とは、端点を共有する 2 辺が異なる色になるように全ての辺を塗るのに必要な色の数の最小値である。
この問題で使うもの
- 頂点彩色と彩色数(説明と入口の問題)
- 辺彩色数とヴィジングの定理(説明と入口の問題)
- グラフの次数と握手補題(説明と入口の問題)
この問題を解けるようになるまで(11 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
彩色数は、部集合ごとに 1 色を使う彩色と、三角形の存在から上下を挟もう。辺彩色数は、最大次数とビジングの定理から候補を 2 つに絞ろう。
ヒント 2
辺彩色で同じ色の辺はマッチングをなす。頂点数が奇数のとき、マッチングの辺の数には上限がある。
ヒント 3
は -正則で辺は 本、頂点数 のグラフのマッチングは高々 本の辺からなる。 色で足りるかを辺の本数で調べよう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
彩色数. の頂点・ の頂点・ の頂点にそれぞれ色 を塗ると、同じ部集合の頂点どうしは隣接しないので正しい彩色になる。よって 。一方、 をとると は互いに隣接し三角形をなすので 。したがって 。
辺彩色数. 各頂点は自分の部集合以外の 頂点と隣接するので、 は -正則で最大次数は 。辺の数は
である。
ビジングの定理より 、すなわち 。
辺彩色において同じ色の辺の集合はマッチング(端点を共有しない辺の集合)である。頂点数が (奇数)なので、マッチングに含まれる辺は高々 本である。したがって 色で辺彩色できるなら
が必要で、、すなわち 。よって 色では辺彩色できず、。
以上より であり、答えは である。
別解
彩色数: 各部集合に 1 色ずつ塗れば 3 色で正しい彩色になる。また は 3 頂点 が互いに隣り合う三角形 を含むので 3 色未満では不可能。よって 。
辺彩色数: 各頂点の次数は (他の 2 つの部集合の頂点 )なので最大次数 、よって 。辺の総数は 。頂点数は (奇数)なので、同じ色の辺の集合(マッチング)は高々 本。したがって 色では高々 本しか塗れず、。ヴィジングの定理により 。よって 。
検算: で矛盾しない。答えは 。