HDOJ 2442 -bricks 状态压缩DP 一直TLE.打表过的..

    有5个砖块..加上一个空着不放..那么有6种状态..所以很明显的可以用6进制的状态DP...

    不过这么做..我觉得我已经能优化的都优化了...还是超时..一看数据范围是100*6..打表先AC了..

    看有大神用3进制状态DP水过..Orz...看了好久没看懂...觉得自己状态DP还是很表面~~

Program:

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<set>
#include<algorithm>
#include<cmath>
#define oo 1000000007
#define ll long long
#define pi acos(-1.0)
#define MAXN 505
using namespace std;
int sharp[6][6][2]={{{0,0},{0,0},{0,0},{0,0},{0,0}},
                    {{0,0},{1,0},{1,1},{2,0},{-1,-1}},
                    {{0,1},{1,0},{1,1},{1,2},{2,1}},
                    {{0,0},{0,1},{0,2},{1,1},{-1,-1}},
                    {{0,0},{0,1},{0,2},{1,0},{-1,-1}},
                    {{0,0},{0,1},{1,0},{2,0},{-1,-1}}
                   };
int n,m,canuse[132],w[132],tall[132],dp[101][132][132],num,step[6]={0,4,5,4,4,4};
bool f[132][132][2];
bool legal(int x)  // 判断这一行这么安排是否合法
{ 
      int i,j,t=x,a[10][10]; 
      memset(a,0,sizeof(a));
      w[num+1]=0;  
      for (i=1;i<=m;i++)
      {
            if (i+1>m && (x%6==1 || x%6==5)) return false;
            if (i+2>m && (x%6==2 || x%6==3 || x%6==4)) return false;
            for (j=0;j<step[x%6];j++)
               a[sharp[x%6][j][0]][i+sharp[x%6][j][1]-1]++;
            w[num+1]+=step[x%6];
            x/=6;
      }
      for (i=0;i<10;i++)
         for (j=0;j<10;j++)
           if (a[i][j]>1) return false;
      tall[num+1]=0;   
      for (i=1;i<=m;i++)
      {  
            if (t%6==1 || t%6==2 || t%6==5)
               tall[num+1]=2;
            else
               if (t%6!=0 && tall[num+1]<1) 
              tall[num+1]=1;
            t/=6;
      }
      return true;
} 
bool ok(int a,int b,int tp) //判断是否冲突
{
      int i,j,h[10][10];
      a=canuse[a],b=canuse[b]; 
      memset(h,0,sizeof(h));
      for (i=1;i<=m;i++)
      {
             for (j=0;j<step[a%6];j++) 
                h[sharp[a%6][j][0]][i+sharp[a%6][j][1]-1]++;
             a/=6;
      }
      for (i=1;i<=m;i++)
      {
             for (j=0;j<step[b%6];j++) 
                h[sharp[b%6][j][0]-tp][i+sharp[b%6][j][1]-1]++;
             b/=6;          
      }
      for (i=0;i<10;i++)
         for (j=0;j<10;j++)
           if (h[i][j]>1) return false;
      return true;
}
int main()
{
      freopen("input.txt","r",stdin); freopen("output.txt","w",stdout);
      int r,i,j,x,ans,totol;
      while (~scanf("%d%d",&n,&m))
      {
           totol=1;
           for (i=1;i<=m;i++) totol*=6;
           num=0;
           for (i=0;i<totol;i++)
              if (legal(i)) canuse[++num]=i; 
           memset(dp,0,sizeof(dp));
           memset(f,true,sizeof(f));
           for (i=1;i<=num;i++)
             for (j=1;j<=num;j++)
               for (x=1;x<=2;x++)
                 f[i][j][x]=ok(i,j,x);
           for (r=1;r<=n;r++)
              for (i=1;i<=num;i++)
                if (tall[i]+r<=n) 
                  for (j=1;j<=num;j++)
                    if (f[i][j][1])
                       for (x=1;x<=num;x++)
                         if (f[i][x][2]) 
                           dp[r][j][i]=max(dp[r][j][i],dp[r-1][x][j]+w[i]);
 
           ans=0;
           for (i=1;i<=num;i++) ans=max(ans,dp[n][i][1]);
           printf("%d,",ans);
      } 
      return 0;
}