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