結果

問題 No.228 ゆきこちゃんの 15 パズル
コンテスト
ユーザー ducktail
提出日時 2018-06-27 17:05:55
言語 Haskell
(9.10.1)
結果
AC  
実行時間 2 ms / 5,000 ms
コード長 882 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 7,429 ms
コンパイル使用メモリ 200,448 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-06-30 23:10:41
合計ジャッジ時間 8,326 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 17
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff #
raw source code 

import Control.Applicative ((<$>))
import Control.Monad (replicateM)
import Data.Vector.Unboxed (Vector, (!), (//))
import qualified Data.Vector.Unboxed as V

main :: IO ()
main = solve <$> replicateM 4 (map read <$> words <$> getLine) >>= putStrLn

solve :: [[Int]] -> String
solve xss = f (bd, ix0)
  where bd = V.fromList $ concat xss :: Vector Int
        gl = V.fromList $ [1..15] ++ [0] :: Vector Int
        (Just ix0) = V.findIndex (== 0) bd
        nbi i = [4 * u' + v'| let (u, v) = divMod i 4,
                                  (u', v') <- [(u+1,v),(u-1,v),(u,v+1),(u,v-1)],
                                  u' >= 0 && u' <= 3 && v' >= 0 && v' <= 3]
        f (b, i) | b == gl = "Yes"
                 | otherwise = case filter ((== (i+1)) . (b !)) (nbi i) of
                                [j] -> f (b // [(i,i+1),(j,0)] , j)
                                _ -> "No"
0