Lucas在与位运算有关的组合数中的应用

本文搬运自本人高中时期CSDN博客,若图片加载不出来,可到原文查看:https://blog.csdn.net/zhangtingxiqwq/article/details/133176573

(nm)mod2\binom{n}{m}\bmod 2

根据 Lucas,有 (nmod2mmod2)(n/2m/2)\binom{n\bmod 2}{m\bmod 2}\binom{n/2}{m/2}

也就是 (n&1m&1)(n>>1m>>1)\binom{n\&1 }{m\&1}\binom{n>>1}{m>>1}

假设结果为奇数,则任意 (n&1m&1)\binom{n\&1 }{m\&1} 必须为1,则 m&1n&1m\&1 \subseteq n\&1

每一位都满足,也就是 n&m=mn\&m=m 时为奇数