Codeforces 111C Petya and Spiders 题解&代码

题意：给出一个n×m的网格，每个网格里有一只蜘蛛，每只蜘蛛一秒都可以向四个方向跳一格【不可以跳出网格】（当然它也可以选择不跳）。问一秒之后【每只蜘蛛都行动至多一次】网格上有至多多少个位置没有蜘蛛

思路：dp啦dp啦= =
dp方程是当存在某种转移条件时，dp[i][sta][stb]=max(dp[i-1][stc][sta]+s[sta],dp[i][sta][stb])
其中i是行数【其实是最大的那个【不一定可以用二进制枚举的平方复杂度过的那个
sta表示当前行（第i行）的状态，stb表示下一行（第i+1行）的状态，stc在dp方程中表示了上一行（第i-1行）的状态
如果存在check(sta,stb,stc)=1，那么转移
check的方式是对当前行进行检验：将sta与它的邻位进行或运算，同时与stb和stc进行或运算，然后如果这样得到了全是1的一段stack，那么说明这个状态是可以存在的
对于结果= =只要最后一行的下一行全是0而且最后一行成功转移那么都是有效状态，找出最小的就行啦

#include<iostream>
#include<stdio.h>
#include<string.h>
using namespace std;
const int maxa=1<<6;
int n,m,maxm,ans,s[maxa],dp[45][maxa][maxa];
bool check(int sta1,int sta2,int sta3)
{
    return ((sta1 | (sta1<<1) | (sta1>>1) | sta2 | sta3) & (maxm-1))==(maxm-1);
}
int cal(int x)
{
    int r=0;
    while(x)
    {
        if(x&1)r++;
        x>>=1;
    }
    return m-r;
}
int main(void)
{
    scanf("%d%d",&n,&m);
    if(m>n)swap(m,n);
    maxm=(1<<m);
    memset(dp,-1,sizeof(dp));
    for(int i=0;i<maxm;i++)
    {
        dp[0][0][i]=0;
        s[i]=cal(i);
    }
    for(int i=1;i<=n;i++)
        for(int j=0;j<maxm;j++)
            for(int k=0;k<maxm;k++)
                if(dp[i-1][j][k]!=-1)
                    for(int l=0;l<maxm;l++)
                    if(check(k,j,l))
                        dp[i][k][l]=max(dp[i][k][l],dp[i-1][j][k]+s[k]);
    for(int i=0;i<maxm;i++)
        ans=max(ans,dp[n][i][0]);
    printf("%d\n",ans);
    return 0;
}