結果

問題 No.1795 AtCoder Heuristic Rating coloring
ユーザー sanao10000sanao10000
提出日時 2022-09-08 10:34:06
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 539 bytes
コンパイル時間 583 ms
コンパイル使用メモリ 149,760 KB
最終ジャッジ日時 2024-11-24 04:01:28
合計ジャッジ時間 2,265 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、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.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.
  |
3 | import qualified Data.Map.Strict as Map
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

ソースコード

diff # 

import Control.Monad(replicateM)
import Data.List(sortOn)
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.member t ans = Map.adjust(const b) t ans
      | otherwise = Map.insert t b ans
0