题面：给定非负整数a和s，问是否存在一组非负整数(x,y)，满足x&y=a，并且x+y=s？
范围：0 <= a,s < 2^60
分析：异或是不进位加法，如果考虑进位，加上按位与的结果左移1位即可，也就是：x+y=(x^y)+((x&y)<<1)，代入得x^y=s-2a，并且x&y=a，逐位分析可知，按位与的结果为1时，异或结果必为0。
#include <bits/stdc++.h>
using i64 = long long;
void solve() {
i64 a, s;
std::cin >> a >> s;
if (s < 2 * a) {
std::cout << "No\n";
return;
}
s -= 2 * a;
if ((s & a) != 0) {
std::cout << "No\n";
return;
}
std::cout << "Yes\n";
}
int main() {
std::cin.tie(0)->sync_with_stdio(0);
int t = 1;
std::cin >> t;
while (t--) solve();
return 0;
}
标签：位运算
