题解思路：
首先，我们根据题目给的条件能归结出几个不等式：
（1） k <= j < i ;
（2） k >= i - rad[i] + 1 >=1;
（3） k >= j - rad[j] + 1 >=1;
（4） i <= j + rad[j] -1 ;
（5） j - k >= i - j >=1;
（6） i - rad[i] +1 <= i+1 - rad[i+1] + 1 ;
由（1）、（6）可知（3）在（2）的情况下显然成立，因此可删去。
由（5）可知（4）在（3）的情况下显然成立，因此可删去。
最后留下的就只有（1），（2），（5）。
我们重新整理一下 k 的范围：
（1）k <= j ；
（2）k >= i - rad[i] + 1 ；
（3）k <= 2 * j - i <= 2 * ( i - 1 ) - i = i - 2；
因为 j < i，很显然 j >= 2*j - i;
所以，k的范围就是 [ i - rad[i] + 1， i - 2 ]。
最后再把小于0这种没意义的情况当0处理即可。
代码如下：
#include<bits/stdc++.h> using namespace std; #define maxn 1000005 #define ll long long typedef pair<int,int> PII; const int mod = 1e9+7; int T,n,cas; int a[maxn]; int main() { scanf("%d",&T); while(T--){ scanf("%d",&n); for(int i=1;i<=n;i++)scanf("%d",&a[i]); int ans=0; for(int i=3;i<=n;i++) ans^=max(a[i]-2,0); printf("Case %d: %d ",++cas,ans); } }