■完全グラフの厚み

 完全グラフKnはn個の点のすべての2点を連結させてできるグラフである.その辺数はn(n−1)/2である.

 また,そのグラフのどの辺も交わらないように平面上に描ける場合を平面的という.K4は平面的であるが,K5以上は平面的ではない.

 K5は平面的ではないが,2つの平面的グラフに分割できる.これを厚みEが2であるという.完全グラフの厚みE(Kn)について,ハラリイは

  n≠4 (mod6)ならばE(Kn)=[(n+1)/6]

であることを示した.

 また,n=4 (mod6)のとき,

  n=4ならばE(K4)=1

  n=10ならばE(K10)=3

  n=22ならばE(K22)=4

  n=28ならばE(K28)=5

  n=34ならばE(K34)=6

  n=40ならばE(K40)=7

であることがわかっている.

 K9は厚み3の(すなわち2つの平面的グラフ表されない)最小の完全グラフである.

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