POJ 3254：Corn Fields（状态压缩DP）

题目大意：一个矩形的草地，分为多个格子，有的格子可以有奶牛（标为1），有的格子不可以放置奶牛（标为0），计算摆放奶牛的方案数。

分析：

f[i,j]表示第i行状态为j的方案总数。

状态转移方程f[i,j]=∑f[i-1,k]（k为所有满足条件的状态）。

边界f[1,i]=1（i为满足条件的状态）。

题目要求有两点1.只在标记为1的地方放牛2.相邻格子只能一个有牛。

代码：

program cowfood;
var
  a,b:array[..]of int64;
  f:array[..,..]of int64;
  n,m,x,t,len,ans:int64; i,j,k:longint;
procedure work;
var i:longint;
begin
 len:=;
  for i:= to  shl m- do
   if (i and (i<<))= then begin  inc(len);  b[len]:=i; end;
end;
function cheak(x,y:longint):boolean;
begin
  if (a[x] and b[y])= then exit(true) else exit(false);
end;
begin
  assign(input,'cowfood.in');
  reset(input);
  assign(output,'cowfood.out');
  rewrite(output);
  readln(n,m);
  k:= shl (m-);
  for i:= to n do
   begin   t:=k;
     for j:= to m do
      begin
        read(x);inc(a[i],t*(-x));  t:=t shr ;
      end;
     readln;
   end;
 work;
  for i:= to len do  if cheak(,i) then f[,b[i]]:=;
  for i:= to n do
   for j:= to len do
    if cheak(i,j) then
     for k:= to len do
        if (b[j]and b[k]=)and(cheak(i-,k))  then
         f[i,b[j]]:=(f[i,b[j]]+f[i-,b[k]])mod ;
  for i:= to len do
  ans:=(ans+f[n,b[i]])mod ;
  writeln(ans);
  close(input); close(output);
end.