标签:http mat 容斥 geo row a+b 条件 and class
结论1:对于\((X_1,X_2,...,X_k)\),其为红的充要条件为:令\(Y_i=X_i-1\),\(\prod\limits_{k=1}^K {\sum\limits_{i=1}^k Y_i\choose Y_k}\equiv 1(mod~2)\)
结论2:\({a+b\choose a}\equiv 1(mod~2)\)的充要条件为\(a\And b=0\)
证明:
\({a+b\choose a}\equiv 1(mod~2)\Longleftrightarrow (a+b)\And a=0\Longleftrightarrow a\And b=0\)
推论1:\(\prod\limits_{k=1}^K {\sum\limits_{i=1}^k Y_i\choose Y_k}\equiv 1(mod~2)\)的充要条件为\(\forall i,j(i\neq j)s.t. Y_i\And Y_j=0\)
然后容斥或者把\(L,R\)一起记录然后随便dp就好了
标签:http mat 容斥 geo row a+b 条件 and class
原文地址:https://www.cnblogs.com/Grice/p/12608038.html