結果
問題 |
No.5 数字のブロック
|
ユーザー |
![]() |
提出日時 | 2018-06-17 17:35:18 |
言語 | Haskell (9.10.1) |
結果 |
AC
|
実行時間 | 22 ms / 5,000 ms |
コード長 | 389 bytes |
コンパイル時間 | 4,765 ms |
コンパイル使用メモリ | 175,488 KB |
実行使用メモリ | 10,112 KB |
最終ジャッジ日時 | 2024-11-18 12:29:55 |
合計ジャッジ時間 | 3,326 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 34 |
コンパイルメッセージ
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
ソースコード
module Main where import Data.List main :: IO () main = do { [l] <- getInts ; [n] <- getInts ; ws <- getInts ; print $ length $ unfoldr phi (l,sort ws) } phi :: (Int,[Int]) -> Maybe ((),(Int,[Int])) phi (_,[]) = Nothing phi (0,_) = Nothing phi (x,y:ys) | x < y = Nothing | otherwise = Just ((),(x-y,ys)) getInts :: IO [Int] getInts = map read . words <$> getLine