XORと和の交換

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

• ${\sum }_i^N{x}_i=K⟺{\sum }_i^N(1\oplus x_i)=N-K$

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

• $A_i={\sum }_j{x}_{ij}{2}^j$