差异的可分割性(整除问题)

现在有n个整数，在这n个数中找出k个数，保证这k个数中任意两个数差的绝对值可以被m整除。
Input
第一行输入三个整数n，k，m(2<=k<=n<=100000,1<=m<=100000)。
第二行包含n个整数a1，a2，…，  an（0 <= ai <= 10^9 )。
Output
如果不存在这样的k个数，输出"No"；否则输出"Yes"后，在下一行输出这k个数,数与数之间用空格隔开。 (存在多种情况，输出任意一种)。
Example
Input
3 2 3
1 8 4
Output
Yes
1 4
Input
3 3 3
1 8 4
Output
No
Input
4 3 5
2 7 7 7
Output
Yes
2 7 7

解题思路

一看这道题，没思路暴力呗，再一看数据1e5暴力过不去，果然过到38组TLE，然后就不会了，中介还找个BUG，就是判定的时候不能用零（我的代码），因为第四组数据是好几个零，最后考完看到大佬的题解，才知道如果两个数相减能被一个数整除，那么这两个数的取模项等，在这里我想说下，遇到整除问题好像都用取模。

#include<bits/stdc++.h>
using namespace std;
const int maxn=1e6+10;
vector<int> ve[maxn];
int main()
{
	int n,k,m;
	scanf("%d %d %d",&n,&k,&m);
	for(int i=1;i<=n;i++)
	{
		int x;
		scanf("%d",&x);
		ve[x%m].push_back(x);//用个vector存一下 
	}
	int t=-1;
	for(int i=0;i<=m;i++)
	{
		if(ve[i].size()>=k)//这直接判断 
		{
			t=i;
			break;
		}
	}
	if(t==-1) printf("No\n");
	else 
	{ 
		printf("Yes\n");
		for(int i=0;i<ve[t].size();i++)
		{
			if(i==k) break;
			printf("%d ",ve[t][i]);//输出 
		}
	}
	printf("\n");
	return 0;
}