CodeForces - 1777C题解

题目来源：Problem - 1777C - Codeforces

题目大意：就是从一个数组中选取一些数，使得这些数恰好是1~m的倍数，求极差的最小值

解题思路：双指针

先将数组a排序，我们发现在数组中连续的一段要比不连续的一段好，因为连续的一段如果满足题意得话，它的极差是会≤不连续的一段的极差的，因此我们可以用双指针来写

首先枚举数i的倍数j，然后反过来存,存i，表示j的因子有哪些

然后双指针遍历区间，右指针右移动，则遍历这个新增的数的所有因数，看它原来记录没，没记录的话就记录下，并增加cnt，一直到右指针走到n，或者cnt=m

然后如果cnt=m，就算一次ans

然后左指针右移，遍历这个要去掉的数的所有因数，减少vis的次数，如果vis等于0说明这个因数在1~m中就没了，因次cnt--

代码（附有详细注释）

#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;
const int N = 1e5 + 10;
int a[N];
vector<int> b[N];//用来存j的因数
int vis[N];//用来存每个数的因子在这些数中出现的次数
int cnt = 0;//用来存a数组中存在多少个数是1~m不同数的倍数
int main()
{
	for (int i = 1; i <= N; i++)//从1开始枚举，i就是每个j的因数
	{
		for (int j = i; j <= N; j+=i)
		{
			b[j].push_back(i);//存的是每个数的因数
		}
	}
	int t;
	scanf("%d", &t);
	while (t--)
	{
		int n, m;
		int ans = N;
		scanf("%d%d", &n, &m);
		for (int i = 1; i <= n; i++)
			scanf("%d", &a[i]);
		sort(a + 1, a + 1 + n);//排序a数组
		for (int l = 1,r=0; l <= n; l++)//双指针
		{
			while (r < n && cnt < m)//如果右指针没有到达n，并且不同数的倍数小于m，也就是还不满足这段序列的因数能包括所有的1~m
			{
				r++;//右指针右移
				for (int i = 0; i < b[a[r]].size(); i++)//右指针右移动，这个序列中增加了一个数a[r]
				{										//遍历a[r]的所有因数
					int q = b[a[r]][i];//表示一个a[r]的因数
					if (q <= m)//如果这个因数小于m
					{
						if (!vis[q])//这个因数是第一次出现
						{
							cnt++;//多了一个不同的因子
						}
						vis[q]++;//该因子出现次数加1
					}
				}
			}
			if (cnt == m)//不同因子的数等于m，即满足题意
			{
				ans = min(ans, a[r] - a[l]);//求最小值
			}
			for (int i = 0; i < b[a[l]].size(); i++)//左指针右移，遍历a[l]的所有因数
			{
				int q = b[a[l]][i];//b[l]的一个因数
				if (q >= 1&&q<=m)//这个因数在1~m的范围内
				{
					vis[q]--;//要去掉一次这个因数的出现次数
					if (!vis[q])//去掉之后如果为0，说明这个因数在1~m中只出现了一次，去掉后就少了一个不同的因数，因此cnt--
						cnt--;
				}
			}
		}
		if (ans == N)
			printf("-1\n");
		else
			printf("%d\n", ans);
	}
	return 0;