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;
}