結果
| 問題 |
No.29 パワーアップ
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2021-07-29 03:33:43 |
| 言語 | Haskell (9.10.1) |
| 結果 |
AC
|
| 実行時間 | 4 ms / 5,000 ms |
| コード長 | 523 bytes |
| コンパイル時間 | 3,234 ms |
| コンパイル使用メモリ | 228,864 KB |
| 実行使用メモリ | 7,716 KB |
| 最終ジャッジ日時 | 2025-10-24 21:17:29 |
| 合計ジャッジ時間 | 3,802 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 22 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.10.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
import Control.Monad.ST
import qualified Data.Vector as V
import qualified Data.Vector.Mutable as MV
solve :: [Int] -> Int
solve xs = let v' = V.map (`divMod` 2) v
in sum (V.map fst v') + sum (V.map snd v') `div` 4
where
v :: V.Vector Int
v = runST $ do
v <- MV.replicate 10 0
mapM_ (\i -> MV.modify v succ (i-1)) xs
V.freeze v
main :: IO ()
main = do
n <- readLn :: IO Int
xs <- concatMap (map read . words) . lines <$> getContents :: IO [Int]
print $ solve xs