結果
| 問題 |
No.1795 AtCoder Heuristic Rating coloring
|
| コンテスト | |
| ユーザー |
sanao10000
|
| 提出日時 | 2022-09-08 10:44:53 |
| 言語 | Haskell (9.10.1) |
| 結果 |
CE
(最新)
AC
(最初)
|
| 実行時間 | - |
| コード長 | 451 bytes |
| コンパイル時間 | 285 ms |
| コンパイル使用メモリ | 149,120 KB |
| 最終ジャッジ日時 | 2024-11-24 04:11:35 |
| 合計ジャッジ時間 | 1,397 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、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:2:1: error: [GHC-87110]
Could not load module ‘Data.Map.Strict’.
It is a member of the hidden package ‘containers-0.6.8’.
Use -v to see a list of the files searched for.
|
2 | import qualified Data.Map.Strict as Map
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ソースコード
import Control.Monad(replicateM)
import qualified Data.Map.Strict as Map
main = do
[n,m]<-map read.words<$>getLine
sa <- Map.fromList<$>replicateM n (do
[a,b] <- words<$>getLine
pure(a,read b :: Int))
tb <- replicateM m (do
[a,b] <- words<$>getLine
pure(a,read b :: Int))
mapM_ (putStrLn.uncurry((.((' ' :).show)).(++)))$solve sa tb
solve = (Map.toAscList .) . foldl go
where
go ans (t,b) = Map.insertWith const t b ans
sanao10000