■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)
===================================