【USACO题库】3.2.5 Magic Squares魔板

题目描述

在成功地发明了魔方之后，拉比克先生发明了它的二维版本，称作魔板。这是一张有8个大小相同的格子的魔板：
1 2 3 4
8 7 6 5
我们知道魔板的每一个方格都有一种颜色。这8种颜色用前8个正整数来表示。可以用颜色的序列来表示一种魔板状态，规定从魔板的左上角开始，沿顺时针方向依次取出整数，构成一个颜色序列。对于上图的魔板状态，我们用序列（1，2，3，4，5，6，7，8）来表示。这是基本状态。
这里提供三种基本操作，分别用大写字母“A”，“B”，“C”来表示（可以通过这些操作改变魔板的状态）：
“A”：交换上下两行；
“B”：将最右边的一行插入最左边；
“C”：魔板中央作顺时针旋转。

下面是对基本状态进行操作的示范：
 A:  8  7  6  5  
     1  2  3  4  
 B:  4  1  2  3  
     5  8  7  6  
 C:  1  7  2  4  
     8  6  3  5
对于每种可能的状态，这三种基本操作都可以使用。
你要编程计算用最少的基本操作完成基本状态到特殊状态的转换，输出基本操作序列。

PROGRAM NAME: msquare
INPUT FORMAT
只有一行，包括8个整数，用空格分开（这些整数在范围 1——8 之间），表示目标状态。

SAMPLE INPUT (file msquare.in)
2 6 8 4 5 7 3 1 
Line 1: 包括一个整数，表示最短操作序列的长度。
Line 2: 在字典序中最早出现的操作序列，用字符串表示，除最后一行外，每行输出60个字符。

OUTPUT FORMAT
SAMPLE OUTPUT (file msquare.out)

7 

BCABCCB 

这道题目就是纯碎的bfs，数据不大，暴力判重，8^8次方轻轻松松，时间又不紧，一次AC

type
        arr=array[1..8] of longint;
const
        jia:array['A'..'C',1..8] of longint=((8,7,6,5,4,3,2,1),
                                             (4,1,2,3,6,7,8,5),
                                             (1,7,2,4,5,3,6,8));
var
        head,tail,i:longint;
        d:array[1..1000000] of record
                tot:longint;
                st:ansistring;
                ch:arr;
        end;
        k:char;
        bz:array[1..8,1..8,1..8,1..8,1..8,1..8,1..8,1..8] of boolean;
        a,t:array[1..8] of longint;
function pd(t:arr):boolean;
begin
        pd:=true;
        for i:=1 to 8 do
                if t[i]<>a[i] then exit(false);
end;
procedure print;
begin
        writeln(d[tail].tot);
        for i:=1 to d[tail].tot do
                if i mod 60=0 then writeln(d[tail].st[i]) else write(d[tail].st[i]);
end;

begin
        for i:=1 to 8 do
                read(a[i]);

        head:=0;
        tail:=1;
        d[1].tot:=0;
        d[1].st:='';
        for i:=1 to 8 do
                d[1].ch[i]:=i;
        if pd(d[1].ch) then
        begin
                writeln(0);
                halt;
        end;
        bz[1,2,3,4,5,6,7,8]:=true;
        while head<tail do
        begin
                inc(head);
                for k:='A' to 'C' do
                begin
                        inc(tail);
                        d[tail]:=d[head];
                        inc(d[tail].tot);
                        for i:=1 to 8 do
                        begin
                                d[tail].ch[i]:=d[head].ch[jia[k,i]];
                                t[i]:=d[tail].ch[i];
                        end;
                        if k='A' then d[tail].st:=d[tail].st+'A';
                        if k='B' then d[tail].st:=d[tail].st+'B';
                        if k='C' then d[tail].st:=d[tail].st+'C';

                        if not bz[t[1],t[2],t[3],t[4],t[5],t[6],t[7],t[8]] then
                                bz[t[1],t[2],t[3],t[4],t[5],t[6],t[7],t[8]]:=true
                        else
                                dec(tail);

                        if pd(d[tail].ch) then
                        begin
                                print;
                                halt;
                        end;
                end;
        end;
end.