頂点集合を とし、辺集合 を次の 本の辺からなるものとする単純無向グラフ を考える。
隣り合う(辺で結ばれた)2 頂点が異なる色になるように の頂点を塗り分けるとき、必要な色の数の最小値、すなわち彩色数 を求めよ。
頂点彩色と彩色数
彩色数 を、上下からの評価を合わせて求められる。上からは彩色を構成して評価し、下からはクリークの大きさ ・・奇閉路で評価する。クネーザーグラフの彩色数は、ロヴァースの定理 ()を引用して求められる
前提
- 2 部グラフと奇閉路 (大学数学 グラフ理論)
- 最大独立集合と最小頂点被覆 (大学数学 グラフ理論)
この技能までの道筋(8 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- グラフの次数と握手補題 (大学数学 グラフ理論)
- 2 部グラフと奇閉路 (大学数学 グラフ理論)
- 最大独立集合と最小頂点被覆 (大学数学 グラフ理論)
説明
グラフの頂点に色を塗り、辺で結ばれた 2 頂点が必ず違う色になるようにする塗り方を「彩色」といいます。使う色の数の最小値が彩色数 です。この技能では、実際に塗って を上から押さえ、クリーク・独立数・奇閉路を使って下から押さえます。両方が一致すれば が決まります。時間割の衝突回避、周波数の割り当て、レジスタ割り当てなど、「ぶつかるもの同士を別のグループに分ける」問題でグループ数の最小値を求めるときに使います。
なぜそうしてよいのか
グラフ の各頂点に色( の番号)を割り当て、どの辺 についても と の色が異なるとき、これを 彩色といいます。 彩色が存在する最小の が彩色数 です。 彩色を 1 つ具体的に作れば、それだけで がいえます。これが上からの評価です。一方、 を示すには「どう塗っても 色では足りない」ことを示す必要があり、そのために次の 3 つの理由を使います。
(1) クリーク:どの 2 頂点も辺で結ばれた頂点集合をクリークといい、その最大の大きさを と書きます。クリーク内の頂点はすべて互いに異なる色にしなければならないので、 です。(2) 独立数:同じ色の頂点同士は辺で結ばれないので、1 つの色の頂点の集まり(色クラス)は独立集合です。したがって各色クラスの大きさは 以下です。 個の色クラスで 全体を覆うので 、つまり が成り立ちます。 は整数なので です( は 以上の最小の整数)。(3) 奇閉路: であることは、2 色で塗り分けられること、すなわち 2 部グラフであることと同じです。「2 部グラフ 奇数長の閉路をもたない」ので、奇閉路を 1 つ見つければ です。なお、辺が 1 本でもあれば です。
クネーザーグラフ は、 の 元部分集合を頂点とし、互いに交わらない(共通部分が空の)2 つの部分集合を辺で結んだグラフです。上からの評価は次の塗り方で得られます。最小の要素が である部分集合には色 を塗り、残りの部分集合( の 個の要素だけからなるもの)にはすべて色 を塗ります。同じ色 の部分集合はどれも を含むので互いに交わります。また 個の要素の中から選んだ 2 つの 元集合は、要素数の合計が なので必ず交わります。よって です。逆向きの不等式は初等的な議論では示せず、位相的な方法で証明されたロヴァースの定理によって等号 ()が成り立ちます。これは引用して使ってかまいません。
手順
上から評価する:実際に 色で塗り、すべての辺の両端が異なる色であることを確かめて とする(同じ色の頂点の集まりが独立集合になっていればよい)
下から評価する(クリーク):最大クリークを探して を得る
下から評価する(独立数): を求め、 を得る
下から評価する(奇閉路):奇数長の閉路があれば とする
上の評価と下の評価の最大値が一致すれば、それが である。一致しなければ、塗り方を改良するか、別の下界の理由を探す
クネーザーグラフ で のときは、ロヴァースの定理 を引用してよい
例題
ペテルセングラフ ( の 2 元部分集合 10 個を頂点とし、共通部分が空である 2 つの部分集合を辺で結んだグラフ)の彩色数 を求めよ。
例題の解答
【手順 1:上からの評価】1 を含む 4 個の部分集合 に色 1 を塗る。これらはどれも 1 を共有するので、互いに辺で結ばれない。残りのうち 2 を含む に色 2 を塗る(どれも 2 を共有する)。最後の は 3 元集合 の 2 元部分集合なので、どの 2 つも交わる。これらに色 3 を塗る。各色クラスが独立集合なので正しい 3 彩色であり、 である。
【手順 4:奇閉路による下からの評価】 は、隣り合う集合がどれも交わらないので長さ 5 の閉路である。奇閉路があるので は 2 部グラフではなく、 である。(手順 3 でも同じ結論になる。 なので 。一方、 には三角形がなく なので、手順 2 のクリークの評価だけでは足りない。)
【手順 5】上下の評価がともに 3 で一致するので である。
【手順 6 による確認】 なので、ロヴァースの定理から となり、上の結果と一致する。
答え:
よくある誤り
最大クリークの大きさを彩色数と思い込む誤り。 は下界にすぎず、等号は一般には成り立たない。たとえば 5 頂点の閉路 は だが、奇閉路なので である。
独立数による下界で切り捨てをしてしまう誤り。ペテルセングラフで から「」とするのは弱すぎる。 は整数なので、正しくは である。
塗り方を 1 つ見つけただけで彩色数を決めてしまう誤り。「4 色で塗れたから 」は誤りで、分かるのは だけである。等号をいうには、クリーク・・奇閉路などで を別に示す必要がある。
ロヴァースの定理を条件の外で使う誤り。公式 が成り立つのは のときだけである。 では 2 つの 元部分集合が必ず交わるので辺がなく、 になる。たとえば に公式を当てはめると となって誤り。また、 と 1 だけずらして覚える誤りにも注意する( は 3 であり 2 ではない)。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
頂点集合 と、次の 本の辺からなる辺集合 をもつ単純無向グラフ を考える。
隣り合う(辺で結ばれた)2 頂点が異なる色になるように の頂点に色を塗るとき、必要な色の数の最小値、すなわち彩色数 を求めよ。頂点集合 と、次の 本の辺からなる辺集合 をもつ単純無向グラフ を考える。
隣り合う(辺で結ばれた)2 頂点が異なる色になるように の頂点を塗り分けるとき、必要な色の数の最小値、すなわち彩色数 を求めよ。
この技能を使う問題
頂点集合 と、次の 本の辺からなる辺集合 をもつ単純無向グラフ (車輪グラフ)を考える。
の彩色数 (隣接する 2 頂点が異なる色になるように頂点を塗るときの色の数の最小値)と、辺彩色数 (端点を共有する 2 辺が異なる色になるように辺を塗るときの色の数の最小値)を、組 の形でこの順に求めよ。頂点集合を とし、相異なる 2 頂点 を、 を で割った余りが のいずれかであるときに限り辺で結んだ単純無向グラフを とする。言い換えると、 が辺で結ばれるのは または のときに限る。 の彩色数 (隣接する頂点が異なる色になるように頂点を塗るのに必要な色の最小数)と、辺彩色数 (端点を共有する辺が異なる色になるように辺を塗るのに必要な色の最小数)を、この順に組 で答えよ。
を頂点数が 以上の有限な単純無向グラフとする。 の頂点彩色数(隣接する 2 頂点が異なる色になるように頂点を塗り分けるのに必要な色の最小数)を と書き、 とおく。頂点 の次数( に隣接する頂点の個数)を と書く。
このとき、 には を満たす頂点 が少なくとも 個存在することを証明せよ。
を整数とする。頂点集合を とし、相異なる 2 頂点 を
のときに限り辺で結んだ単純無向グラフを とする(閉路 の 2 乗グラフ)。 の彩色数(隣接する頂点が異なる色になるように頂点を塗るのに必要な最小の色数)を 、辺彩色数(同じ頂点を端点にもつ辺が異なる色になるように辺を塗るのに必要な最小の色数)を とする。
の値を求めよ。集合 の 3 元部分集合全体を頂点集合とし、2 つの頂点(3 元部分集合) を のときに限り辺で結んだ単純グラフ(クネーザーグラフ )を とする。 の彩色数 と辺彩色数 をこの順に求めよ。
頂点集合を とし、相異なる 2 頂点 を、 のときに限り辺で結んだ単純グラフを とする( は長さ の閉路 の補グラフである)。
の彩色数(隣り合う頂点が異なる色になるように頂点を塗るのに必要な色の数の最小値)を 、辺彩色数(端点を共有する辺が異なる色になるように辺を塗るのに必要な色の数の最小値)を とする。組 をこの順に求めよ。
各部集合がちょうど 個の頂点からなる完全 部グラフを とする。すなわち は、頂点集合 ( は互いに素で、それぞれ 個の頂点からなる)をもち、異なる部集合に属する 2 頂点はすべて辺で結ばれ、同じ部集合に属する 2 頂点は辺で結ばれない単純グラフである。
の彩色数 と辺彩色数 を求め、組 の形で答えよ。ここで辺彩色数とは、端点を共有する 2 辺が異なる色になるように全ての辺を塗るのに必要な色の数の最小値である。
この技能の次に学べること
- 彩色多項式 (大学数学 離散数学・組合せ論)