Problem:
Problem C: Push!!

Mr. Schwarz was a famous powerful pro wrestler. He starts a part time job as a warehouseman.
His task is to move a cargo to a goal by repeatedly pushing the cargo in the warehouse, of course,
without breaking the walls and the pillars of the warehouse.

There may be some pillars in the warehouse. Except for the locations of the pillars, the floor of
the warehouse is paved with square tiles whose size fits with the cargo. Each pillar occupies the
same area as a tile.

Initially, the cargo is on the center of a tile. With one push, he can move the cargo onto the
center of an adjacent tile if he is in proper position. The tile onto which he will move the cargo
must be one of (at most) four tiles (i.e., east, west, north or south) adjacent to the tile where
the cargo is present.

To push, he must also be on the tile adjacent to the present tile. He can only push the cargo in
the same direction as he faces to it and he cannot pull it. So, when the cargo is on the tile next
to a wall (or a pillar), he can only move it along the wall (or the pillar). Furthermore, once he
places it on a corner tile, he cannot move it anymore.

He can change his position, if there is a path to the position without obstacles (such as the cargo
and pillars) in the way. The goal is not an obstacle. In addition, he can move only in the four
directions (i.e., east, west, north or south) and change his direction only at the center of a tile.

As he is not so young, he wants to save his energy by keeping the number of required pushes
as small as possible. But he does not mind the count of his pedometer, because walking is very
light exercise for him.

Your job is to write a program that outputs the minimum number of pushes required to move
the cargo to the goal, if ever possible.

Input

The input consists of multiple maps, each representing the size and the arrangement of the
warehouse. A map is given in the following format.

w h
d11 d12 d13 ... d1w
d21 d22 d23 ... d2w
...
dh1 dh2 dh3 ... dhw

The integers w and h are the lengths of the two sides of the floor of the warehouse in terms of
widths of floor tiles. w and h are less than or equal to 7. The integer dij represents what is
initially on the corresponding floor area in the following way.

0: nothing (simply a floor tile)

1: a pillar

2: the cargo

3: the goal

4: the warehouseman (Mr. Schwarz)

Each of the integers 2, 3 and 4 appears exactly once as dij in the map. Integer numbers in an
input line are separated by at least one space character. The end of the input is indicated by a
line containing two zeros.

Output

For each map, your program should output a line containing the minimum number of pushes.
If the cargo cannot be moved to the goal, -1 should be output instead.

Sample Input

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

Output for the Sample Input

5
-1
11
8

Solution in Ruby (judge verdict: Accepted)

def find_pos(board, n)
  @h.times do |y|
    @w.times do |x|
      return [x, y] if board[y][x] == n
    end
  end
end

def in_check(x, y)
  0 <= x && x < @w && 0 <= y && y < @h
end

def can_move(cx, cy, mx, my, board)
  used = @h.times.map{ [false] * @w }
  used[my][mx] = true
  queue = [[mx, my]]
  until queue.empty?
    x, y = queue.shift
    @dir.each do |dx, dy|
      xx = x + dx; yy = y + dy
      if in_check(xx, yy) && !used[yy][xx] &&
        board[yy][xx] != 1 && !(cx == xx && cy == yy)
        queue << [xx, yy]
        used[yy][xx] = true
      end
    end
  end
  used
end

def move(cx, cy, mx, my, board)
  ret = []
  move_pos = can_move(cx, cy, mx, my, board)
  @dir.each_with_index do |(dx, dy), i|
    x = cx + dx; y = cy + dy
    if in_check(x, y) && move_pos[y][x]
      ret << i
    end
  end
  ret
end

def solve(cx, cy, mx, my, board)
  used = @h.times.map{ @w.times.map{ [false] * 4 } }
  queue = []
  move(cx, cy, mx, my, board).each do |i|
    queue << [cx, cy, i, 0]
    used[cy][cx][i] = true
  end
  until queue.empty?
    x, y, i, n = queue.shift
    return n if x == @gx && y == @gy
    move(x, y, x + @dir[i][0], y + @dir[i][1], board).each do |i|
      xx = x + @dir[(i + 2) % 4][0]
      yy = y + @dir[(i + 2) % 4][1]
      if in_check(xx, yy) && !used[yy][xx][i] &&
        board[yy][xx] != 1
        queue << [xx, yy, i, n + 1]
        used[yy][xx][i] = true
      end
    end
  end
  -1
end

@dir = [[-1, 0], [0, 1], [1, 0], [0, -1]]
loop do
  @w, @h = gets.split.map(&:to_i)
  break if @w == 0
  board = @h.times.map{ gets.split.map(&:to_i) }

  cx, cy = find_pos(board, 2)
  @gx, @gy = find_pos(board, 3)
  mx, my = find_pos(board, 4)

  puts solve(cx, cy, mx, my, board)
end