【宽度优先搜索】神奇的状态压缩 CodeVs1004四子连棋

一、写在前面

其实这是一道大水题，而且还出在了数据最水的OJ上，所以实际上这题并没有什么难度。博主写这篇blog主要是想写下一个想法——状态压缩。状态压缩在记录、修改状态以及判重去重等方面有着极高的（←_←词穷了，诸位大致理解一下就好）效率。博主原本打算在blog介绍一种DP——状态压缩型动态规划，但动笔（键盘？？）前，博主突然想起自己前些年写过的一道广搜题，当时在判重方面冥思苦想想出了一种类似状态压缩的方法，开心了好久，于是在此先抛砖引玉为状压DP做个铺垫。

二、题目

Description

在一个4*4的棋盘上摆放了14颗棋子，其中有7颗白色棋子，7颗黑色棋子，有两个空白地带，任何一颗黑白棋子都可以向上下左右四个方向移动到相邻的空格，这叫行棋一步，黑白双方交替走棋，任意一方可以先走，如果某个时刻使得任意一种颜色的棋子形成四个一线（包括斜线），这样的状态为目标棋局。

Input Description

从文件中读入一个4*4的初始棋局，黑棋子用B表示，白棋子用W表示，空格地带用O表示。

Output Description

用最少的步数移动到目标棋局的步数。

Sample Input

BWBO
WBWB
BWBW
WBWO

Sample Output

5

原题链接→_→：|1004 四子连棋|CODEVS，算法爱好者社区

三、题目分析

大体思路大家都懂，一个中规中矩的广搜没什么好说的，主要来说说状态压缩。我们知道由于不同的棋盘状态经过不同的操作后可能得到同一张棋盘，所以为了节省空间和时间，我们需要进行判重操作——即如果一个棋盘状态已经如果队了，我们不会将其第二次入队。然而如何存储棋盘状态成了一个问题，这时我们就需要用到神奇的状态压缩了。我们发现，一个棋盘中有且仅有三种元素，我们不妨规定0代表空格，1代表白棋，2代表黑棋。如此一来，每张棋盘都被转化成了一个独一无二的三进制数，每个三进制数转化成十进制数就便于我们存储了；而当我们需要使用这些被存储的状态时，我们只需要把十进制再转回三进制即可。如样例棋盘对应的三进制数就是2120121221211210。

四、代码实现

