codeforce 577 B. Modulo Sum

当 n 大于 m 时，n 个数的和的种类至少有 n 种，根据鸽巢原理，n 种和 放到 m 个盒子里，必然有至少两个相同的和放到同一个盒子中。设得到这两种和的序列 为 a1,a2,……,al, 和 b1,b2,……,br，那么 bl+1,……,br 这段序列的总和必然为0 ，则结果必然存在

d当 n 小于等于 m 时， 用动态规划，相当于0/1 背包问题，对于每一个 a[i] 有要或者不要两种选择，设 dp[i][j]表示前 i 个数的和模 m 为 j ，那么对于每一个 a[i]，如果不加入序列，则 前 i 个数序列的和 跟前 i-1 个数序列的和一样，则 dp[i][j] = dp[i-1][j]，如果第 i 个数 a[i]要，则 dp[i][(j+a[i])%m] = 1.

初始化，dp[i][a[i]%m] = 1 ，相当于前 i 个数的序列都只取 当前的第 i 个数

代码如下

#include <iostream>
using namespace std;
int dp[2000][1000],a[1000000];
int main() 
{
	int n,m,i,j;
	scanf("%d%d",&n,&m);
	for(i=0;i<n;++i)
		scanf("%d",&a[i]);
	if(n>m)
	{
		cout<<"YES";
		return 0;
	}
	dp[0][a[0]%m] = 1;
	for(i=1;i<n;++i)
	{
		dp[i][a[i]%m] = 1;
		for(j=0;j<m;++j)
		{
			if(dp[i-1][j])
			{
				dp[i][(j+a[i])%m] = 1;
				dp[i][j] = dp[i-1][j];
			}
		}
	}
	for(i=0;i<n;++i)
	{
		if(dp[i][0]==1)
		{
			cout<<"YES";
			return 0;
		}
	}
	cout<<"NO";
	return 0;
}