CF1491D

好自闭，这种状态打个锤子 CSP。。

可以发现以下几个结论：

• 如果 $u\gt v$，那么一定无解。
• 存在一种方案，使得 $u$ 每次加上的 $v$ 都是 $2$ 的次幂。因为如果 $v=2^{a_1}+\cdots+2^{a_k},a_1\lt\cdots\lt a_k$，那么可以依次将 $u$ 加上 $a_k,\cdots,a_1$。显然结果是一样的。
• 只要不出现 $u$ 的后缀 $1$ 个数小于 $v$ 的后缀 $1$ 个数那么就可以从 $u$ 走到 $v$。必要性很显然，用如下构造说明充分性：可以一位一位的把当前最高的不相同的位推到相同的，不难发现这样是正确的。

Code：

#include <bits/stdc++.h>
#define NO return printf("NO\n"), void()
#define YES return printf("YES\n"), void()
using namespace std;
int Q;
int u, v;

void solve() {
	scanf("%d%d", &u, &v);
	if (u > v) NO;
	int sum = 0;
	for (int i = 0; i < 31; ++i) {
		if (u >> i & 1) ++sum;
		if (v >> i & 1) --sum;
		if (sum < 0) NO;
	}
	YES;
}

int main() {
	scanf("%d", &Q);
	while (Q--) solve();
	return 0;
}