結果

問題 No.228 ゆきこちゃんの 15 パズル
ユーザー ducktailducktail
提出日時 2018-06-27 17:05:55
言語 Haskell
(9.8.2)
結果
AC  
実行時間 3 ms / 5,000 ms
コード長 882 bytes
コンパイル時間 7,148 ms
コンパイル使用メモリ 193,920 KB
実行使用メモリ 6,992 KB
最終ジャッジ日時 2023-09-13 14:28:14
合計ジャッジ時間 8,608 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge11
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
6,844 KB
testcase_01 AC 3 ms
6,932 KB
testcase_02 AC 3 ms
6,984 KB
testcase_03 AC 3 ms
6,836 KB
testcase_04 AC 3 ms
6,984 KB
testcase_05 AC 3 ms
6,984 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 3 ms
6,884 KB
testcase_08 AC 2 ms
6,992 KB
testcase_09 AC 3 ms
6,992 KB
testcase_10 AC 3 ms
6,856 KB
testcase_11 AC 3 ms
6,860 KB
testcase_12 AC 3 ms
6,916 KB
testcase_13 AC 3 ms
6,916 KB
testcase_14 AC 3 ms
6,852 KB
testcase_15 AC 2 ms
6,988 KB
testcase_16 AC 2 ms
6,984 KB
testcase_17 AC 3 ms
6,900 KB
testcase_18 AC 2 ms
6,984 KB
testcase_19 AC 2 ms
6,856 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

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