Codeforces-构造题。

构造题，题目的标签含有constructive algorithms，判断答案是否存在，若存在，一般题目的答案不唯一。

题目列表

• The Very Beautiful Blanket
• Shocking Arrangement

The Very Beautiful Blanket。

题目简述：给定n, m两个数字；4<n,m<200。构造一个n行m列的矩阵，矩阵的每个数都不相同，满足对于任意点i, j，以(i, j, i+4, j+4)构成的子矩阵，左上和右下，右上和左下的异或相等。

思路。异或是一种位运算，所以按位考虑。多个数异或，我们只需统计0和1的奇偶性即可。对于每行，我们赋值0-255。也就是每行管低八位的数，对于每列，我们从1-255左移八位，管高八位的数，累加起来，这样每个数都不一样，且所有的异或和都是零，非常完美。
看了很多种题解后，才总结出来自己的想法，感谢各位大佬。因为n,m都小于200，所以8位256非常合适。

import sys

sys.stdin = open('./../input.txt', 'r')
I = lambda: int(input())
MI = lambda: map(int, input().split())
GMI = lambda: map(lambda x: int(x) - 1, input().split())
LI = lambda: list(MI())
LGMI = lambda: list(GMI())
mod = 1000000007
mod2 = 998244353

tcn = I()
for _tcn_ in range(tcn):
    n, m = MI()
    mtx = [[0 for _ in range(m)] for _ in range(n)]
    s = 1
    for i in range(n):
        x = s << 8
        s += 1
        for j in range(m):
            mtx[i][j] = x + j
    print(n * m)
    for i in range(n):
        print(*mtx[i])