一个组合恒等式的算法证明An Algorithm Proof to a Combinatorial Identity
孙毅
摘要(Abstract)：
中心二项式系数的卷积nk=02kk2(n k)n k与基数为4n的某些组合结构之间存在如下关系:4n=nk=02kk2(n k)n k.本文中先用组合结构分别对nk=02kk2(n k)n k和4n给出组合解释,然后通过一种算法使它们之间建立一一对应关系来给出一种新的证明方法.
关键词(KeyWords)： 字;一一映射;算法
基金项目(Foundation):
作者(Author): 孙毅
参考文献(References)：
- [1]David Callan.Some Identities for the Catalan and Fine Numbers[J].Séminaire Lotharingien de Combinatoire,53,ArticleB53e,2005.
- [2]Chen Y C,Li Y,Shapiro,et al.Matrix Identities on Weighted Partial Motzkin Paths[J].European J Combin,2007,28(4):1196-1207.
- [3]Marta Sved.Counting and Recounting:The Aftermath[J].The Mathematical Intelligencer,1998,6(4):44-46.