■置換多面体の空間充填性(その157)
最大次数多面体
(0,1,0)
(0,1,0,0)
(0,0,1,0,0)
(0,0,1,0,0,0)
の頂点数は,
[1]nが奇数のとき,tp=(n−1)/2
[2]nが偶数のとき,tp=n/2−1
であるから,
正単体系:k=tpとして,gk=(n+1,k+1)=f0
正軸体系:k=tpとして,gk=(n,k+1)2^(k+1)=f0
今回は最少面数多面体の中で頂点数の最大値・最小値について調べてみたい.
===================================
[1]正単体系切頂型(0,・・・,0,1,0、・・・0)
f0=(n+1,tp+1)
=(n+1)!/(tp+1)!(n−tp)!
[2]正単体系切頂型(0,・・・,0,1,1,0、・・・0)
f0=(tp+2,tp+1)(n+1,tp+2)
=(n+1)!/(tp+1)!(n−tp−1)!
したがって,[2]>[1]
[3]正軸体系切頂型(0,・・・,0,1,0、・・・0)
f0=(n,tp+1)2^(tp+1)
[4]正軸体系切頂型(0,・・・,0,1,1,0、・・・0)
f0=(tp+2,tp+1)(n,tp+2)2^(tp+2)
=(n,tp+1)2^(tp+1)・2(n−tp−1)
したがって,[4]>[3]
===================================
[5]まとめ
最少面数多面体で見ると,切頂型
(0,・・・,0,1,1,0、・・・0)
が最大次数多面体にはなり得ない.
===================================