■拡張ワイソフ記号
通常のワイソフ記号は0/1コードであるが,
w=(m0,・・・,mn-1)
のまま扱うこともできる.
たとえば(1,2,3)の場合にできる多面体は(1,1,1)と組み合わせ同値であるが,体積は異なる.その場合,
Vn=ΣbjNjHj/n・Vn-j-1Λj
はどのように表されるのか.
===================================
中心Pn(a1,・・・,an)と切頂切稜面の距離を求める.
xj/aj=yj,y0=1,yn=0(xn=0)
1/aj=bj,y=(y0,・・・,yn)
とおく.3次元の例で表すが
[1/√b1^2,−1/√b1^2,0,0]
[0,1/√b1^2+b2^2,−1/√b1^2+b2^2,0]
[0,0,1/√b2^2+b3^2,−1/√b2^2+b3^2]
Ay=λw
を解く.(1,1,1)の場合と解yは変わるが,以下の部分の記述は変わらない.
切頂切稜面はPkPnに垂直で,点
Q=(x1,・・・,xn)=(a1y1,・・・,anyn)
を通る.
PnP0=(−a1,−a2,・・・,−an)
PnP1=(0,−a2,−a3,・・・,−an)
PnPn-1=(0,・・・,0,−an)
ファセットを定めている不等式は,
a・x=c
で与えられる.一般に,超平面a・x=cと点x0の距離は
|a・x0−c|/‖a‖
とくに,原点からファセットまでの距離は|c|/‖a‖となる.
PnP0に垂直なn次元超平面が点Qを通るのだが,原点をPnに移した方が紛らわしくないので
a=(−a1,−a2,・・・,−an)
q=(x1−a1,x2−a2,x3−a3,・・・,xn−an)
とすると,この超平面をa・(x−q)=0,a・x=a・q=cで表すと
c0=−(a1x1+・・・+anxn)+(a1^2+・・・+an^2)
c0=−(a1^2y1+・・・+an^2yn)+(a1^2+・・・+an^2)
h0=|c0|/‖d0‖,‖d0‖=(a1^2+・・・+an^2)^1/2
PnP1に垂直なn次元超平面では
a=(0,−a2,・・・,−an)
c1=−(a2x2+・・・+anxn)+(a2^2+・・・+an^2)
c1=−(a2^2y2+・・・+an^2yn)+(a2^2+・・・+an^2)
h1=|c1|/‖d1‖,‖d1‖=(a2^2+・・・+an^2)^1/2
PnPn-1に垂直なn次元超平面では
a=(0,・・・,0,−an)
cn-1=−anxn+an^2=−an^2yn+an^2
hn-1=|cn-1|/‖dn-1‖,‖dn-1‖=(an^2)^1/2
an^2yn=0
辺の長さを最短辺1に規格化する.最短辺の長さは2λ.したがって,
Hk=hk/2λ
===================================