モノグサプログラミングコンテスト2022 (ABC238) D - AND and SUM (400)
$ 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が存在するのはおかしいため、そのようなのが存在すれば不可能
逆に無ければそのように$ x,yに分割する方法が存在する
テストケース数にだけ依るので$ \mathcal{O}(T)