摘要：容易发现如果建一个n个点的二分图代表每个人的话，容易发现如果把点权中的0看作诚实，1看作欺骗，边权即为输入的z的话，相当于二分图染色。但我们发现没法表示某个人是否糊涂，如果我们不顾一切把糊涂看作点的颜色翻转的话，会发现对于某个其他人的表述出现冲突，所以我们对于每个点额外建一个点，这样的话点i表示别人 阅读全文

摘要：对于一个x我们发现最多只有 \(\log\) 次有效取模，但没啥用。我们发现 \(dp\) 数组(函数)是一个分段一次函数(等差数列)，然后从第一个 \(a_i\) 开始考虑，发现每次只会多出一条线段(就是\(a_i-1\)这条)其他线段会翻折到下面，对于一条线段只会进行\(\log a\)次翻折， 阅读全文

摘要：先贴个板子 or运算和and运算可以用高维前缀和容斥替代 首先\(FWT\)有线性性(所有线性运算都有线性性)，记\(FWT(A)\)表示对\(A\)进行\(FWT\)后的结果，那么\(FWT(A+B)=FWT(A)+FWT(B),FWT(cA)=cFWT(A)\)使用例子abc212_h 阅读全文