尹鵬君

(北京工商大學(xué)理學(xué)院,北京 100048)

尹鵬君

(北京工商大學(xué)理學(xué)院,北京 100048)

利用 Schrder路徑中不同類(lèi)型的步的特點(diǎn),研究不同初始高度的 Schr?der路徑,給出了Schrder路徑計(jì)數(shù)的遞推公式的組合證明.

Schrder 路徑;小 Schrder 路徑;初始高度

1 引言

Schr?der[1]曾提出用括號(hào)劃分一系列不同的字母的計(jì)數(shù)問(wèn)題,并且給出了小Schr?der數(shù)的生成函數(shù)σ(x),

且滿足

Shapiro和Sulanke[2]將(n+1)-多凸邊形轉(zhuǎn)化為平面樹(shù),并將平面樹(shù)雙著色,再構(gòu)造平面樹(shù)與 Schr?der路徑之間的雙射,從而證明了大 Schrder數(shù)是小 Schrder數(shù)的兩倍.Deutsch[3]將有序樹(shù)分成兩類(lèi),即矮灌木和高灌木,并利用這兩種有序樹(shù)在計(jì)數(shù)上相等且數(shù)量均為小 Schrder數(shù)的特性,給出了有序樹(shù)與 Schrder路徑的一一對(duì)應(yīng)關(guān)系,進(jìn)而巧妙、簡(jiǎn)練地得出了大 Schrder數(shù)與小 Schrder數(shù)的兩倍關(guān)系.Huh和 Park[4]構(gòu)造了長(zhǎng)度為 n且可五著色的 Dyck路徑與推廣的 Schrder路徑的雙射,從而得出了推廣的 Schr?der路徑的計(jì)數(shù)公式.Yan[5]構(gòu)造了長(zhǎng)度為 2n的 Schrder路徑與 (2,3)-Motzkin路徑之間的雙射,給出了在限制不同類(lèi)型步的條件下的 Schr?der路徑的計(jì)數(shù)公式.Song[6]定義了 m-Schr?der路徑,并給出了 m-Schr?der路徑的計(jì)數(shù)結(jié)果及證明.Chen和 Zhao[7]在 Shapiro和 Wang[8]的基礎(chǔ)上,構(gòu)造了長(zhǎng)度為n的k-Motzkin路徑與長(zhǎng)度為 2n+2且不存在高度是偶數(shù)的水平步的 (k?2)-Schr?der路徑之間的雙射.另外,Schr?der數(shù)有很多組合結(jié)構(gòu).例如,長(zhǎng)度為 2n且對(duì)每個(gè)峰進(jìn)行二染色的Dyck路徑的計(jì)數(shù)[3]、劃分長(zhǎng)度為(n+1)-多凸邊形的計(jì)數(shù)[2]等.同樣地,小Schr?der數(shù)也存在很多對(duì)應(yīng)的組合結(jié)構(gòu).例如,有n+1個(gè)葉子且不含有節(jié)點(diǎn)出度為1的有序樹(shù)的計(jì)數(shù)[3]、劃分長(zhǎng)度為(n+2)-多凸邊形的計(jì)數(shù)[3]及用括號(hào)劃分n+1個(gè)不同字母的種類(lèi)數(shù)[1]等等.本文主要從組合意義的角度,證明關(guān)于Schr?der數(shù)的幾個(gè)等式[9].首先,介紹一些定義.

定義1.1一條長(zhǎng)度為 2n的 Schr?der路徑是由上升 U=(1,1)、下降 D=(1,-1)和水平H=(2,0)構(gòu)成、起于點(diǎn)(0,0)止于點(diǎn)(2n,0)且只存在于x軸上或者x軸上方的路徑.

定義1.2若路徑中任意一步的兩個(gè)端點(diǎn)的縱坐標(biāo)中較大者為k,則稱(chēng)該步的高度為k.特別地,x軸上的水平步的高度為0.

定義1.3給定一條路徑,如果這條路徑的第一步的高度是0,則稱(chēng)這條路徑是初始高度為0的路徑;否則,如果從起點(diǎn)開(kāi)始連續(xù)上升的步中最后一步的高度為k,則稱(chēng)這條路徑是初始高度為k的路徑,其中這些連續(xù)上升的步記為Uk,Uk中的第i步記為.長(zhǎng)度為18且初始高度為4的Schr?der路徑,其中從起點(diǎn)開(kāi)始連續(xù)上升的四步整體記為U4,并將這四步分別記為,如下圖所示:

