acm-(异或、思维)Codeforces Round #705 (Div. 2) E. Enormous XOR

最新推荐文章于 2022-03-28 15:23:39 发布

&*^*&

最新推荐文章于 2022-03-28 15:23:39 发布

阅读量515

点赞数 4

本文链接：https://blog.csdn.net/qq_30361651/article/details/114476426

版权

acm竞赛算法思维

思维同时被 3 个专栏收录

42 篇文章 1 订阅

订阅专栏

思维游戏

24 篇文章 0 订阅

订阅专栏

异或

10 篇文章 0 订阅

订阅专栏

传送门

首先给出结论：

若 $l_0=0,r_0=1$ ，那么答案就是 $111 . . . 1$ (长度为 $n$ )。
否则若 $r$ 为奇数或 $l+1\ge r$ ，那么答案是 $r$ 。
否则( $r$ 为偶数并且 $l + 1 < r$ )答案是 $r + 1$ 。

下面给出证明：
第一种情况下我们可以找到长度为 $n$ 的 $01111 . . 1$ 与 $1000 . . 0$ 串，两者异或就能得到长度为 $n$ 的 $1111 . . 1$ 。

第二种情况我们先考虑 $l+1\ge r$ 的情况，此时无非有两种 $c a s e$ ，若 $l = r$ ，显然答案是 $r$ ，否则的话 $l + 1 = r$ ，我们发现 $g (l, l), g (l, l + 1), g (l + 1, l + 1)$ 中 $g (l + 1, l + 1)$ 取得 $f (l, r)$ 的最大值即 $r$ 。
现在考虑稍微复杂点的 $r$ 为奇数的情况，我们已经证明了当 $l+1\ge r$ 时 $f (l, r)$ 的答案是 $r$ ，考虑利用数学归纳法证明，设对于 $l, r$ 若 $r$ 为奇数并且 $r - l = k$ 满足 $f (l, r) = r$ 成立，那么 $r + 2 - l = k + 2$ ，此时满足 $r + 2$ 为奇数，我们需要证明 $f (l, r + 2) = r + 2$ 依然成立。考虑 $g$ 的定义域可以分为四种类型(下面用 $g l$ 代表 $g$ 的第一个参数， $g r$ 代表 $g$ 的第二个参数)：

$[gl,gr]\subseteq [r+1,r+2]$
$[gl,gr]\subseteq [l,r]$
$gl\le l,gr=r+2$
$gl\le l,gr=r+1$

显然第1种情况下 $g$ 的最大值为 $f (r + 1, r + 2) = r + 2$ 。
第2种情况下根据数学归纳法我们知道 $g$ 最大值为 $r$ 。
第3种情况下我们发现 $[r+1,r+2]\subset [gl,gr]$ ，由于 $(r+1)\; xor\;(r+2)=1$ ，那么 $g(gl,gr)=XOR_{i=gl}^{gr}i=(XOR_{i=gl}^{r}i)\;xor\;1\le f(l,r)\;xor\;1\le r$ ，因此该情况下最大值不超过 $r$ 。
最后一种情况稍微复杂点，我们考虑如何找到一个 $g l$ 使得 $XOR_{i=gl}^{gr}i>r+2$ ，为了达到这个目的，我们需要验证我们至少可以找到 $r + 2$ 的二进制位中的一个为 $0$ 的位，而 $g (g l, g r)$ 在这些位上为 $1$ 即可。我们取这些二进制位中的一个(满足 $r + 2$ 在这一位上为 $0$ )，假设这一位是 $pos\le n-1)$ ，然后从 $g r$ 开始递减找到第一个满足 $p o s$ 位为 $1$ 的数 $x$ ，一定有 $x_0=1$ ，注意到 $x+1)_0=0,gr_0=0$ ，那么有 $g r - x$ 是一个奇数。为了保证 $p o s$ 位异或出来是 $1$ ，我们还需要保证从 $[g l, x]$ 在 $p o s$ 位上有奇数个 $1$ ，注意到从 $x$ 开始递减，恰好有偶数个数(包括 $x$ )满足 $p o s$ 位为 $1$ ，继续递减的话(如果还没有变成 $0$ )恰好有偶数个数满足 $p o s$ 为 $0$ ，再继续递减的话(如果还没有变成 $0$ )仍然是恰好有偶数个数满足 $p o s$ 为 $1$ …以此类推。这个事实意味着我们需要保证 $[g l, x]$ 是一个奇数长度的区间才行，否则 $[g l, x]$ 区间在 $p o s$ 位上为 $1$ 的数字个数必定是偶数。
结合之前 $[x + 1, g r]$ 是一个奇数长度区间的结论，我们发现 $[g l, g r]$ 是一个偶数长度的区间，也就是说 $g (g l, g r)$ 在第 $n - 1$ 位上的值是 $0$ ，显然小于 $r + 2$ ，也就是说我们无法找到一个 $g l$ 使得当 $g r = r + 1$ 时 $g (g l, g r) > r + 2$ ，即在第4种情况下 $g(gl,gr)\le r+2$ 。
综合上述四个分类讨论我们证明了 $f (l, r + 2) = r + 2$ ，根据数学归纳法我们有当 $r$ 是奇数的时候， $f (l, r) = r$ 。

第三种情况就比较容易了，首先有 $f(l,r)\le f(l,r+1)=r+1$ (因为 $r + 1$ 是奇数)，又由于 $g (r - 2, r) = r + 1$ ，故 $f (l, r) = r + 1$ 。

#include <bits/stdc++.h>
using namespace std;

const int maxn = 1e6+5;
char l[maxn],r[maxn],tl[maxn];
int main(){
	int t=1;
	while(t--){
	int n;
	scanf("%d%s%s",&n,l+1,r+1);
	if(l[1]=='0' && r[1]=='1'){
		for(int i=1;i<=n;++i)printf("1");puts("");
	}else{
		bool ok=true;
		for(int i=1;i<=n;++i){
			if(l[i]!=r[i]){
				ok=false;
				break;
			}
		}
		if(!ok){
			ok=true;
			memcpy(tl,l,sizeof(char)*(n+2));
			int now=n;
			while(tl[now]=='1'){
				tl[now]='0';
				now--;
			}
			tl[now]='1';
			for(int i=1;i<=n;++i){
				if(tl[i]!=r[i]){
					ok=false;
					break;
				}
			}
		}
		if(ok){
			printf("%s\n",r+1);
		}else{
			r[n]='1';
			printf("%s\n",r+1);
		}
	}
}
}