技能一覧 › 大学数学 グラフ理論

頂点彩色と彩色数

彩色数 を、上下からの評価を合わせて求められる。上からは彩色を構成して評価し、下からはクリークの大きさ ・・奇閉路で評価する。クネーザーグラフの彩色数は、ロヴァースの定理 ()を引用して求められる

前提

この技能までの道筋(8 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる (算数 場合の数)
  2. 積の法則と和の法則 (算数 場合の数)
  3. 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
  4. 順列・円順列・重複順列 (数学A 場合の数と確率)
  5. 組合せ (数学A 場合の数と確率)
  6. グラフの次数と握手補題 (大学数学 グラフ理論)
  7. 2 部グラフと奇閉路 (大学数学 グラフ理論)
  8. 最大独立集合と最小頂点被覆 (大学数学 グラフ理論)

説明

グラフの頂点に色を塗り、辺で結ばれた 2 頂点が必ず違う色になるようにする塗り方を「彩色」といいます。使う色の数の最小値が彩色数 です。この技能では、実際に塗って を上から押さえ、クリーク・独立数・奇閉路を使って下から押さえます。両方が一致すれば が決まります。時間割の衝突回避、周波数の割り当て、レジスタ割り当てなど、「ぶつかるもの同士を別のグループに分ける」問題でグループ数の最小値を求めるときに使います。

なぜそうしてよいのか

グラフ の各頂点に色( の番号)を割り当て、どの辺 についても と の色が異なるとき、これを 彩色といいます。 彩色が存在する最小の が彩色数 です。 彩色を 1 つ具体的に作れば、それだけで がいえます。これが上からの評価です。一方、 を示すには「どう塗っても 色では足りない」ことを示す必要があり、そのために次の 3 つの理由を使います。

(1) クリーク:どの 2 頂点も辺で結ばれた頂点集合をクリークといい、その最大の大きさを と書きます。クリーク内の頂点はすべて互いに異なる色にしなければならないので、 です。(2) 独立数:同じ色の頂点同士は辺で結ばれないので、1 つの色の頂点の集まり(色クラス)は独立集合です。したがって各色クラスの大きさは 以下です。 個の色クラスで 全体を覆うので 、つまり が成り立ちます。 は整数なので です( は 以上の最小の整数)。(3) 奇閉路: であることは、2 色で塗り分けられること、すなわち 2 部グラフであることと同じです。「2 部グラフ 奇数長の閉路をもたない」ので、奇閉路を 1 つ見つければ です。なお、辺が 1 本でもあれば です。

クネーザーグラフ は、 の 元部分集合を頂点とし、互いに交わらない(共通部分が空の)2 つの部分集合を辺で結んだグラフです。上からの評価は次の塗り方で得られます。最小の要素が である部分集合には色 を塗り、残りの部分集合( の 個の要素だけからなるもの)にはすべて色 を塗ります。同じ色 の部分集合はどれも を含むので互いに交わります。また 個の要素の中から選んだ 2 つの 元集合は、要素数の合計が なので必ず交わります。よって です。逆向きの不等式は初等的な議論では示せず、位相的な方法で証明されたロヴァースの定理によって等号 ()が成り立ちます。これは引用して使ってかまいません。

手順

  1. 上から評価する:実際に 色で塗り、すべての辺の両端が異なる色であることを確かめて とする(同じ色の頂点の集まりが独立集合になっていればよい)

  2. 下から評価する(クリーク):最大クリークを探して を得る

  3. 下から評価する(独立数): を求め、 を得る

  4. 下から評価する(奇閉路):奇数長の閉路があれば とする

  5. 上の評価と下の評価の最大値が一致すれば、それが である。一致しなければ、塗り方を改良するか、別の下界の理由を探す

  6. クネーザーグラフ で のときは、ロヴァースの定理 を引用してよい

例題

ペテルセングラフ ( の 2 元部分集合 10 個を頂点とし、共通部分が空である 2 つの部分集合を辺で結んだグラフ)の彩色数 を求めよ。

例題の解答

【手順 1:上からの評価】1 を含む 4 個の部分集合 に色 1 を塗る。これらはどれも 1 を共有するので、互いに辺で結ばれない。残りのうち 2 を含む に色 2 を塗る(どれも 2 を共有する)。最後の は 3 元集合 の 2 元部分集合なので、どの 2 つも交わる。これらに色 3 を塗る。各色クラスが独立集合なので正しい 3 彩色であり、 である。
【手順 4:奇閉路による下からの評価】 は、隣り合う集合がどれも交わらないので長さ 5 の閉路である。奇閉路があるので は 2 部グラフではなく、 である。(手順 3 でも同じ結論になる。 なので 。一方、 には三角形がなく なので、手順 2 のクリークの評価だけでは足りない。)
【手順 5】上下の評価がともに 3 で一致するので である。
【手順 6 による確認】 なので、ロヴァースの定理から となり、上の結果と一致する。

答え:

よくある誤り

この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。

入口の問題

この技能を使う問題

この技能の次に学べること