poj1745 0-1DP

/**
 * poj1745 0-1DP
 *
 * 用dp[ i ][ j ] 表示加上或减去第 i 个数后，所得值取模后的值能否为 j ，所以dp为bool型即可。
 * 状态转移方程：dp[ i ][( j + num[i]) % k] = true;
            dp[ i ][( j -  num[i]) % k] = true; (当然，必须满足dp[ i - 1 ][ j ] == true, 才能进行状态转移)
 * 边界条件：dp[ 0 ][ 0 ] = true;
 *
 * 很恶心的一点是，系统的取余操作可以是负的，所以取余操作之前要预备一下这个问题
 */

#include <cstdio>
#include <cstring>
const int MAX_NUM = 10001;

int abs(const int a){
    return a>0 ? a : a*-1;
}

int n,k;
int dig;
bool dp[MAX_NUM][101];//因为状态转移方程只和上一个状态有关，因此可以用滚动数组，每次把上上次的结果清除，可以节省空间占用
int big;
int t1,t2;

int main(){
    scanf("%d%d",&n,&k);
    big = k*MAX_NUM;
    scanf("%d",&dig);
    dp[0][(dig+big)%k] = true;   

    for(int i=1;i<n;++i){
        scanf("%d",&dig);
        memset(dp[i],0,sizeof(dp[i]));
        for(int j=0;j<k;++j){
            if(dp[i-1][j]){
                t1 = ((j+dig)+big)%k;
                t2 = ((j-dig)+big)%k;
                if(dp[i-1][j]){
                    dp[i][t1] = true;
                    dp[i][t2] = true;
                }
            }
        }
    }

    if(dp[n-1][0]){
        printf("Divisible\n");
    }
    else{
        printf("Not divisible\n");
    }

    return 0;
}