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

 ラムゼー数R(b,p,q)の決定すら完全にはできていない.これまで知られている(b=2,p,q≧3)は

  R(2,3,6)=18,R(2,3,7)=23,

  R(2,3,8)=28,R(2,3,9)=36,

  R(2,4,5)=25,

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

 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

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