SGU 132 一道很恶心的状态压缩dp

为什么说恶心，状态压缩就算了，而且转移的时候还要借助dfs - -！借助dfs就算了，转移方式有很多啊，转移要用到的参数有5个啊！！！一共32种情况啊！！一个都不能少啊，少了一个你就wa啊！！情况多也算了啊！！！最tm坑爹的就是还要用滚动数组啊！！否则你就F5F5F5坐等超时空啊！！！有木有。。。

最恶心的就是，你看别人的代码你还看不懂啊！！还是要靠自己想啊！！别人代码精简的一b，根本不留任何踪迹让你理解，传说中的IQ再高也迷茫啊！！迷茫啊！！！

想了3个晚上，哥终于开窍了，调试了一个上午。。。终于a了，终于a了。。。

哥还是说说这题的方法吧~~~

dp[?][x][y],？表示的是dp进行到第几行，并且前面的行都已经满足情况，这里说的满足情况指的是如果你要放方块的话，一定不会和前面的行有关；第二，x所在的行在行内满足情况，意思就是你不能单纯的在x行内放方块；y表示下一行的状态；这样的话就能一行一行推下去；

根据哥目测，对于一次状态转移，一共有4种情况；

1.直接跳过去；2.i-1和i之间放一个；3.i和i+1之间竖着放一个；4.在第i行横着放一个。

这样说很简单，但是还要知道这4种情况到底什么时候可以，什么时候不可以，这就需要5个参数，就是哥代码里的c1,c2,c3,c4,c5;要想清楚还是有一定难度的~

这是道好题，希望有实力的ACM后辈们好好品味之~

#include<iostream>
#include<vector>
#include<algorithm>
#include<cstdio>
#include<queue>
#include<stack>
#include<string>
#include<map>
#include<set>
#include<cmath>
#include<cassert>
#include<cstring>
#include<iomanip>
using namespace std;

#ifdef _WIN32
#define i64 __int64
#define out64 "%I64d\n"
#define in64 "%I64d"
#else
#define i64 long long
#define out64 "%lld\n"
#define in64 "%lld"
#endif

#define FOR(i,a,b)      for( int i = (a) ; i <= (b) ; i ++)
#define FF(i,a)         for( int i = 0 ; i < (a) ; i ++)
#define FFD(i,a)        for( int i = (a)-1 ; i >= 0 ; i --)
#define S64(a)          scanf(in64,&a)
#define SS(a)           scanf("%d",&a)
#define LL(a)           ((a)<<1)
#define RR(a)           (((a)<<1)+1)
#define SZ(a)           ((int)a.size())
#define PP(n,m,a)       puts("---");FF(i,n){FF(j,m)cout << a[i][j] << ' ';puts("");}
#define pb              push_back
#define CL(Q)           while(!Q.empty())Q.pop()
#define MM(name,what)   memset(name,what,sizeof(name))
#define read            freopen("in.txt","r",stdin)
#define write           freopen("out.txt","w",stdout)

const int inf = 0x3f3f3f3f;
const i64 inf64 = 0x3f3f3f3f3f3f3f3fLL;
const double oo = 10e9;
const double eps = 10e-10;
const double pi = acos(-1.0);
const int maxn = 7;
const int maxc = 77;

int dp[1<<maxn][1<<maxn];
int get[1<<maxn][1<<maxn];
int xx[maxc];
string s[maxc];
int a[maxc];
int m,n;

int change(string r)
{
    int re=0;
    FF(i,r.length())
    {
        re<<=1;
        if(r[i]==42)
        {
            re|=1;
        }
    }
    return re;
}

void ex()
{
    a[0] = (1<<n)-1;
    FOR(i,1,m)
    {
        a[i] = change(s[i]);
    }
    a[m+1] = (1<<n)-1;
    a[m+2] = (1<<n)-1;
    return ;
}

void dfs(int k,int now,int to,int x,int y,int add)
{
    if(k>n+1)
    {
        return ;
    }
    if(k==n+1)
    {

        get[x][y] = min(get[x][y],dp[now][to]+add);
    //    cout<<"******"<<x<<" | "<<y<<" | "<<get[x][y]<<endl;
        return ;
    }

    int c1=(now & xx[k])?1:0;
    int c2=(x & xx[k])?1:0;
    int c3=(y & xx[k])?1:0;
    int c4=(x & xx[k+1])?1:0;
    int c5=(x & xx[k-1])?1:0;
 //   cout<<"yy"<<oct<<y<<endl;
 //   cout<<k<<" | "<<c1<<c2<<c3<<c4<<c5<<endl;
    if(!c2 && !c4)
    {
        dfs(k+2,now,to,x+xx[k]+xx[k+1],y,add+1);
    }
    if(!c1 && !c2)
    {
        dfs(k+1,now,to,x+xx[k],y,add+1);
    }
    if(!c2 && !c3)
    {
        dfs(k+1,now,to,x+xx[k],y+xx[k],add+1);
    }
    if( (k==1 || c5 || c2) && !(!c1 && !c2) )
    {
        dfs(k+1,now,to,x,y,add);
    }
    return ;
}

void init()
{
    FF(i,1<<n) FF(j,1<<n)
    {
        dp[i][j] = inf;
        get[i][j] = inf;
    }
    return ;
}

void end()
{
    FF(i,1<<n) FF(j,1<<n)
    {
        dp[i][j] = get[i][j];
    }
    FF(i,1<<n) FF(j,1<<n)
    {
        get[i][j] = inf;
    }
    return ;
}

int start()
{
    MM(a,0);
    ex();
    xx[0] = 0;
    for(int i=1;i<=n+1;i++)
    {
        xx[i] = 1<<(i-1);
    }

    init();
    dp[(1<<n)-1][a[1]] = 0;

    for(int i=0;i<=m;i++)
    {
 //      cout<<"cen == "<<i<<endl;
        FF(u,1<<n) if( !( ~u & a[i] ) )
        {
            FF(e,1<<n) if( dp[u][e] != inf && !(~e & a[i+1]) )
            {
     //           cout<<"- -!"<<oct<<u<<" | "<<oct<<e<<endl;
      //          cout<<"i+2=="<<i+2<<" | "<<oct<<a[i+2]<<endl;
                dfs(1,u,e,e,a[i+2],0);
            }
        }
        end();
    }
    int ans = inf;
    FF(i,1<<n) FF(j,1<<n)
    {
        ans = min(ans,dp[i][j]);
    }
    return ans;
}

int main()
{
    while(cin>>m>>n)
    {
        FOR(i,1,m)
        {
            cin>>s[i];
        }
        cout<<start()<<endl;
    }
    return 0;
}