奶牛们有一个习惯,那就是根据自己的编号选择床号。如果一头奶牛编号是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.
用反证,可以证明结论正确。
也就是说,我们要找到一个最小的因子,使得它不是任意两个数的差的因子。
- 最简单的做法,我们用 O ( n 2 ) O(n^2) O(n2)的复杂度计算出来所有的差,并且对每个差计算他的所有因子,并记录。但是这样复杂度过高。
- 我们也可以将所有的差先计算出来,然后从小到大遍历所有的数,对每个数判断它是不是某个差的因子,这个过程类似于埃及筛法求素数的过程。
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;
}
}