In this paper we consider the enumeration of subsets of the set, say Dm, of those Dyck paths of arbitrary length with maximum peak height equal to m and having a strictly increasing sequence of peak height (as one go...In this paper we consider the enumeration of subsets of the set, say Dm, of those Dyck paths of arbitrary length with maximum peak height equal to m and having a strictly increasing sequence of peak height (as one goes along the path). Bijections and the methods of generating trees together with those of Riordan arrays are used to enumerate these subsets, resulting in many combinatorial structures counted by such well-known sequences as the Catalan nos., Narayana nos., Motzkin nos., Fibonacci nos., Schroeder nos., and the unsigned Stirling numbers of the first kind. In particular, we give two configurations which do not appear in Stanley's well-known list of Catalan structures.展开更多
In the paper we derive many identities of forms ∑i=0^n(-1)^n-i(i^n)Um+k+i,k+i=f(n)and ∑ i=o^2n(-1)^i(i^2n)Um+k+i,k+i=9(n)by the Cauchy Residue Theorem and an operator method, where Un, k are number...In the paper we derive many identities of forms ∑i=0^n(-1)^n-i(i^n)Um+k+i,k+i=f(n)and ∑ i=o^2n(-1)^i(i^2n)Um+k+i,k+i=9(n)by the Cauchy Residue Theorem and an operator method, where Un, k are numbers of Dyck paths counted under different conditions, and f(n), 9(n) and m are functions depending only on about n.展开更多
文摘In this paper we consider the enumeration of subsets of the set, say Dm, of those Dyck paths of arbitrary length with maximum peak height equal to m and having a strictly increasing sequence of peak height (as one goes along the path). Bijections and the methods of generating trees together with those of Riordan arrays are used to enumerate these subsets, resulting in many combinatorial structures counted by such well-known sequences as the Catalan nos., Narayana nos., Motzkin nos., Fibonacci nos., Schroeder nos., and the unsigned Stirling numbers of the first kind. In particular, we give two configurations which do not appear in Stanley's well-known list of Catalan structures.
基金the "973" Project on Mathematical Mechanizationthe National Science Foundation, the Ministry of Education, and the Ministry of Science and Technology of China.
文摘In the paper we derive many identities of forms ∑i=0^n(-1)^n-i(i^n)Um+k+i,k+i=f(n)and ∑ i=o^2n(-1)^i(i^2n)Um+k+i,k+i=9(n)by the Cauchy Residue Theorem and an operator method, where Un, k are numbers of Dyck paths counted under different conditions, and f(n), 9(n) and m are functions depending only on about n.