标签：结论 相同 个数 哪里 长度 binom 神奇 2n 2k

求证：

\[\sum_{i=0}^n\binom{2k}k\binom{2n-2k}{n-k}=4^n \]

首先，我们将 \(4^n\) 视为 \(2^{2n}\)，赋予其组合意义为长为 \(2n\) 的 \(0/1\) 串个数。

LHS 中组合数的结构指引我们将整个串分成两个部分，根据 \(\binom{2k}k\) 自然地想到第一部分可以是 \(0/1\) 个数相同的长度为 \(2k\) 的串，根据计数不重不漏的思想，再加一个限制，最后得到 最长的 \(0/1\) 个数相同的长度为 \(2k\) 的串，显然是 \(\binom{2k}k\)。

接下来是第二部分，根据第一部分的定义，第二部分的定义自然是任意一个前缀的 \(0/1\) 个数都不相同的长度为 \(2n-2k\) 的后缀，接下来就转化为证明满足任意前缀的 \(0/1\) 数量都不相同的长度为 \(2k\) 的串数为 \(\binom{2k}k\)。

先讲一种比较自然的双射解法。

不难想到将 \(0/1\) 串转化为向右 / 向上走，限制就转化为除起点外不能经过直线 \(y=x\)，这和 Catalan 数是相似的，所以用一样的方法计算就可以了。

还有一种更为高妙的解法：

标签：结论,相同,个数,哪里,长度,binom,神奇,2n,2k
来源： https://www.cnblogs.com/LaoMang-no-blog/p/16651890.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。