codeforces 1439A2 Binary Table (Hard Version) (#684 Div1)

题目链接：

https://codeforces.com/problemset/problem/1439/A2

题目大意：

给你一个n*m的只包含0,1的表，现在可以进行一下操作：
选择一个2*2中的3个位置，将它们位置上的值异或1
可以证明在n*m次操作内，一定能使得整个表变为0
现在请你输出任意一种解（操作次数小于n*m）

输入与输出：

input：

第一行一个t，t组数据
对于每组数据，第一行两个数n m
然后n行m列为给出的表

output：

对于每组数据：
第一行一个r代表进行r次操作
然后每行6个数：x1 y1 x2 y2 x3 y3
为你每次操作选择的3个位置

思路：

1.对于2*2的方格，一定可以在4步之内将其全化为0，则我们需要4*(n/2)*(m/2) = n * m步操作：
具体的，如果此2*2方格为0则不管
如果有一个1，我们可以通过3次，每次不变的地方选择不为1的地方，这样原本不为1的地方异或了2次，不变。
  原本为1的地方异或了3次，变为0。（eg. 1000  [1011,1101,1110]）
如果有二个1，我们可以通过2次，每次不变的地方选择其中一个1，这样不为1的地方异或了2次，不变。
  原本为1的地方异或了1次，变为0。（eg. 1010  [0111, 1101]）
如果有三个1，我们可以通过1次。
如果有四个1，我们可以通过4次。

2.对于n为奇数或者m为奇数的情况，我们可以先处理最后一行或者最后一列，使得n,m变为偶数，
而处理的在处理第n行或者第m列时，我们不需要管其对于n-1行，或者m-1列的影响（因为我们最后再处理前面
偶数的部分）而处理最后一行时或一列时，操作次数为n + m - 1，再加上前面偶数部分的(n - 1) * (m - 1) 也为n*m

代码：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
using namespace std;
const int maxn = 105;

bool xx[maxn][maxn];
char ch[maxn];
int n, m;
struct node
{
	int rr[3][2];
	void update(int _x, int _y, int xx);
};
queue<node> que;

void updateXX(const node& tr)
{
	for (int ii = 0; ii < 3; ii++)
		xx[tr.rr[ii][0]][tr.rr[ii][1]] ^= 1;
}

void getTR(int ii, int jj)
{
	static vector<int> vec;
	static int pp[] = { 1, 2, 4, 8 };
	static int ap = 15;
	vec.clear();

	for(int i = 0;i <= 1;i++)
		for (int j = 0; j <= 1; j++) 
			if (xx[ii - 1 + i][jj - 1 + j])
				vec.push_back(1 << (i*2+j));
	if (vec.size() == 0) return;
	else if (vec.size() == 1) {
		node tr;
		for (int i = 0; i < 4; i++) {
			if (vec[0] == pp[i]) continue;
			tr.update(ii, jj, ap - pp[i]);
			que.push(tr);
		}
	}
	else if (vec.size() == 2) { 
		node tr;
		for (int i = 0; i < 2; i++) {
			tr.update(ii, jj, ap - vec[i]);
			que.push(tr);
		}
	}
	else if (vec.size() == 3) {
		node tr;
		int t_p = 0;
		for (int i = 0; i < 3; i++)
			t_p += vec[i];
		tr.update(ii, jj, t_p);
		que.push(tr);
	}
	else {
		node tr;
		for (int i = 0; i < 4; i++) {
			tr.update(ii, jj, ap - pp[i]);
			que.push(tr);
		}
	}
}

int main()
{
	int t;
	scanf("%d", &t);
	while (t--) {
		scanf("%d%d", &n, &m);
		for (int i = 1; i <= n; i++) {
			scanf("%s", ch + 1);
			for (int j = 1; j <= m; j++)
				xx[i][j] = ch[j] - '0';
		}
		if (n & 1) {
			for (int j = 2; j <= m; j++) {
				if (xx[n][j]) {
					node tr;
					tr.update(n, j, 11);
					updateXX(tr);
					que.push(tr);
				}
			}
			if (xx[n][1]) {
				node tr;
				tr.update(n, 2, 7);
				updateXX(tr);
				que.push(tr);
			}
			n--;
		}
		if (m & 1) {
			for (int i = 2; i <= n; i++) {
				if (xx[i][m]) {
					node tr;
					tr.update(i, m, 13);
					updateXX(tr);
					que.push(tr);
				}
			}
			if (xx[1][m]) {
				node tr;
				tr.update(2, m, 7);
				updateXX(tr);
				que.push(tr);
			}
			m--;
		}
		for (int i = 2; i <= n; i += 2) {
			for (int j = 2; j <= m; j += 2) {
				getTR(i, j);
			}
		}
		printf("%d\n", que.size());
		while (que.size()) {
			node &tr = que.front();
			bool ff = 0;

			for (int i = 0; i < 3; i++) {
				for (int j = 0; j < 2; j++) {
					if (!ff) printf("%d", tr.rr[i][j]), ff = 1;
					else printf(" %d", tr.rr[i][j]);
				}
			}
			printf("\n");
			que.pop();
		}
	}
}

void node::update(int _x, int _y, int xx)
{
	static int dx[][2] = { {-1, -1}, {-1, 0}, {0, -1}, {0,0} };
	int ii = -1;
	int ri = -1;

	while (xx) {
		ii++;
		if (xx & 1) {
			ri++;
			rr[ri][0] = _x + dx[ii][0];
			rr[ri][1] = _y + dx[ii][1];
		}
		xx >>= 1;
	}
}