一个组合恒等式的算法证明

• 作 者: 孙毅
• 机 构: 新疆大学数学与系统科学学院
• 出 处: 新疆大学学报：自然科学版
• 发表日期: 2013年2期
• 关键词: 字 一一映射 算法 words bijection algorithm

中心二项式系数的卷积∑k=0^n（k^2k）（n-k^2（n-k））与基数为4^n的某些组合结构之间存在如下关系：4^n=∑k=0^n（k^2k）（n-k^2（n-k））.本文中先用组合结构分别对∑k=0^n（k^2k）（n-k^2（n-k））和4^n给出组合解释，然后通过一种算法使它们之间建立一一对应关系来给出一种新的证明方法．