結果

問題 No.586 ダブルブッキング
ユーザー はむ吉🐹はむ吉🐹
提出日時 2017-11-05 11:48:14
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 735 bytes
コンパイル時間 1,245 ms
コンパイル使用メモリ 149,976 KB
最終ジャッジ日時 2024-05-03 04:12:32
合計ジャッジ時間 1,565 ms
ジャッジサーバーID
（参考情報） 		judge5 / 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 M
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

ソースコード

diff # 

import Control.Monad (replicateM)
import Data.Int (Int64)
import qualified Data.Map.Strict as M

type Count = Int
type Counter a = M.Map a Count

addElement :: Ord a => a -> Counter a -> Counter a
addElement x = M.insertWith (+) x 1

buildCounter :: Ord a => [a] -> Counter a
buildCounter = foldr addElement M.empty

computeTotalCost :: Integral a => a -> a -> [a] -> a
computeTotalCost p1 p2 rs = sum $ calcCost <$> M.elems ctr
    where
        ctr = buildCounter rs
        calcCost v = if v > 1 then fromIntegral (v - 1) * (p1 + p2) else 0

main :: IO ()
main = do
    p1 <- readLn :: IO Int64
    p2 <- readLn :: IO Int64
    n <- readLn :: IO Int
    rs <- replicateM n readLn :: IO [Int64]
    print $ computeTotalCost p1 p2 rs
0