code froce 577B DP

给两个数n（n <= 1e6）， m ( m <= 1e3 )， 问能否在n个数里找到一些数 让他们的和相加能被m整除

思路： 把所有的n变为在m的剩余系下的数

1. n > m 此时在m的剩余系下一定存在两个相等的数 那他们之差一定是0 所以此时一定存在能被m整除 （抽屉原理）

2. n <= m

跟01背包问题类似 

DP设计的转移方程为

f[i][j] = f[i - 1][j] || f[i - 1][(j - a + m) % m]

前一个式子指在前面的所有数中是否存在和被m整除

第二个式子指在前面所有数中是否存在一个和加上当前这个数字能被m整除 （j != a）

#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
using namespace std;

const int MaxN = 1000;
int a, n, m;
bool f[MaxN + 5][MaxN + 5];

int main()
{
    scanf("%d %d", &n, &m);
    if (n > m)
    {
        printf("YES");
        return 0;
    }
    else
    {    
        for (int i = 1; i <= n; i++)
        {
            scanf("%d", &a); a %= m;
            f[i][a] = 1;
            for (int j = 0; j <= m - 1; j++)
            if (j != a) f[i][j] = f[i - 1][j] || f[i - 1][(j - a + m) % m];
        }
        printf(f[n][0] ? "YES" : "NO");
    }
}