結果
| 問題 |
No.745 letinopia raoha
|
| コンテスト | |
| ユーザー |
kou_kkk
|
| 提出日時 | 2025-08-22 21:22:59 |
| 言語 | Haskell (9.10.1) |
| 結果 |
AC
|
| 実行時間 | 3 ms / 2,000 ms |
| コード長 | 649 bytes |
| コンパイル時間 | 8,313 ms |
| コンパイル使用メモリ | 183,296 KB |
| 実行使用メモリ | 7,716 KB |
| 最終ジャッジ日時 | 2025-08-22 21:23:11 |
| 合計ジャッジ時間 | 9,212 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 8 |
コンパイルメッセージ
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
ソースコード
module Main where
main :: IO ()
main = do
[a, b, _, d] <- getIntList
if d >= 10 then
putStrLn "Impossible"
else do
putStrLn "Possible"
print $ solve a b
solve :: Int -> Int -> Int
solve a b = go 0 1 a b
where
go acc _ 0 0 = acc
go acc x a b | a + b <= 100 = acc + x * (100 * a + 50 * b)
go acc x a 0 = go (acc + 100 * 100 * x) (x * 2) (a - 100) 0
go acc x a b | b < 100 = let b' = 100 - b
in go (acc + (100 * b' + 50 * b) * x) (x * 2) (a - b') 0
| otherwise = go (acc + 50 * 100 * x) (x * 2) a $ b - 100
getIntList :: IO [Int]
getIntList = map read . words <$> getLine
kou_kkk