Codeforces Round #685 (Div. 2) F. Nullify The Matrix 博弈

Problem - 1451F. Nullify The Matrix

题意

有一个 $n\cdot m$ 的矩阵，元素均为非负数。两个人轮流对矩阵进行操作：

• 先选一个非零点 $(r_1,c_1)$ ，一个点 $(r_2,c_2)$ ，满足 $r_2\ge r_1,c_2\ge c_1$ 。
• 将 $a_{r_1,c_1}$ 的值减小为 $[0,a_{r_1,c_1}-1]$ 。
• 任选一条从开始点 $(r_1,c_1)$ 到结束点 $(r_2,c_2)$ 的一条最短路径，并任意修改路径上的点为一个非负数。
• 路径上的点不包括起始点 $(r_1,c_1)$，但包括结束点 $(r_2,c_2)$。
• 当矩阵的数全部为 $0$ 时，无法进行操作，游戏结束。无法操作的一方输。

Ashish先手，谁必胜。

解法

将矩阵的 $n\cdot m$ 个元素进行分组，对于任意元素 $a_{i,j}$ ，满足 $i+j=d$ 的元素所在组的编号为 $d$ ，即所有$i+j$ 的值相等的元素为一组。

• 有两个状态 $S_1,S_2$ 。$S_1$ 表示在同一组的元素异或和全部为 $0$ 。$S_2$ 表示存在一组元素的异或和不等于 $0$ 。
• $S_1$ 进行一步操作后必定转换为 $S_2$ 。
  • 因为起始点 $a_{r_1,c_1}$ 的值必定减小，那么 $r_1+c_1$ 这一组的异或值必定会变成非 $0$ 。
• $S_2$ 进行一步操作可以转换为 $S_1$ 。
  • 任选一条路径，这条路径上的每个点都分别属于一组，将这个点的值修改为这组其他所有元素的异或和即可。起始点必须减少，一定在起始点所在组中存在一个数，减少后这组的异或和为 $0$ 。
• 结束状态为 $S_1$ ，那么如果开始状态为 $S_1$ ，先手会一直处在 $S_1$ 状态，先手必败；否则先手必胜。

解法

#pragma region
#include <algorithm>
#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <map>
#include <queue>
#include <set>
#include <vector>
using namespace std;
typedef long long ll;
#define tr t[root]
#define lson t[root << 1]
#define rson t[root << 1 | 1]
#define rep(i, a, n) for (int i = a; i <= n; ++i)
#define per(i, a, n) for (int i = n; i >= a; --i)
#pragma endregion
const int maxn = 105;
int n, m, a[maxn][maxn];
int xr[maxn << 1];
int main() {
    int T;
    scanf("%d", &T);
    while (T--) {
        memset(xr, 0, sizeof(xr));
        scanf("%d%d", &n, &m);
        rep(i, 1, n) rep(j, 1, m) scanf("%d", &a[i][j]), xr[i + j] ^= a[i][j];
        int flag = 0;
        rep(i, 2, n + m) if (xr[i]) flag = 1;
        puts(flag ? "Ashish" : "Jeel");
    }
}