圖1 長(zhǎng)度為18且初始高度為 4的 Schr?der路徑

表1.1 長(zhǎng)度小于12且不同初始高度k的Schr?der路徑的計(jì)數(shù)

定義 1.4長(zhǎng)度為2n的小Schr?der路徑是一條x軸上不存在水平步的Schr?der路徑.

小 Schr?der路徑所組成的集合記為 Sn,其數(shù)量記為 sn.顯然,sn等于小 Schr?der數(shù) (A001003[10]),即 1,1,3,11,45,···.長(zhǎng)度為 2n且初始高度為 k的小 Schr?der路徑所組成的集合記為S(n,k),其數(shù)量記為s(n,k).長(zhǎng)度小于12且不同初始高度k的小Schr?der路徑的計(jì)數(shù)如下表所示:

表1.2 長(zhǎng)度小于12且不同初始高度k的小Schr?der路徑的計(jì)數(shù)

2 關(guān)于 Schrder路徑的幾個(gè)恒等式的組合證明

定理 2.1當(dāng)n≥1,k≥0時(shí),r(n,k)滿足下列遞推式:

其中初始條件r(0,0)=1.

證明當(dāng)k=0時(shí),只需在所有長(zhǎng)度為2(n?1)的 Schr?der路徑的起點(diǎn)插入一個(gè) H 步,即可得到長(zhǎng)度為2n且初始高度為0的Schr?der路徑.從而(1)式得證.

當(dāng)k≥1時(shí),采用數(shù)學(xué)歸納法.首先,給定一條長(zhǎng)度為2m且初始高度為k的Schr?der路徑.

當(dāng)m=1時(shí),r(1,1)=1,顯然,(2)式成立.

當(dāng)m=n?1時(shí),假設(shè)

成立.

隨著“互聯(lián)網(wǎng)+”時(shí)代的到來(lái)，手機(jī)已成為人們生活中不可缺少的智能應(yīng)用工具。隨著各種智能化、人性化手機(jī)軟件的開(kāi)發(fā)，智能手機(jī)已經(jīng)實(shí)現(xiàn)智能查詢、導(dǎo)航、交互、支付等多種功能，并在向更加智能化的方向發(fā)展。而在大學(xué)生群體中，智能手機(jī)更是必備的應(yīng)用工具。據(jù)相關(guān)調(diào)查發(fā)現(xiàn)，目前高校大學(xué)生幾乎人人使用手機(jī)。除了生活中的應(yīng)用外，智能手機(jī)以其便于攜帶、支持多媒體播放、實(shí)現(xiàn)信息互動(dòng)的特性，使得高校學(xué)生在學(xué)習(xí)中也會(huì)普遍使用其上網(wǎng)查找學(xué)習(xí)資源，閱讀電子書(shū)籍，開(kāi)展個(gè)性化的自主學(xué)習(xí)，與老師、同學(xué)交流互動(dòng)等。

當(dāng) m=n時(shí),給定一條長(zhǎng)度為 2(n?1)的 Schr?der路徑,若其初始高度為 k?1,則在后插入U(xiǎn)D,從而得到相應(yīng)的長(zhǎng)度為2n且初始高度為k的Schr?der路徑;若其初始高度為j(k≤j≤n?1),則在后插入一個(gè)DU或者一個(gè)H.即得到長(zhǎng)度為2n且初始高度為 k 的 Schr?der路徑.

顯然,上述兩種情況的過(guò)程均是可逆的.故等式(2)成立。

定理 2.2當(dāng)n≥1,r(n,k)滿足下列遞推式:

其中初始條件r(0,0)=1.

證明首先,將長(zhǎng)度為2n且初始高度為0的Schr?der路徑的第一步進(jìn)行二染色,該步分別記為H1、H2,且將染色后的路徑組成的集合記為R2(n,0).

