■フォークマン数(その21)

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

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

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

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

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

単色三角形の数は

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

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

n=6のとき

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

n=7のとき

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

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