Problem:
7 パズル

7 パズルは 8 つの正方形のカードとこれらのカードがぴたりと収まる枠で構成されています。それぞれのカードには、互いに区別できるように 0, 1, 2, ..., 7 と番号がつけられています。枠には、縦に 2 個、横に 4 個のカードを並べることができます。

7 パズルを始めるときには、まず枠にすべてのカードを入れます。枠のなかで 0 のカードだけは、上下左右に隣接するカードと位置を交換することができます。たとえば、枠の状態が図(a) のときに、0 のカードの右に隣接した、7 のカードと位置を交換すれば、図(b) の状態になります。あるいは、図(a) の状態から 0 のカードの下に隣接した 2 のカードと位置を交換すれば図(c) の状態になります。図(a) の状態で 0 のカードと上下左右に隣接するカードは 7 と 2 のカードだけなので、これ以外の位置の入れ替えは許されません。

ゲームの目的は、カードをきれいに整列して図(d) の状態にすることです。最初の状態を入力とし、カードをきれいに整列するまでに、必要な最小手数を出力するプログラムを作成してください。ただし、入力されたカードの状態からは図(d) の状態に移ることは可能であるとします。

入力データは、1 行に 8 つの数字が空白区切りで与えられます。これらは、最初の状態のカードの並びを表します。例えば、図(a) の数字表現は0 7 3 4 2 5 1 6 に、図(c) は 2 7 3 4 0 5 1 6 となります。

図(a) 0 7 3 4 2 5 1 6 の場合

図(b) 7 0 3 4 2 5 1 6 の場合

図(c) 2 7 3 4 0 5 1 6 の場合

図(d) 0 1 2 3 4 5 6 7 (最終状態)

Input

上記形式で複数のパズルが与えられます。入力の最後まで処理してください。
与えられるパズルの数は 1,000 以下です。

Output

各パズルについて、最終状態へ移行する最小手数を１行に出力してください。

Sample Input

0 1 2 3 4 5 6 7
1 0 2 3 4 5 6 7
7 6 5 4 3 2 1 0

Output for the Sample Input

0
1
28

Solution in JAVA (judge verdict: Time Limit Exceeded)

import java.util.Arrays;
import java.util.BitSet;
import java.util.LinkedList;
import java.util.Scanner;

public class Main {
	private final int x = 2;
	private final int y = 4;
	final int size = x*y;
	private final static byte[][] MOVABLE_PAIRS = {
		{1,4}, {0,2,5}, {1,3,6}, {2,7},
		{0,5}, {1,4,6}, {2,5,7}, {3,6}
	};
	private final int answerStateCode = 1234567;	
	private final static int[] coefficients = {10000000,1000000,100000,10000,1000,100,10,1};
	
	private Main() {
		Scanner in = new Scanner(System.in);
	
		while(in.hasNext()) {
			byte[] puzzle = new byte[size];
			for(int i=0; i<size; i++) {
				puzzle[i] = in.nextByte();
			}
			System.out.println(solve(puzzle));
		}
		in.close();
	}
		
	class Puzzle {
		byte[] state;
		byte depth;
		byte movablePiecePoint;
		int stateCode;

		public Puzzle (byte depth, byte[] state){
			this.depth = depth;
			this.state = state;
			
			for(byte i=0; i<size; i++) {
				if(state[i]==0) {
					this.movablePiecePoint = i;
				}
				this.stateCode += coefficients[i]*state[i];
			}
		}
		
		public byte[] move(byte point1, byte point2) {
			byte[] nextState = Arrays.copyOf(this.state, size);
			byte tmp = nextState[point1];
			nextState[point1] = nextState[point2];
			nextState[point2] = tmp;
			return nextState;
		}
	}
	
	private int solve(byte[] puzzle) {
		LinkedList<Puzzle> queue = new LinkedList<Puzzle>();
		BitSet isVisit = new BitSet();
		
		queue.add(new Puzzle((byte)0, puzzle));
		Puzzle now;
		while(!queue.isEmpty()) {
			now = queue.poll();

			if(answerStateCode == now.stateCode) {
				return now.depth;
			}

			if(!isVisit.get(now.stateCode)) {
				for(byte nextMove : MOVABLE_PAIRS[now.movablePiecePoint]) {
					byte nextDepth = (byte)(now.depth+1);
					queue.add(new Puzzle(nextDepth, now.move(now.movablePiecePoint, nextMove)));
				}
			}
			isVisit.set(now.stateCode, true);
		}
		throw new RuntimeException();
	}
	
	public static void main(String[] args) {
		new Main();
	}
}