■置換多面体の空間充填性(その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にする.
===================================