グラフ彩色

できるだけ少ない色でグラフを彩色する

この計算機について

グラフ彩色計算機は、彩色数 χ(G) — 同じ色の 2 つの頂点を結ぶ辺がないようにグラフの頂点を彩色するのに必要な最小の色数 — を求め、最適な彩色の一例を示します。頂点数と辺のリストを入力すると、分枝限定法で χ を厳密に計算し、最大次数 Δ と最大クリーク ω(χ の下界)を報告し、二部グラフや完全グラフを判定し、彩色されたグラフを描画します。スケジューリング、レジスタ割り当て、地図の彩色、彩色数の研究に役立ちます。

グラフの彩色方法

  1. 頂点数を入力します。頂点は 1 から n まで番号付けされます。
  2. 辺を 1-2, 2-3 のようなペアで列挙します — 接続 1 つにつき 1 ペア。
  3. 彩色数 χ(G) と各頂点に割り当てられた色を確認します。
  4. χ を最大クリーク ω と比較して、なぜその色数が必要なのかを確認するか、プリセットを読み込んで探求しましょう。

一般的な例

  • 三角形(K₃)は 3 色が必要 — すべての頂点のペアが隣接しています。
  • 偶閉路は二部グラフで 2 色のみで済みますが、C₅ のような奇閉路は 3 色が必要です。
  • 完全グラフ Kₙ はちょうど n 色が必要です。
  • サイズ ω の最大クリークは少なくとも ω 色を必要とするため、χ(G) ≥ ω です。
  • グレッチュグラフは三角形を含まないのに 4 色が必要なため、χ はクリーク数を上回ることがあります。

よくある質問

彩色数とは何ですか?

彩色数 χ(G) は、同じ色の 2 つの頂点を結ぶ辺がないようにグラフの頂点を彩色するのに必要な最小の色数です。

最小の色数はどのように求められますか?

グラフが小さいため、この計算機は厳密に探索します。1 色、次に 2 色と試し、正しい彩色が存在する最初の色数を返します。その色数が真の最小値であることが保証されます。

最大次数と最大クリークとは何ですか?

最大次数 Δ は、1 つの頂点に集まる辺の最大数です。最大クリーク ω は、すべてが互いに隣接する頂点の最大の集合です。それらはすべて異なる色でなければならないため、χ(G) は少なくとも ω です。

なぜ三角形のないグラフでも多くの色が必要になることがあるのですか?

大きなクリークは多くの色を必要としますが、それだけが理由ではありません。奇閉路やグレッチュグラフのようなグラフは、三角形がなくても追加の色を必要とするため、χ(G) はクリーク数より大きくなることがあります。

グラフのサイズに制限はありますか?

はい。厳密なグラフ彩色は計算量的に困難なため、結果を即座かつ厳密に保つため、この計算機はグラフを 12 頂点までに制限しています。