import Control.Applicative import Data.List import Data.Array.Unboxed import qualified Data.Sequence import qualified Data.Set import Data.Maybe import Debug.Trace dequeue que = case Data.Sequence.viewl que of (x Data.Sequence.:< xs) -> (x, xs) main = do [h, w] <- map read . words <$> getLine :: IO [Int] ss <- concat . map (\(i, s) -> zip (zip (repeat i) [1..]) s) . zip [1..] . lines <$> getContents :: IO [((Int, Int), Char)] let grid = array ((1, 1), (h, w)) ss :: UArray (Int, Int) Char let (y, x) = startPoint grid print $ bfs grid h w (Data.Sequence.fromList [(y, x, 0, 0)]) (Data.Set.fromList [(y, x, 0)]) startPoint = fst . fromJust . find (\(i, x) -> x == 'S') . Data.Array.Unboxed.assocs bfs :: UArray (Int, Int) Char -> Int -> Int -> Data.Sequence.Seq (Int, Int, Int, Int) -> Data.Set.Set (Int, Int, Int) -> Int bfs grid h w q vis | null q = -1 | grid ! (y, x) == 'G' = turn | otherwise = let inside y x = 1 <= y && y <= h && 1 <= x && x <= w dd = if t == 0 then [(dy, dx) | dy <- [-2 .. 2], dx <- [-2 .. 2], abs dy + abs dx == 3] else [(dy, dx) | dy <- [-1 .. 1], dx <- [-1 .. 1], abs dy + abs dx == 2] npos = [(y + dy, x + dx) | (dy, dx) <- dd, inside (y + dy) (x + dx)] nst = [(ny, nx, nt) | (ny, nx) <- npos, nt <- [if grid ! (ny, nx) == 'R' then 1 - t else t], Data.Set.notMember (ny, nx, nt) vis] nstate = [(ny, nx, nt, turn + 1) | (ny, nx, nt) <- nst] nvis = foldr Data.Set.insert vis nst nque = foldl' (Data.Sequence.|>) que nstate in bfs grid h w nque nvis where ((y, x, t, turn), que) = dequeue q