結果

問題 No.5 数字のブロック
コンテスト
ユーザー nobsun
提出日時 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

ソースコード

diff # 

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
0