結果
| 問題 |
No.1071 ベホマラー
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2020-06-05 22:36:40 |
| 言語 | Haskell (9.10.1) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 592 bytes |
| コンパイル時間 | 6,166 ms |
| コンパイル使用メモリ | 172,032 KB |
| 実行使用メモリ | 67,748 KB |
| 最終ジャッジ日時 | 2024-12-17 16:33:57 |
| 合計ジャッジ時間 | 41,952 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 5 |
| other | AC * 9 TLE * 11 |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
import Data.Ratio as R
main :: IO ()
main = do [_n, k, x, y] <- map read . words <$> getLine
a <- map read . words <$> getLine
print $ solve k (x, y) a
solve :: Int -> (Int, Int) -> [Int] -> Int
solve k (x, y) a = solve' a'
where a' = filter (> 0) $ map (\i -> ceiling $ (i - 1) R.% k) a
solve' :: [Int] -> Int
solve' [] = 0
solve' a''
| x * length a'' <= y = sum a'' * x
| otherwise = y * m + solve' a'''
where m = minimum a''
a''' = filter (> 0) $ map (\i -> i - m) a''