OKEA（构造/等差数列）

题目
题意：给定$n，k$。问能否构造一个$n\ast k$的二维数组，使得
二维数组中，1到$n\ast k$每个元素都用到；
对于每一行数，任意区间和能被它的区间长度整除，即${\sum }_{j=l}^r{a}_{ij}\%(r-l+1)==0,1<=i<=n,1<=l<=r<=k$。
如果不能构造，输出NO；否则输出YES，以及对应的二维数组。

思路：对于二维数组的每一行，构造序列$x,x+2,...,x+2\ast (k-1)$。这是一个等差序列。
那么对于任意的子区间$0<=l,r<k$，其总和为$(a_l+a_r)\ast (r-l+1)/2=(x+2\ast l+x+2\ast r)\ast (r-l+1)/2=(x+l+r)\ast (r-l+1)$，显然，$(x+l+r)\ast (r-l+1)$能被区间长度$r-l+1$整除。
通过以上思路，我们可以发现，每一行的元素，奇偶性要相同。因此，如果有奇数行，且列数超过1时（n为奇数，k>1），无法保证每一行的奇偶性相同，此时无法构造。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int maxn = 200010;

int n, k;

void solve() {
	scanf("%d%d", &n, &k);
	if ((n & 1) && k > 1) {
		printf("NO\n");
		return;
	}
	printf("YES\n");
	int odd = 1, even = 2;
	for (int i = 1; i <= n; ++i) {
		int num = k;
		if (i & 1) {
			while (num--) {
				printf("%d ", odd);
				odd += 2;
			}
		} else {
			while (num--) {
				printf("%d ", even);
				even += 2;
			}
		}
		printf("\n");
	}
}
int main() {
	int t;
	scanf("%d", &t);
	while(t--) {
		solve();
	} 
	return 0;
}
/*
2 4 6 8 10 12
*/