結果

問題 No.216 FAC
ユーザー ducktailducktail
提出日時 2018-01-08 21:54:45
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 619 bytes
コンパイル時間 178 ms
コンパイル使用メモリ 148,736 KB
最終ジャッジ日時 2024-11-14 20:18:24
合計ジャッジ時間 776 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )

Main.hs:3:1: error: [GHC-87110]
    Could not load module ‘Data.IntMap’.
    It is a member of the hidden package ‘containers-0.6.8’.
    Use -v to see a list of the files searched for.
  |
3 | import Data.IntMap (IntMap)
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^

Main.hs:4:1: error: [GHC-87110]
    Could not load module ‘Data.IntMap’.
    It is a member of the hidden package ‘containers-0.6.8’.
    Use -v to see a list of the files searched for.
  |
4 | import qualified Data.IntMap as IM
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

ソースコード

diff # 

import Control.Applicative ((<$>), (<*>))

import Data.IntMap (IntMap)
import qualified Data.IntMap as IM

main :: IO ()
main = do
  getLine
  solve <$> getl (map read . words) <*> getl (map read . words) >>= putStrLn

solve :: [Int] -> [Int] -> String
solve xs ys = loop IM.empty 0 xs ys
  where
    loop :: IntMap Int -> Int -> [Int] -> [Int] -> String
    loop m mp [] [] = if mp >= IM.fold max 0 m then "YES" else "NO"
    loop m mp (p:ps) (n:ns) = if n == 0 then loop m (mp + p) ps ns
                              else loop (IM.insertWith (+) n p m) mp ps ns

getl :: (String -> a) -> IO a
getl f = f <$> getLine
0