$ x + y = (x \oplus y) + 2 (x \land y) なので$ t = x \oplus yとすると、$ s = t + 2a \iff t = s - 2a $ t \lt 0ならペアは存在しない 後はこのような$ t,aに分割できるか判定する 全ての桁についてXORでもANDでも立っているbitが存在するのはおかしいため、そのようなのが存在すれば不可能 逆に無ければその