CF 1451F-Nullify The Matrix 博弈/状态转换

注释有详细解释

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

const int maxn = 100+5;
int val[maxn*2], N, M;

/*
 CF 1451F - 博弈
    题意：给定一个N*M大小的棋盘，每个格子上都有一个数字，每一次可以选择两个点(x1, y1), (x2, y2)
                且x2>=x1, y2>=y1, 即(x2, y2)在(x1, y1)的右下方，每次操作可以选择从(x1, y1)到(x2, y2)的一条曼哈顿路径，
                (x1, y1)必须要减去一个正数，这条路径上的其他数字可加可减可不变，A, B两人轮流进行这样的操作，最后所有数字都为0后结束，
                问谁必赢
    思路：状态太多了，而且操作也太灵活了，SG肯定是没有用的，对于这种状态数没法枚举的题，可以将状态变成，对立的一些状态集合，
                将所有的状态归纳到状态集合中去，然后转化为状态集合之间的转化，若能让某一方一直在必败状态所在的状态集里出不来，那么就可以判断胜负了
    做法：设斜对角线上的所有元素的异或值为Xor(x+y==d) 
                设状态S为对于任意d，Xor(x+y==d)=0
                状态Q为存在d，Xor(x+y==d)!=0
                对于任意一种棋盘上的数字状态，只有可能属于S或Q

                证明: S状态操作一步后，必然转移到Q状态：显然，(x1, y1)减去某个整数后Xor(x1+y1==d)!=0
                证明：Q状态存在一种操作转移到S状态：对于一组数，若它们的异或值不为0，总能选择其中的一个数，让其变小后，使整个的异或值为0(证明略)

                败局属于S集合
                若初始状态为Q先手总可以把S留给后手，后手不得不把Q还给先手，那么后手一直在S态，则最后必输
*/

int main() {
    int T; scanf("%d", &T);
    while(T--) {
        scanf("%d%d", &N, &M);
        memset(val, 0, sizeof(val));
        for(int i=1; i<=N; i++) for(int j=1; j<=M; j++) {
            int t; scanf("%d", &t);
            val[i+j]^=t;
        }
        bool isok=true;
        for(int i=1; i<=N+M; i++) {
            if(val[i]!=0) {isok=false; break;}
        }
        printf("%s\n", isok?"Jeel": "Ashish");
    }
    return 0;
}