poj 3254 Corn Fields, 상태 압축 DP

1728 단어
제목 링크
제목:
한 행렬에 많은 칸이 있는데 칸마다 두 가지 상태가 있다. 방목할 수 있는 것과 방목할 수 없는 것은 방목할 수 있다. 방목할 때 1로 표시할 수 있다. 그렇지 않으면 0으로 표시한다. 이 목장에서 소를 방목할 때 두 개의 인접한 칸이 동시에 소를 방목할 수 없다. 즉, 소와 소가 인접할 수 없다는 것이다.소 방류 방안이 몇 가지가 있느냐고 묻는다(소 한 마리를 놓지 않는 것도 하나의 방안)
state[i]는 한 줄에 대해 서로 인접하지 않는 방안을 표시합니다
상태: dp[i][state[j]]가 상태가state[j]일 때 i행에서 조건에 부합되는 소를 방목할 수 있는 방안수
상태 이동: dp[i][state[j]=Sigma dp[i-1][state'] (state'는 조건에 맞는 모든 상태)
nclude<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;

const int mod = 100000000;
int state[1<<13], cnt; //    ,        
int dp[20][1<<13];
int cur[20]; // cur[i]        0    ,1     。

int main()
{
    int n, m, i, j, k;
    scanf("%d%d", &n, &m);
    int M = 1<<m;
    cnt = 0;
    for(i=0; i<M; ++i)
    {
        if(i&(i<<1)) continue; //       1
        state[cnt++] = i;
    }

    for(i=0; i<n; ++i)
    {
        cur[i] = 0;
        int x;
        for(j=0; j<m; ++j)
        {
            scanf("%d", &x);
            if(!x) cur[i] |= 1<<j;
        }
    }

    memset(dp, 0, sizeof dp );
    for(i=0; i<cnt; ++i) if(!(cur[0]&state[i])) dp[0][state[i]] = 1;

    for(i=1; i<n; ++i)
    {
        for(j=0; j<cnt; ++j) if( dp[i-1][state[j]] ){
            for(k=0; k<cnt; ++k) if(!(state[k]&state[j]) && !(cur[i]&state[k]))
            {
                dp[i][state[k]] = (dp[i][state[k]] + dp[i-1][state[j]]) % mod;
            }
        }
    }
    int ans = 0;
    for(i=0; i<cnt; ++i)
        ans = (ans + dp[n-1][state[i]]) % mod;
    printf("%d
", ans); return 0; }

좋은 웹페이지 즐겨찾기