給定集合R2(n,0)中的任意一條路徑 P,考慮以下變換.若路徑 P的第一步為 H1,則將H1變?yōu)閁D;若路徑P的第一步為H2且第二步為H,則刪除H2;若路徑P的第一步為H2且第二步為U,則將H2U變?yōu)閁H.由于R(n,1)中的路徑只能以UD或UH為起始步,而R(n,0)中的路徑只能以H 為起始步,故上述變換可逆.從而(2.2?1)式成立.

定理2.3當(dāng)n≥1,k≥1時(shí),r(n,k)滿足下列遞推式:其中初始條件r(0,0)=1.

第一種情況,給定長(zhǎng)度為2n且初始高度為k+1的Schr?der路徑時(shí),該路徑的第k+2步可能是D或H,分別將變?yōu)镈U,變?yōu)镠U,其它步保持不變.

第二種情況,給定長(zhǎng)度為 2 (n?1)且初始高度為 k 的 S chr?der路徑,在后插入 D U或H.

第三種情況,給定長(zhǎng)度為2(n?1)且初始高度為 k ?1的Schr?der路徑中,在后插入U(xiǎn)D.

反之,若給定一條長(zhǎng)度為2n且初始高度為k的Schr?der路徑.根據(jù)該路徑的第k+1、k+2步,可以將Schrder路徑分成以下六種:

如下圖所示:

圖2 長(zhǎng)度為2n且初始高度為k的六種不同的Schr?der路徑(k/=0)

綜上,等式(4)成立.

推論2.1當(dāng)n≥1,k≥1時(shí),s(n,k)有下式成立:

其中初始條件s(0,0)=1.

推論2.2當(dāng)時(shí),s(n,k)有下式成立:

其中初始條件s(0,0)=1.

[1]Schr?der E.Vier combinatorische Probleme[J].Z.fur Math.Physic.,1870,15:361-376.

[2]Shapiro L W,Sulanke R A.Bijections for the Schr?der numbers[J].Mathematics Magazine,2000,73(5):369-376.

[3]Deutsch E.A bijective proof of the equation linking the Schr?der numbers,little and small[J].Discrete Math.,2001,241:235-240.

[4]Huh J S,Park S K.Generalized small Schr?der numbers[J/OL].Electronic J.Combin.,2015[2017-07].http://www.combinatorics.org.

[5]Yan S H F.From(3,2)-Motzkin paths to Schr?der paths[J/OL].J.Integer Sequences,2007[2017-07].http://www.emis.de/journals/JIS/vol10.html.

[6]Song C W.The generized Schr?der theory[J/OL].Electronic J.Combin.,2005[2017-07].http://www.combinatorics.org.

[7]Chen Z J,Zhao S.Two bijections on weighted Motzkin paths[J].Communications In Mathematical Research,2017,33(2):149-159.

[8]Shapiro L W,Wang C J.A bijection between 3-Motzkin paths and Schr?der paths with no peak at odd height[J/OL].J.Integer Sequences,2009[2017.07].http://www.emis.de/journals/JIS/vol12.html.

[9]Pergola E,Sulanke R A.Schr?der triangles,paths,and parallelogram polyominoes[J].J.Integer Sequences,1998[2017-07].http://www.emis.de/journals/JIS/vol1.html.

[10]Sloane N J A.The On-Line Encyclopedia of Integer Sequences[EB/OL].The OEIS Foundation Inc.,2014[2017-07].http://oeis.org.

The combinatorial proofs of several recurrences about the enumeration of Schr?der paths

Yin Pengjun
(School of Mathematics,Beijing Technology and Business University,Beijing 100048,China)

By analyzing the characteristics of di ff erent steps in the Schr?der paths,we studied the Schr?der paths with di ff erent initial height and provided the combinatorial proofs of several recurrences of the enumeration of Schr?der paths.

Schr?der path,little Schr?der path,initial height

O157.1

A

1008-5513(2017)05-0530-06

10.3969/j.issn.1008-5513.2017.05.011

2017-08-03.

國(guó)家自然科學(xué)基金(11601020;11501014);北京市委組織部?jī)?yōu)秀人才項(xiàng)目(2013D005003000012);2017商科特色項(xiàng)目(19005757053).

尹鵬君(1992-),碩士研究生,研究方向：組合計(jì)數(shù).

2010 MSC:05A15