pku_3254_Corn Fields
【題目概述】告訴平面上一些點，從中選擇部分點出來，要求不能選擇相鄰的點，求所有的方案數。
【題目分析】學過gohst—wei的代碼風格之后，第一道小練兵。花的時間雖然長了點，但是，感覺還不錯。
1. 首先還是分析采取由上而下，逐行分析的策略。
2. 我們發現，影響當前行的狀態的只有上一行，即上一行和下一行的要滿足相鄰不相等原則。
3. 設 表示前i行的方案數，且第i行的狀態為s.
轉移方程：
（其中，t為上一行的某個與當前行不相沖突的狀態）
4. 時間復雜度為 顯然這樣的復雜度為不滿足條件的。因此需要優化
5. 我們發現，題目中有一個限制的條件是沒用到的。就是同一行也不滿足相鄰不可取的。由此，我們可以實現預處理，剔除掉多余的狀態，這樣，最后的每行合法的狀態，最多只有367個。
【題目代碼】下面是AC的代碼。
//Name: pku_3254_Corn Fields
#include <iostream>
using namespace std;
const int maxs = 1<<12;
const int mod = 100000000;
int map[13][13], n, m;
int stk[maxs], sn;
int dp[2][maxs];
inline bool one(int i, int j) { return (i&(~(1<<j))) != i;}
bool check(int i, int j) {
if (j > 0 && one(i, j-1)) return 0;
if (j < m-1 && one(i, j+1)) return 0;
return 1;
}
void Proced(int km, int m) {
sn = 0; int i, j;
for (i = 0,j; i < km; i++) {
for (j = 0; j < m; j++)
if(one(i, j) && !check(i,j)) break;
if (j == m) stk[sn++] = i;
}
// for (i = 0; i < sn; i++) printf("stk[%d] = %d\n", i, stk[i]);
}
void SCDP() {
int i, j, s1, s2, k1, k2, e1 = 0, e2 = 1;
for (j = 0; j < sn; j++) dp[0][stk[j]] = 0;
dp[0][0] = 1;
for (i = 1; i <= n; i++) {
for (j = 0; j < sn; j++) dp[e2][stk[j]] = 0;
for (k1 = 0; k1 < sn; k1++) {
for (k2 = 0; k2 < sn; k2++) {
s1 = stk[k1]; s2 = stk[k2];
if(s1 & s2)continue;
for(j = 0; j < m; j++)
if (!map[i][j] && one(s2, j)) break;
if (j == m) {
dp[e2][s2] = (dp[e2][s2]+dp[e1][s1])%mod;
}
}
}
e1 ^= 1; e2 ^= 1;
}
int ans = 0;
for (k1 = 0; k1 < sn; k1++)
ans = (ans + dp[e1][stk[k1]])%mod;
printf("%d\n", ans);
}
int main() {
freopen("in.in", "r", stdin);
scanf("%d %d", &n, &m);
Proced(1<<m, m);
for(int i = 1; i <= n; i++)
for (int j = 0; j < m; j++)
scanf("%d", map[i]+j);
SCDP();
return 0;
}