【题解】奶牛的卧室

奶牛们有一个习惯，那就是根据自己的编号选择床号。如果一头奶牛编号是a，并且有0…k-1一共k张床，那么她就会选择a mod k号床作为她睡觉的地点。显然，2头牛不能睡在一张床上。那么给出一些奶牛的编号，请你为她们准备一间卧室，使得里面的床的个数最少。

---

本题要求的，就是找一个最小的数m，使得任意两个数x，y，满足：
(x mod m) != (y mod m).
根据结论：
当（(x - y) mod m） != 0，则有：(x mod m) != (y mod m).

证明：
设：a % m = b % m = k,
则：a = p1 * m + k; b = p2 * m + k.
(a - b) = (p1 - p2) * m,(a - b) mod m = 0.
用反证，可以证明结论正确。

---

也就是说，我们要找到一个最小的因子，使得它不是任意两个数的差的因子。

1. 最简单的做法，我们用$O(n^2)$的复杂度计算出来所有的差，并且对每个差计算他的所有因子，并记录。但是这样复杂度过高。
2. 我们也可以将所有的差先计算出来，然后从小到大遍历所有的数，对每个数判断它是不是某个差的因子，这个过程类似于埃及筛法求素数的过程。

for (int j = i * 2; j <= maxx + 1 && tmp; j += i) 
		if (exist[j]) tmp = 0; 

#include<iostream>
#include<cstdio>
#include<string>
#include<string.h>
#include<algorithm>
#include<map>
#include<queue>
#include<vector>
#include<set>
using namespace std;

#define ll int
#define vec vector<ll>
#define MAX 5005
#define inf 0x3fffffff
#define P pair<ll,ll>

int main() {
	ll n, a[MAX], exist[1000005];
	while (cin >> n) {
		ll maxx = 0;
		memset(exist, 0, sizeof(exist));
		for (int i = 0; i < n; i++)cin >> a[i], maxx = max(maxx, a[i]);
		for (int i = 0; i < n; i++) 
			for (int j = i + 1; j < n; j++) 
				exist[abs(a[i] - a[j])] = 1;//记录所有的差
		ll sign = 0;
		for (int i = 1; i <= maxx + 1 && !sign; i++) {
			//判断它是不是任意差的因子
			if (exist[i] == 0) {
				ll tmp = 1;
				for (int j = i * 2; j <= maxx + 1 && tmp; j += i) 
					if (exist[j]) tmp = 0; 
				if (tmp)sign = i;
			}
		}
		cout << sign << endl;
	}
}