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 翻译