, Volume 9, Issue 2, pp 127-137

The formula for the number of order-preserving selfmappings of a fence

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

LetY be a fence of sizem andr=⌊m−1/2⌊. The numberb(m) of order-preserving selfmappings ofY is equal toA r-Br-Cr-Dr, where, ifm is odd, $$\begin{gathered} A_r = 2(r + 1)\sum\limits_{s = 0}^r {\left( {\begin{array}{*{20}c} {r + s} \\ {2s} \\ \end{array} } \right)} 4^s , B_r = 2r\sum\limits_{s = 1}^r {\left( {\begin{array}{*{20}c} {r + s} \\ s \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {r - 1} \\ {s - 1} \\ \end{array} } \right),} \hfill \\ C_r = 4r\sum\limits_{s = 0}^{r - 1} {\left( {\begin{array}{*{20}c} {r + s} \\ s \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {r - 1} \\ s \\ \end{array} } \right), D_r = \sum\limits_{s = 0}^{r - 1} {(2s + 1)} \left( {\begin{array}{*{20}c} {r + s - 1} \\ s \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {r - 1} \\ s \\ \end{array} } \right)} \hfill \\ \end{gathered} $$ .

Ifm is even, a similar formula forb(m) is true. The key trick in the proof is a one-to-one correspondence between order-preserving selfmappings ofY and pairs consisted of a partition ofY and a strictly increasing mapping of a subfence ofY toY.

Communicated by I. Rival