ABC150F

看到 Shift 先把 $\left\{a\right\}$ 复制一遍。

构造一个新的序列等于 $b+(-1)+a+a$。

跑一遍魔改的 Z 函数就可以了，即判断当前的 $a_i\oplus b_j$ 是否等于 $a_{i-1}\oplus b_{j-1}$。

最终统计答案的时候如果 $z_i=n$ 就输出。

Code：

#include <bits/stdc++.h>
using namespace std;
const int N = 200005;
int n;
int a[N], b[N], s[N*3];
int z[N*3];

void Z() {
	int l = 0, r = -1;
	int len = n + n + n + 1;
	for (int i = 1; i < len; ++i) {
		if (i <= r) {
			if (i + z[i - l] - 1 < r) z[i] = z[i - l];
			else {
				z[i] = r - i + 1;
				while (i + z[i] < len && (s[i + z[i]] ^ s[z[i]]) == (s[i + z[i] - 1] ^ s[z[i] - 1])) ++z[i];
			}
		}
		else {
			z[i] = 1;
			while (i + z[i] < len && (s[i + z[i]] ^ s[z[i]]) == (s[i + z[i] - 1] ^ s[z[i] - 1])) ++z[i];
		}
		if (i + z[i] - 1 > r) l = i, r = i + z[i] - 1;
	}	
}

int main() {
	scanf("%d", &n);
	for (int i = 0; i < n; ++i) scanf("%d", &a[i]);
	for (int i = 0; i < n; ++i) scanf("%d", &b[i]), s[i] = b[i];
	s[n] = -1;
	for (int i = 0; i < n; ++i) s[n + i + 1] = s[n + n + i + 1] = a[i];
	Z();
	for (int i = n + 1; i <= n + n; ++i)
		if (z[i] == n) printf("%d %d\n", i - n - 1, a[i - n - 1] ^ b[0]);
	return 0;
}