USACO6.4-Wisconsin Squares:搜索

Wisconsin Squares

It's spring in Wisconsin and time to move the yearling calves to the
yearling pasture and last year's yearlings to the greener pastures of the
north 40.

Farmer John has five kinds of cows on his farm (abbreviations are shown
in parentheses): Guernseys (A), Jerseys (B), Herefords (C), Black Angus
(D), and Longhorns (E). These herds are arranged on the 16 acre pasture,
one acre for each small herd, on a 4 x 4 grid (labeled with rows and
columns) like this:

              1 2 3 4

             +-------

            1|A B A C

            2|D C D E

            3|B E B C

            4|C A D E

In the initial pasture layout, the herds total 3 A's, 3 B's, 4 C's, 3 D's, and 3 E's. This year's calves have one more D herd and one fewer C herd, for a total of 3 A's, 3 B's, 3 C's, 4 D's, and 3 E's.

FJ is extremely careful in his placement of herds onto his pasture grid. This is because when herds of the same types of cows are too close together, they misbehave: they gather near the fence and smoke cigarettes and drink milk. Herds are too close together when they are on the same square or in any of the eight adjacent squares.

Farmer John must move his old herd out of the field and his new herd into the field using his old brown Ford pickup truck, which holds one small herd at a time. He picks up a new herd, drives to a square in the yearling pasture, unloads the new herd, loads up the old herd, and drives the old herd to the north 40 where he unloads it. He repeats this operation 16 times and then drives to Zack's for low-fat yogurt treats and familiar wall decor.

Help Farmer John. He must choose just exactly the correct order to replace the herds so that he never puts a new herd in a square currently occupied by the same type of herd or adjacent to a square occupied by the same type of herd. Of course, once the old cows are gone and the new cows are in place, he must be careful in the future to separate herds based on the new arrangement.

Very important hint: Farmer John knows from past experience that he must move a herd of D cows first.

Find a way for Farmer John to move the yearlings to their new pasture. Print the 16 sequential herd-type/row/column movements that lead to a safe moving experience for the cows.

Calculate the total number of possible final arrangements for the 4x4 pasture and calculate the total number of ways those arrangements can be created.

PROGRAM NAME: wissqu

TIME LIMIT: 5 seconds

INPUT FORMAT

Four lines, each with four letters that denote herds.

SAMPLE INPUT (file wissqu.in)

ABAC

DCDE

BEBC

CADE

OUTPUT FORMAT

16 lines, each with a herd-type, row and column. If there are multiple solutions (and there are), you should output the solution for which the concatenated string ("D41C42A31 ... D34") of the answers is first in lexicographic order.

One more line with the total number of ways these arrangements can be created.

SAMPLE OUTPUT (file wissqu.out)


这题估计是第6章里面最水的题了，可是我还是调了好久，因为没有注意到移进来的字母不能和原来的相同，一直TLE。。。T.T
然后直接暴搜，什么剪枝都不用加，测试数据竟然就是样例，而且只有一组。。。

Executing...
   Test 1: TEST OK [0.921 secs, 3372 KB]

All tests OK.

YOUR PROGRAM ('wissqu') WORKED FIRST TIME! That's fantastic -- and a rare thing. Please accept these special automated congratulations.

Here are the test data inputs:

------- test 1 [length 20 bytes] ----
ABAC
DCDE
BEBC
CADE

 /*

 LANG:C++

 TASK:wissqu

 */

 #include <iostream>

 #include <memory.h>

 #include <stdio.h>

 using namespace std;

 class CC

 {

 public:

     int c; // 要移进来的字母

     int x,y;

 };

 int G[][]= {}; // 'A'用1表示

 int sum=;

 int Left[]= {-,,,,,};

 bool vis[][]= {};

 CC goal[],load[];

 const int dx[]= {-,-,-, , , , , , };

 const int dy[]= {-, , ,-, , ,-, , };

 // 判断（x,y）是否符合

 bool check(int x,int y,int c)

 {

     for(int i=; i<; i++)

     {

         int newx=x+dx[i];

         int newy=y+dy[i];

         if(G[newx][newy]==c)

             return false;

     }

     return true;

 }

 void dfs(int cnt=,int c=)

 {

     if(cnt>=)

     {

         sum++;

         // 记录方案

         if(sum==)

         {

             memcpy(goal,load,sizeof load);

         }

         return ;

     }

     for(int x=; x<=; x++)

         for(int y=; y<=; y++)

         {

             if(!vis[x][y] && check(x,y,c))

             {

                 int tmp=G[x][y];

                 G[x][y]=c;

                 vis[x][y]=true;

                 Left[c]--;

                 load[cnt].x=x;

                 load[cnt].y=y;

                 load[cnt].c=c;

                 if(cnt==)

                     dfs(cnt+,);

                 else

                     for(int i=; i<=; i++)

                     {

                         if(Left[i])

                         {

                             dfs(cnt+,i);

                         }

                     }

                 G[x][y]=tmp;

                 vis[x][y]=false;

                 Left[c]++;

             }

         }

 }

 int main()

 {

     freopen("wissqu.in","r",stdin);

     freopen("wissqu.out","w",stdout);

     for(int i=; i<=; i++)

     {

         for(int j=; j<=; j++)

         {

             int x=getchar()-'A'+;

             G[i][j]=x;

         }

         getchar();

     }

     dfs();

     for(int i=; i<; i++)

         printf("%c %d %d\n",goal[i].c-+'A',goal[i].x,goal[i].y);

     printf("%d\n",sum);

     return ;

 }