■n次元平行多面体数(その39)

 n巡回多面体のファセット数は

n=2kのとき,fn-1=f0/(f0−k)・(f0−k,k)

n=2k+1のとき,fn-1=2(f0−k−1,k)

 頂点数nのd(≧4)次元巡回多面体のグラフは,完全グラフKnになる.したがって,辺数はn(n−1)/2.確かめてみたい.

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

[1]nが偶数のとき

  f1=Σ(f0−k,k)(k,2−k)f0/(f0−k)、k=1〜[n/2]

=(f0−1)f0/(f0−1)+(f0−2,2)f0/(f0−2)

=f0+f0(f0−3)/2

=f0(f0−1)/2   (OK)

[2]nが奇数のとき

  f1=Σ(f0−k,k+1)(k+1,2−k)(3)/(f0−k)、k=0〜[(n−1)/2]

=(f0−1,2)2・3/(f0−1)+(f0−2,3)3/(f0−2)

=3(f0−2)+(f0−3)(f0−4)/2

=f0(f0−1)/2   (OK)

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