B - Corn Fields （状态dp）

Farmer John has purchased a lush new rectangular pasture composed of M by N (1 ≤ M≤ 12; 1 ≤ N ≤ 12) square parcels. He wants to grow some yummy corn for the cows on a number of squares. Regrettably, some of the squares are infertile and can't be planted. Canny FJ knows that the cows dislike eating close to each other, so when choosing which squares to plant, he avoids choosing squares that are adjacent; no two chosen squares share an edge. He has not yet made the final choice as to which squares to plant.

Being a very open-minded man, Farmer John wants to consider all possible options for how to choose the squares for planting. He is so open-minded that he considers choosing no squares as a valid option! Please help Farmer John determine the number of ways he can choose the squares to plant.

Input

Line 1: Two space-separated integers:  M and  N 
Lines 2..  M+1: Line  i+1 describes row  i of the pasture with  N space-separated integers indicating whether a square is fertile (1 for fertile, 0 for infertile)

Output

Line 1: One integer: the number of ways that FJ can choose the squares modulo 100,000,000.

Sample Input

2 3
1 1 1
0 1 0

Sample Output

9

Hint

Number the squares as follows: 

1 2 3
  4  

There are four ways to plant only on one squares (1, 2, 3, or 4), three ways to plant on two squares (13, 14, or 34), 1 way to plant on three squares (134), and one way to plant on no squares. 4+3+1+1=9.

题意：Farmer John 放牧cow，有些草地上的草是不能吃的，用0表示，然后规定两头牛不能相邻放牧。问你有多少种放牧方法。

      状态压缩dp其实就是用二进制来表示所有的状态，比如这题， 我们在某一行可以这样取0 1 0 1 1 0 1，用1代表取了，0代表没取，因为这点，它的数据量也限制在20以内，所有看到这样数据量的题目可以先考虑一下状态压缩dp。对于有多行的数据，所有状态的总数必然很庞大，而且不用特殊的方法想要存储这些状态是不太现实的。既然每个点只有这两种情况，我们可以用二进制的一位来表示，0 1 0 1 1 0 1就可以表示为二进制0101101也就是十进制的45，如果我们想要枚举6个点的所有状态，我们只需要从0到2^6取其二进制就可以了，并不会重复或是多余。

      然后关于这题，题目要求不相邻，也就是说每个状态中不能有两个1相邻，代码中我用了checkself()函数判断。还有，有些地方是非法的，我在输入的时候将非法的状态保存了，一行只占一个整数，只需要判断某状态中只要有个一位和非法状态总的一位都为1，这个状态必然非法，这里我用了check()函数。

      我们检测完了状态的合法性，接下来就是状态转移的问题了。对于当前行的合法状态，到这个状态的方法数目一定是前一行与它不冲突（也就是没有行之间相邻的点）的方法数之和（记得mod）。这样求出到最后一行所有状态的方法数，求其和，然后取余，这就是我们要的结果。

代码：

#include <cstring>
#include <cstdio>
#include <iostream>
#include <algorithm>
#define mod 100000000
const int maxn=13;
int dp[maxn][1<<maxn];//每个状态可以放牧方法的总数
int n, m;
int sta[maxn];//能不能放牧的状态
bool check(int x, int y)//检查同列有没有相邻的或者x的状态是否可以存在  
{
    if (x&y)
        return false;
    return true;
}
bool checkself(int x)//检查同行有没有相邻的  
{
    if (x&(x<<1))
        return false;
    return true;
}
int go()
{
    int num = 1<<m;
    for (int i = 0; i < num; i++)
    {
        if (check(i, sta[1]) && checkself(i))
            dp[1][i] = 1;
    }
    for (int i = 2; i <= n; i++)
    {
        for (int j = 0; j < num; j++)
        {
            if (!check(j, sta[i]))  //sta[i]表示i行不能存在的状态  
                continue;
            for (int k = 0; k < num; k++)
            {
                if (check(k, j) && checkself(j) && checkself(k))
                    dp[i][j] += (dp[i-1][k]%mod);
            }
        }
    }
    int ans = 0;
    for (int i = 0; i < num; i++)
    {
        ans += (dp[n][i]%mod);
    }
    return ans%mod;
}

int main()
{
    int t;
    while (scanf("%d %d", &n, &m) != EOF)
    {
        memset(dp, 0, sizeof(dp));
        for (int i = 1; i <= n; i++)
        {
            for (int j = 1; j <= m; j++)
            {
                scanf("%d", &t);
                if (!t)
                {
                    sta[i] += (1<<(m-j));//这里对不能出现的状态做标记  
                }
            }
        }
        printf("%d\n", go());
    }
    return 0;
}