codeforces 577B Modulo Sum

【题目链接】http://codeforces.com/problemset/problem/577/B

【解题报告】
卡了很久的一道题，鸽巢原理+DP。
前1~i个数的和，和前1~j个数的和对m取模一定不同才能使1~j没有子序列被m整除；如果相同那么必有i+1~j被m整除。
所以至多m个数会取遍m的剩余类中1~m-1；
所以当n>m时一定存在解。
现在考虑n<=m的情况。
最简单的方法就是dp，定义一个布尔值数组dp[n][m]，dp[i][j]表示前i个物品存在子序列模m后值为j。每次对第i+1个物品，考虑放或者不放，然后状态转移即可。

【参考代码】

#include<cstdio>
#include<iostream>
using namespace std;

int main()
{
    int n,m;
    int a[1000+10];
    bool dp[1000+10][1000+10];
    cin>>n>>m;
    if(n>m){ cout<<"YES\n"; return 0;  }
    for( int i=1;i<=n;i++ )cin>>a[i];

    for( int i=1;i<=n;i++ )dp[i][a[i]%m]=true;

    for( int i=0; i<=n; i++ )
    for(  int j=0;j<m;j++ )   
    {
        dp[i][j]= dp[i][j] || dp[i-1][j];
        dp[i][ (j+a[i])%m ]= dp[i][ (j+a[i])%m ] || dp[i-1][j];
    }
    if( dp[n][0] ) cout<<"YES\n"; 
    else cout<<"NO\n";

    return 0;
}