結果

問題 No.365 ジェンガソート
ユーザー aimy
提出日時 2017-04-29 13:39:08
言語 Haskell
(9.10.1)
結果
AC  
実行時間 265 ms / 2,000 ms
コード長 245 bytes
コンパイル時間 2,027 ms
コンパイル使用メモリ 174,712 KB
実行使用メモリ 45,312 KB
最終ジャッジ日時 2024-09-13 19:14:08
合計ジャッジ時間 6,956 ms
ジャッジサーバーID
(参考情報)
judge5 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 41
権限があれば一括ダウンロードができます
コンパイルメッセージ
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 #

import Data.List

main = do
 n <- readLn
 as <- map read . words <$> getLine
 print (jenga n as)

jenga :: Int -> [Int] -> Int
jenga n as = n - length (ndsc as) + 1
 where ndsc = foldr (\x (a:acc) -> if x == pred a then x:a:acc else a:acc) [n+1]
0