摘要: CF1713F 利用lucas定理,$b_S$表示下标$T$与$S$无交的$a_T$的异或,由于部分$b_S$未知,不能直接iFWT。回顾容斥:$[S=\emptyset]=\sum_{T\subseteq S}(-1)^|T|$,$[n=0]=\sum_{i=0}^{n}C(n,i)(-1)^i$ 阅读全文
posted @ 2022-09-02 12:47 crasysky 阅读(89) 评论(0) 推荐(0) 编辑