Codeforces1554C Mikasa (思维 位运算)

题目链接: Mikasa

大致题意

给定非负整数$n$和$m$, 设集合 s t = { n ⊕ 0 , n ⊕ 1 , n ⊕ 2... , n ⊕ m } st = \{ n \oplus 0, n \oplus 1, n \oplus 2 ..., n \oplus m \} st={n⊕0,n⊕1,n⊕2...,n⊕m}.

求: MEX({st}).

解题思路

思维

考虑到xor的性质, $a\oplus b=c$ <==> $a\oplus c=b$. 我们不妨认为$n=a,b=m$, 则$c$为所求.

变形后, 相当于我们需要找到一个c, 使得 $a\oplus c\ne b$, 其中$b\in 0,1,...,m$.

进而转化为, 满足$n\oplus k>m$.

---

位运算

我们可以分类讨论n和m的情况, 来找到一个最小的$k$.
由于异或操作并不好处理大于的情况, 因此我们可以设$p=m+1$, 题目转化为: $n\oplus k>=p$.

由于要求$k$尽可能小, 我们考虑从高位向低位开始构造$k$.
假设我们想找到最小的$k$, 使得$n\oplus k==p$. 则对于第i位:
① 如果$n$这一位是1, 那么无论这一位如$p$何, 我们让$k$这一位是0即可.
② 如果$n$这一位是0, 那么如果$p$这一位是1, 则$k$这一位也必须是1, 反之让$k$这一位是0即可.

考虑到题目只需满足大于等于要求即可, 因此对于第i位, 如果此时$n$这位为1, 而$p$这位为0, 则$k$这位取0时, 已经满足$n\oplus k>p$, 则对于$k$的后续位而言, 都取0即可.

AC代码

#include <bits/stdc++.h>
#define rep(i, n) for (int i = 1; i <= (n); ++i)
using namespace std;
typedef long long ll;
int main()
{
	int t; cin >> t;
	while (t--) {
		int n, m; scanf("%d %d", &n, &m);
		m++; // p

		int res = 0; // k
		for (int i = 30; i >= 0; --i) {
			if ((res ^ n) >= m or (n >> i & 1)) continue;

			if (m >> i & 1) res += 1 << i;
		}
		printf("%d\n", res);
	}

	return 0;
}

END