■漸化式と母関数(その32)

 K6のすべての2頂点間を2色の線で結ぶと,点をつなぐ線がすべて赤かすべて青の三角形ができる.=K6の辺を2色に塗り分ければ必ず単色のK3が含まれる.

 色を3色に増やす.K16は同色の三角形K3が存在しないように配色することができるが,K17では同色の三角形K3がどこかにできる.

 色を4色に増やす.K66では同色の三角形K3がどこかにできる.(証明されているわけではない)

 色をC色に増やす.Kmでは同色の三角形K3がどこかにできる.

  N(1)=2,N(2)=5,N(3)=16

  N(q)≦Σq!1/k!

であるが,エルデシュは

  N(q)=q!Σ1/k!

と予想している.これによると,N(4)=65であるが,K65に対する良い4配色は見いだされていない.つまり,N(4)=65であると証明されているわけではないことに注意.

 N(q)はラムゼー理論と密接な関係にあるが,高次ラムゼー数の大多数はまだ知られていないのである.

===================================

[1]拡張

 K6のすべての2頂点間を2色の線で結ぶと,点をつなぐ線がすべて赤かすべて青の三角形ができる.=K6の辺を2色に塗り分ければ必ず単色のK3が含まれる.

 2色塗りのK6は単色のK3を含む.

 2色塗りのK18は単色のK4を含む.

 2色塗りのKnは単色のKmを含むものとする.

しかし,m=5の場合でもnの値は知られていない.すなわち,

 2色塗りのKnは単色のK5を含む.n=?

===================================

[2]もうひとつの拡張

 K6の2色着色では単色三角形が少なくとも2個含まれる.

 K7の2色着色では単色三角形が少なくとも4個含まれる.

 Knの2色着色では単色三角形が少なくとも△個含まれる.

頂点iに結合している赤辺の数をriとすると,青辺の数はn−1−ri

単色三角形の数は

△=(n,3)−1/2・Σri(n−1−ri)

△≧(n,3)−[n/2[{(n−1)/2}^2]]

n=6のとき

△≧20−[3[25/4]]=2

n=7のとき

△≧35−[7/2[18]]=4

===================================