题目给定一个 n ∗ m n*m n∗m 大小的网格图,每个格子有一个非负整数。
每个人从一个非零格子作为矩形的左上角,将该格子的数减去一个非零值,其余矩形内的格子的数值任意变化(可不变),两人轮流操作,问先手后手赢?
当且仅当所有左斜对角线的异或值为 0 0 0 时,后手胜,否则先手赢。
简单证明:当局面存在若干个左斜对角线的异或值不为0,则先手选择其中最左上方的对角线,上的不为 0 0 0 的一个格子(要能减去一个数使得该对角线异或值为 0 0 0)作为矩形左上角。
然后再选右下角