幼年期代码真的辣眼睛，各位看官凑合着看吧_(:з」∠)_

 #include<stdio.h>
 int map[][];
 bool vis[];
 int q[],l,r;
 int step[];
 int col[];
 int x[],y[],mark;
 void input()
 {
     char k[];
     int p,q;
     for(p=;p<=;p++)
     {
         scanf("%s",k);
         for(q=;q<=;q++)
         {
             if(k[q]=='O')
             {
                 map[p][q+]=;
             }
             if(k[q]=='W')
             {
                 map[p][q+]=;
             }
             if(k[q]=='B')
             {
                 map[p][q+]=;
             }
         }
     }
 }
 int trans()//把棋盘转成十进制数存储
 {
     int i,j;
     int cnt=,ans=;
     for(i=;i>=;i--)
     {
         for(j=;j>=;j--)
         {
             ans+=map[i][j]*cnt;
             cnt*=;
         }
     }
     return ans;
 }
 bool check()
 {
     if(map[][]==map[][]&&map[][]==map[][]&&map[][]==map[][])return true;
     if(map[][]==map[][]&&map[][]==map[][]&&map[][]==map[][])return true;
     int i;
     for(i=;i<=;i++)
     {
         if(map[][i]==map[][i]&&map[][i]==map[][i]&&map[][i]==map[][i])return true;
         if(map[i][]==map[i][]&&map[i][]==map[i][]&&map[i][]==map[i][])return true;
     }
     return false;
 }
 void reset(int num)//把十进制数转成三进制还原棋盘
 {
     int i,j;
     for(i=;i>=;i--)
     {
         for(j=;j>=;j--)
         {
             map[i][j]=num%;
             num/=;
         }
     }
 }
 void bfs()
 {
     int i,j;
     int num;
     while(l<=r)
     {
         mark=;
         reset(q[l]);
         if(check())
         {
             return;
         }
         for(i=;i<=;i++)
         {
             for(j=;j<=;j++)
             {
                 if(!map[i][j])
                 {
                     x[++mark]=i;
                     y[mark]=j;
                 }
             }
         }
         if((x[]!=&&col[l]==)||(x[]!=&&map[x[]-][y[]]==-col[l]))
         {
             map[x[]][y[]]=map[x[]-][y[]];
             map[x[]-][y[]]=;
             num=trans();
             if(vis[num])
             {
                 map[x[]-][y[]]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
             else
             {
                 vis[num]=true;
                 q[++r]=num;
                 step[r]=step[l]+;
                 col[r]=map[x[]][y[]];
                 map[x[]-][y[]]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
         }
         if(col[l]==||map[x[]+][y[]]==-col[l])
         {
             map[x[]][y[]]=map[x[]+][y[]];
             map[x[]+][y[]]=;
             num=trans();
             if(vis[num])
             {
                 map[x[]+][y[]]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
             else
             {
                 vis[num]=true;
                 q[++r]=num;
                 step[r]=step[l]+;
                 col[r]=map[x[]][y[]];
                 map[x[]+][y[]]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
         }
         if((y[]!=&&col[l]==)||(y[]!=&&map[x[]][y[]-]==-col[l]))
         {
             map[x[]][y[]]=map[x[]][y[]-];
             map[x[]][y[]-]=;
             num=trans();
             if(vis[num])
             {
                 map[x[]][y[]-]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
             else
             {
                 vis[num]=true;
                 q[++r]=num;
                 step[r]=step[l]+;
                 col[r]=map[x[]][y[]];
                 map[x[]][y[]-]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
         }
         if(col[l]==||map[x[]][y[]+]==-col[l])
         {
             map[x[]][y[]]=map[x[]][y[]+];
             map[x[]][y[]+]=;
             num=trans();
             if(vis[num])
             {
                 map[x[]][y[]+]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
             else
             {
                 vis[num]=true;
                 q[++r]=num;
                 step[r]=step[l]+;
                 col[r]=map[x[]][y[]];
                 map[x[]][y[]+]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
         }
         if((x[]!=&&col[l]==)||(x[]!=&&map[x[]-][y[]]==-col[l]))
         {
             map[x[]][y[]]=map[x[]-][y[]];
             map[x[]-][y[]]=;
             num=trans();
             if(vis[num])
             {
                 map[x[]-][y[]]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
             else
             {
                 vis[num]=true;
                 q[++r]=num;
                 step[r]=step[l]+;
                 col[r]=map[x[]][y[]];
                 map[x[]-][y[]]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
         }
         if(col[l]==||map[x[]+][y[]]==-col[l])
         {
             map[x[]][y[]]=map[x[]+][y[]];
             map[x[]+][y[]]=;
             num=trans();
             if(vis[num])
             {
                 map[x[]+][y[]]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
             else
             {
                 vis[num]=true;
                 q[++r]=num;
                 step[r]=step[l]+;
                 col[r]=map[x[]][y[]];
                 map[x[]+][y[]]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
         }
         if((y[]!=&&col[l]==)||(y[]!=&&map[x[]][y[]-]==-col[l]))
         {
             map[x[]][y[]]=map[x[]][y[]-];
             map[x[]][y[]-]=;
             num=trans();
             if(vis[num])
             {
                 map[x[]][y[]-]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
             else
             {
                 vis[num]=true;
                 q[++r]=num;
                 step[r]=step[l]+;
                 col[r]=map[x[]][y[]];
                 map[x[]][y[]-]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
         }
         if(col[l]==||map[x[]][y[]+]==-col[l])
         {
             map[x[]][y[]]=map[x[]][y[]+];
             map[x[]][y[]+]=;
             num=trans();
             if(vis[num])
             {
                 map[x[]][y[]+]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
             else
             {
                 vis[num]=true;
                 q[++r]=num;
                 step[r]=step[l]+;
                 col[r]=map[x[]][y[]];
                 map[x[]][y[]+]=map[x[]][y[]];
                 map[x[]][y[]]=;
             }
         }
         l++;
     }
 }
 int main()
 {
     int i,j;
     input();
     int num=trans();
     vis[num]=true;
     l=;
     r=;
     q[]=num;
     bfs();
     printf("%d",step[l]);
     return ;
 }

CodeVs1004 四子连棋

弱弱地说一句，本蒟蒻码字也不容易，转载请注明出处http://www.cnblogs.com/Maki-Nishikino/p/5991570.html