■置換多面体の空間充填性(その58)

【1】fn-1公式

  正単体の面数公式:  gk^(n)=n+1Ck+1

  正軸体の面数公式:  gk^(n)=2^(k+1)nCk+1

  縮退情報    :  B=(b0,・・・,bn-1)

とすると,

  fn-1^(n)=Σ(j=0~n-1)gj^(n)bj

というものである.ここで,各bjは0か1の値をとるから,ゼータ関数ににおける「指標」のようなものと考えることができる.

  f=Σχg

とした方がその雰囲気が味わえるかもしれない.

 ファセットが縮退しているか否かどうかを表す「指標」は,形状ベクトルから求めることができる.

[1][1,0,・・・,0]→[0,0,・・・,1]

   [0,0,・・・,1]→[1,0,・・・,0]

[2a]形状ベクトルの最も左にある1と最も右にある1の間の成分をすべて1にする.

[2b]隣の成分が0である1を0に変更する.

[2c]両端の成分を1にする.

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

【2】fn-1公式と準正多面体の作製法

 準正多面体の作製法を考えてみると,ワイソフ構成[0,1,2,・・・,n−1]の最も左端の1から切頂を始めて,停止則は残りが[0,0,・・・,0]または[1,0,・・・,0]になったときに設定される.

 停止則が満足されるまで最も右端の1の直前までj次元面を切断していくのである.

 しかし,切頂から始めて→切稜→切面→・・・と順に進んでいくわけではない.たとえば,切稜→切面→・・・の縮退が生ずるのは

[1]1が1個の場合

[2]1が2個連続する場合

[3][0,1]のあとに1がある場合

[4][0,0,1]のあとに1がある場合

[5][0,0,0,1]のあとに1がある場合,・・・

である.最終的にはn−1次元面が切断されずに残る.

 それをアルゴリズム化すると下記のようになる.

[2a]形状ベクトルの最も左にある1と最も右にある1の間の成分をすべて1にする.

[2b]隣の成分が0である1を0に変更する.

[2c]両端の成分を1にする.

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