結果

問題 No.1071 ベホマラー
ユーザー gemmaro
提出日時 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

ソースコード

diff # 

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''
0