\(\color{red}{P15445}\)
。。。
考虑 \(z \ge 2x\)，显然构造 \(x ,x\oplus \operatorname{lowbit}(x)\) 最优。
然后考虑一般情况，首先 \(z < x\) 肯定无解，因为 \(0\le a\operatorname{and} b=a+b-a\operatorname{or}b \le z- x\)。
受启发发现答案一定有一串连续的前缀，不妨令 \(a > b\)，那么枚举第 \(i\) 位，该位 \(a\) 是 \(1\)，\(b\) 是 \(0\)，然后 \(a\) 肯定是后面一串 \(0\)，\(b\) 是 \(x\) 的 \([0 ,i - 1]\) 位。
考虑证明 \([0 ,i - 1]\) 位的选择：
-
\(a\) 是 \(1\) 且 \(b\) 是 \(1\)，可以把 \(a\) 改为 \(0\)，更优。
-
\(a\) 是 \(1\) 且 \(b\) 是 \(0\)，可以让 \(a\gets 0\)，\(b\gets 1\)，差更小，更优。
因此这样选择一定更优，枚举即可，复杂度 \(\mathcal O(Q \log V)\)。