标签:for 分析 show 因此 异或 百度之星 href math xor
异或运算满足「三角不等式」。
$\forall a, b, c \in \mathbb{Z}_{\ge 0}$,有 $a \xor b \le (a \xor c) + (c \xor b)$ 。
证明:容易证明:$\forall a, b \in \mathbb{Z}_{\ge 0}$,有 $a \xor b \le a + b$,因此 $a \xor b = (a \xor c) \xor (c \xor b) \le (a \xor c) + (c \xor b)$ 。
标签:for 分析 show 因此 异或 百度之星 href math xor
原文地址:https://www.cnblogs.com/Patt/p/11408592.html