Codeforce 1270 E. Divide Points（奇偶分类构造）

题目大意：将二维坐标平面上的点分成两组，使得同一组的点之间的欧几里得距离不等于不同组之间的欧几里得距离。

---

首先按在坐标(x,y)的奇偶性将所有点划分到4个桶：00，01，10，11；1代表奇数，0代表偶数。

在一个桶内的距离一定是偶数，在不同桶但异或起来等于11的距离也是偶数（如00和11，10和01），其它的都是奇数。

若只有一个桶有点，把所有的坐标除以2，然后重复划分过程。
把一个桶内的所有点的x,y除以2，所有点间距离刚好缩短两倍（同一个桶内的点的下标差值一定是偶数，可以整除2，距离一定是刚好缩短两倍），不会影响判断结果。除2以后点的奇偶性将发生改变，然后重复这个过程。

若至少两个桶内有点：
任意两个桶间的距离和桶内的距离都不会相等：若两个桶异或不为11，那么桶间的距离是奇数，桶内是偶数。若两个桶异或为11，桶内的距离是两个偶数的平方相加，其和一定是4的倍数，桶间的距离是两个奇数的平方相加，其和是2的倍数但不是4的倍数。

若 00 和 11的点的个数和 大于 0 且 10 和 01 的点的个数和 大于 0，则将00 和 11 分一组，10 和 01分一组。

否则直接输出一个桶的点

---

代码：

#include<bits/stdc++.h>
using namespace std;
#define pii pair<int,int>
#define fir first
#define sec second
const int maxn = 3e3 + 10;
int n;
pii t[maxn];
int cnt[2][2];
int main() {
	scanf("%d",&n);
	for(int i = 1; i <= n; i++) {
		scanf("%d%d",&t[i].fir,&t[i].sec);
		t[i].fir += 1000000;
		t[i].sec += 1000000;
	}
	while(1) {
		memset(cnt,0,sizeof cnt);
		for(int i = 1; i <= n; i++) {
			cnt[t[i].fir % 2][t[i].sec % 2]++;
		}
		if(cnt[0][0] + cnt[1][1] > 0 && cnt[1][0] + cnt[0][1] > 0) {
			printf("%d\n",cnt[0][0] + cnt[1][1]);
			for(int i = 1; i <= n; i++) {
				if(t[i].fir % 2 == t[i].sec % 2) 
					printf("%d ",i);
			}
			break;
		}
		if(cnt[0][0] + cnt[0][1] > 0 && cnt[1][0] + cnt[1][1] > 0) {
			printf("%d\n",cnt[0][0] + cnt[0][1]);
			for(int i = 1; i <= n; i++) {
				if(t[i].fir % 2 == 0) 
					printf("%d ",i);
			}
			break;
		}
		for(int i = 1; i <= n; i++)
			t[i].fir /= 2,t[i].sec /= 2;
	}
	return 0;
}