码迷,mamicode.com
首页 > 其他好文 > 详细

bzoj4693

时间:2020-03-31 20:42:28      阅读:65      评论:0      收藏:0      [点我收藏+]

标签:http   mat   容斥   geo   row   a+b   条件   and   class   

题意

bzoj

做法

结论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就好了

bzoj4693

标签:http   mat   容斥   geo   row   a+b   条件   and   class   

原文地址:https://www.cnblogs.com/Grice/p/12608038.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!