主題
Search

定向凸多邊形骨牌

DirectedConvexPolygon

一種凸多邊形骨牌，包含其最小外接矩形至少一條邊。寬度為 m，高度為 n，面積為 q 的定向多邊形的周長和麵積生成函式由下式給出

G(x,y,q)=sum_(x>=1)sum_(y>=1)sum_(q>=1)C(m,n,a)x^my^nq^a
(1)
=y(R(x)-N^^(x))/(N(x)),
(2)

其中

N(x)=sum_(n>=0)((-1)^nx^nq^((n+1; 2)))/((q)_n(yq)_n)
(3)
N^^(x)=sum_(n>=1)((-1)^nx^nq^((n+1; 2)))/((q)_(n-1)(yq)_n)
(4)
R(x)=ysum_(n>=2)[(x^nq^n)/((yq)_n)(sum_(m=0)^(n-2)((-1)^mq^((m+2; 2)))/((q)_m(yq^(m+1))_(n-m-1)))]
(5)

(Bousquet-Mélou 1992ab)。

寬度為 x，高度為 y 的定向凸多邊形骨牌的各向異性周長生成函式由下式給出

G(x,y)=sum_(x>=1)sum_(y>=1)C(m,n)x^my^n
(6)
=(xy)/(sqrt(Delta(x,y))),
(7)

其中

Delta(x,y)=1-2x-2y-2xy+x^2+y^2
(8)
=(1-y)^2[1-(x(2+2y-x))/((1-y)^2)]
(9)

(Lin 和 Chang 1988，Bousquet 1992ab，Bousquet-Mélou等人 1999)。這可以求解以顯式給出

C(m,n)=(m+n-2; m-1)(m+n-2; n-1)
(10)

(Bousquet-Mélou 1992ab)。展開生成函式得到

G(x,y)=sum_(m>=1)H_m(y)x^m
(11)
=y/(1-y)x+(y(1+y))/((1-y)^3)x^2+(y(1+4y+y^2))/((1-y)^5)x^3+...
(12)
=(y+y^2+y^3+y^4+y^5+...)x+(y+4y^2+9y^3+16y^4+25y^5+...)x^2+(y+9y^2+36y^3+100y^4+225y^5+...)x^3+(y+16y^2+100y^3+400y^4+1225y^5+...)x^4+....
(13)

H_m(y) 的顯式公式由 Bousquet-Mélou (1992ab) 給出。這些函式滿足互反關係

H_m(1/y)=-y^(m-2)H_m(y)
(14)
G(x,y)+y^2G(x/y,1/y)=0
(15)

(Bousquet-Mélou等人 1999)。

各向異性面積和水平周長生成函式 G(x,q) 和部分生成函式 H_m(q)，透過以下方式連線

G(x,q)=sum_(m>=1)H_m(q)x^m,
(16)

滿足自互反和反演關係

H_m(1/q)=-1/qH_m(q)
(17)

和

G(x,q)+qG(x,1/q)=0
(18)

(Bousquet-Mélou等人 1999)。

另請參閱

凸多邊形骨牌，格多邊形

使用 探索

參考文獻

Bousquet-Mélou, M. "Convex Polyominoes and Heaps of Segments." J. Phys. A: Math. Gen. 25, 1925-1934, 1992a.Bousquet-Mélou, M. "Convex Polyominoes and Algebraic Languages." J. Phys. A: Math. Gen. 25, 1935-1944, 1992b.Bousquet-Mélou, M.; Guttmann, A. J.; Orrick, W. P.; and Rechnitzer, A. "Inversion Relations, Reciprocity and Polyominoes." 23 Aug 1999. http://arxiv.org/abs/math.CO/9908123.Lin, K. Y. and Chang, S. J. "Rigorous Results for the Number of Convex Polygons on the Square and Honeycomb Lattices." J. Phys. A: Math. Gen. 21, 2635-2642, 1988.

在 中被引用

定向凸多邊形骨牌

請引用為

Weisstein, Eric W. "定向凸多邊形骨牌。" 來自 Web 資源。 https://mathworld.tw/DirectedConvexPolyomino.html

主題分類