-
处理取模:\(x\ mod\ p = x - p\lfloor\frac{x}{p}\rfloor\)。
-
处理 \(-1\) 的幂:\((-1) ^ a = 1 - 2(a\ mod\ 2) = 1 - 2(a - 2\lfloor \frac{a}{2}\rfloor)\),从而把 \(a\) 从指数上拿下来。
-
处理求和式:交换求和顺序,如果不能交换,考虑凭空求和:\(x = \sum\limits_{0}^{x-1}1\)。
-
处理有关上下取整的限制:\(x\le \lfloor y\rfloor\iff x\le y\),\(x \ge\lceil y\rceil\iff x\ge y\),反之亦然,可以这样把取整符号里的除法、根号等去掉然后再把取整加回去。
-
\([x = 1]\) 考虑凭空莫反转化成 \(\sum\limits_{d | x}\mu(d)\);\([\gcd(x, y) = d]\) 考虑枚举 \(d\),使得 \(Xd = x, Yd = y\),然后变成 \([\gcd(X, Y) = 1]\),用凭空莫反。
-
一道题目涉及到异或和的时候想想Kummer定理,\(\binom{n}{k}\ mod\ 2 = 1\iff k\subseteq n\)。