XORと和の交換

0/1の列に対して下記が成り立つ

• $\sum_i^N x_i = K \iff \sum_i^N (1 \oplus x_i) = N - K$

一般の整数列でも、ビットごとの列とみなせばいける 足し算の順序の変更 ABC147D

• $A_i = \sum_j x_{ij} 2^j$