AT_abc238_d [ABC238D] AND and SUM

题目描述

请针对 $T$ 个测试用例,解决以下问题。 > 给定非负整数 $a, s$。是否存在满足以下两个条件的非负整数对 $(x, y)$? > > - $x\ \text{AND}\ y = a$ > - $x + y = s$ > > 其中 $\text{AND}$ 表示非负整数 $n, m$ 的按位与运算 $n\ \text{AND}\ m$,定义如下: > > - $n\ \text{AND}\ m$ 的二进制表示中,第 $2^k\ (k \geq 0)$ 位为 $1$ 当且仅当 $n$ 和 $m$ 的二进制表示的第 $2^k$ 位都为 $1$,否则为 $0$。 > > 例如,$4\ \text{AND}\ 6 = 4$(二进制为:$100\ \text{AND}\ 110 = 100$)。

输入格式

输入从标准输入读入。第一行包含: > $T$ 接下来有 $T$ 个测试用例。每个测试用例为一行,格式如下: > $a$ $s$

输出格式

请输出 $T$ 行。对于第 $i$ 个测试用例,如果存在满足题目条件的非负整数对 $(x, y)$,输出 `Yes`,否则输出 `No`。

说明/提示

### 限制条件 - $1 \leq T \leq 10^5$ - $0 \leq a, s < 2^{60}$ - 输入均为整数 ### 样例解释 1 对于第 $1$ 个测试用例,$(x, y) = (3, 5)$ 等满足条件。对于第 $2$ 个测试用例,不存在满足条件的非负整数对 $(x, y)$。 由 ChatGPT 4.1 翻译