题解：CF1710C XOR Triangle

_O_v_O_ · 2025-12-04 17:08:15 · 题解

把条件写出来，即 a\oplus b<b\oplus c+a\oplus c \land b\oplus c<a\oplus b+a\oplus c \land a\oplus c<a\oplus b+b\oplus c。

结论：对于任意整数 x,y,z，均满足 x\oplus y\le x\oplus z+y\oplus z。

证明：考虑对于某一数位，x\oplus z+y\oplus z 为 0，那么满足这一位上 x,y,z 相同，x\oplus y 这一位上为 0，如果不为 0，那么 x,y,z 这一位必定有不同，那么 x\oplus y 这一位不一定为 1。

那么直接在记搜的时候记录一下上面三个条件是否成立即可。