杨辉三角中某一行的奇数个数

由高中数学可知，杨辉三角中的数可以用组合数表示。那么，第$n+1$行中奇数的个数也可以用数学公式表示：$$\sum _{i=0}^n[C_n^i\%2=0]$$

首先给出结论：令$bitcount(n)$为$n$的二进制中1的个数。则有$$\sum _{i=0}^n[C_n^i\%2=0]=2^{bitcout(n)}$$

  证明：组合数取模，想到卢卡斯定理：$$C_n^m\mathrm{m}\mathrm{o}\mathrm{d}p=(C_{n/p}^{m/p}\times C_{n\mathrm{m}\mathrm{o}\mathrm{d}p}^{m\mathrm{m}\mathrm{o}\mathrm{d}p})\mathrm{m}\mathrm{o}\mathrm{d}p$$

但事实上，卢卡斯定理还有另一种等价形式：$$C_n^m\equiv \prod _{i=0}^k{C}_{n_i}^{m_i}(\mathrm{m}\mathrm{o}\mathrm{d}p)$$
其中，$m=m_k{p}^k+...+m_{1}p+m_0,n=n_k{p}^k+...+n_{1}p+n_0$是$m，n$的$p$进制表示。因此， n i , m i ∈ { 0 , 1 } n_i,m_i\in\{0,1\} ni​,mi​∈{0,1}。

也就是说，想要$C_n^m$为奇数，那么必须要求$n$的$2$进制为$0$的位置上，$m$的$2$进制也为$0$。

所以这个组合数只可能是$C_0^0,C_0^1,C_1^0,C_1^1$，$C_0^0,C_1^0,C_1^1$其值均为1，但卢卡斯定理规定$C_0^1$这样不合法的组合数值为$0$。

那么，考虑从$0$到$n$，满足这个条件的$i$的个数：
假设$n$的二进制表示有$k$位，那么在为$1$的位上，$i$在这一位的取值有$0$和$1$，为$0$的位上，$i$的取值只能是$0$。比如$9(1001)$，$i$在最左和最右边的两位都可以取$0$或$1$，但是中间两位只能取$0$。那么，如果令$bitcount(n)$为$n$的二进制中1的个数。则有$$\sum _{i=0}^n[C_n^i\%2=0]=2^{bitcout(n)}$$

证毕

顺便，由上文提到的**想要$C_n^m$为奇数，那么必须要求$n$的$2$进制为$0$的位置上，$m$的$2$进制也为$0$。**立刻可得一种$O(1)$判断组合数奇偶的方法：

• 若$n\&m=m$，则$C_n^m$为奇数。否则，$C_n^m$为偶数