Submission #1790172


Source Code Expand

import Control.Monad

solve :: Integer -> Integer -> Integer -> Integer -> Integer -> Integer -> Integer -> Integer
solve n h a b c d e = minimum $ do
    x <- [0..n]
    let y = max 0 $ ((n - x) * e - h - b * x) `div` (d + e) + 1
    guard (x + y <= n)
    return $ x * a + y * c

main :: IO ()
main = do
    [n,h] <- map read . words <$> getLine
    [a,b,c,d,e] <- map read . words <$> getLine
    print $ solve n h a b c d e

Submission Info

Submission Time
Task C - 節制
User atctk
Language Haskell (GHC 7.10.3)
Score 101
Code Size 442 Byte
Status AC
Exec Time 131 ms
Memory 1020 KB

Judge Result

Set Name Subtask1 Subtask2 Subtask3 Subtask4
Score / Max Score 10 / 10 30 / 30 60 / 60 1 / 1
Status
AC × 25
AC × 25
AC × 86
AC × 103
Set Name Test Cases
Subtask1 sample_1.txt, sample_2.txt, sample_3.txt, 01_010.txt, 01_011.txt, 01_020.txt, 01_021.txt, 01_100.txt, 01_101.txt, 01_110.txt, 01_111.txt, 01_200.txt, 01_201.txt, 01_220.txt, 01_221.txt, 01_random01.txt, 01_random02.txt, 01_random03.txt, 01_random04.txt, 01_random05.txt, 01_random06.txt, 01_random07.txt, 01_random08.txt, 01_random09.txt, 01_random10.txt
Subtask2 sample_1.txt, sample_2.txt, sample_3.txt, 02_010.txt, 02_011.txt, 02_020.txt, 02_021.txt, 02_100.txt, 02_101.txt, 02_110.txt, 02_111.txt, 02_200.txt, 02_201.txt, 02_220.txt, 02_221.txt, 02_random01.txt, 02_random02.txt, 02_random03.txt, 02_random04.txt, 02_random05.txt, 02_random06.txt, 02_random07.txt, 02_random08.txt, 02_random09.txt, 02_random10.txt
Subtask3 sample_1.txt, sample_2.txt, sample_3.txt, sample_4.txt, 01_010.txt, 01_011.txt, 01_020.txt, 01_021.txt, 01_100.txt, 01_101.txt, 01_110.txt, 01_111.txt, 01_200.txt, 01_201.txt, 01_220.txt, 01_221.txt, 01_random01.txt, 01_random02.txt, 01_random03.txt, 01_random04.txt, 01_random05.txt, 01_random06.txt, 01_random07.txt, 01_random08.txt, 01_random09.txt, 01_random10.txt, 02_010.txt, 02_011.txt, 02_020.txt, 02_021.txt, 02_100.txt, 02_101.txt, 02_110.txt, 02_111.txt, 02_200.txt, 02_201.txt, 02_220.txt, 02_221.txt, 02_random01.txt, 02_random02.txt, 02_random03.txt, 02_random04.txt, 02_random05.txt, 02_random06.txt, 02_random07.txt, 02_random08.txt, 02_random09.txt, 02_random10.txt, 03_010.txt, 03_011.txt, 03_012.txt, 03_020.txt, 03_021.txt, 03_022.txt, 03_100.txt, 03_101.txt, 03_102.txt, 03_110.txt, 03_111.txt, 03_112.txt, 03_200.txt, 03_201.txt, 03_202.txt, 03_220.txt, 03_221.txt, 03_222.txt, 03_random01.txt, 03_random02.txt, 03_random03.txt, 03_random04.txt, 03_random05.txt, 03_random06.txt, 03_random07.txt, 03_random08.txt, 03_random09.txt, 03_random10.txt, 03_random11.txt, 03_random12.txt, 03_random13.txt, 03_random14.txt, 03_random15.txt, 03_random16.txt, 03_random17.txt, 03_random18.txt, 03_random19.txt, 03_random20.txt
Subtask4 01_010.txt, 01_011.txt, 01_020.txt, 01_021.txt, 01_100.txt, 01_101.txt, 01_110.txt, 01_111.txt, 01_200.txt, 01_201.txt, 01_220.txt, 01_221.txt, 01_random01.txt, 01_random02.txt, 01_random03.txt, 01_random04.txt, 01_random05.txt, 01_random06.txt, 01_random07.txt, 01_random08.txt, 01_random09.txt, 01_random10.txt, 02_010.txt, 02_011.txt, 02_020.txt, 02_021.txt, 02_100.txt, 02_101.txt, 02_110.txt, 02_111.txt, 02_200.txt, 02_201.txt, 02_220.txt, 02_221.txt, 02_random01.txt, 02_random02.txt, 02_random03.txt, 02_random04.txt, 02_random05.txt, 02_random06.txt, 02_random07.txt, 02_random08.txt, 02_random09.txt, 02_random10.txt, 03_010.txt, 03_011.txt, 03_012.txt, 03_020.txt, 03_021.txt, 03_022.txt, 03_100.txt, 03_101.txt, 03_102.txt, 03_110.txt, 03_111.txt, 03_112.txt, 03_200.txt, 03_201.txt, 03_202.txt, 03_220.txt, 03_221.txt, 03_222.txt, 03_random01.txt, 03_random02.txt, 03_random03.txt, 03_random04.txt, 03_random05.txt, 03_random06.txt, 03_random07.txt, 03_random08.txt, 03_random09.txt, 03_random10.txt, 03_random11.txt, 03_random12.txt, 03_random13.txt, 03_random14.txt, 03_random15.txt, 03_random16.txt, 03_random17.txt, 03_random18.txt, 03_random19.txt, 03_random20.txt, 04_010.txt, 04_011.txt, 04_020.txt, 04_021.txt, 04_100.txt, 04_101.txt, 04_110.txt, 04_111.txt, 04_200.txt, 04_201.txt, 04_220.txt, 04_221.txt, 04_random01.txt, 04_random02.txt, 04_random03.txt, 04_random04.txt, 04_random05.txt, sample_1.txt, sample_2.txt, sample_3.txt, sample_4.txt
Case Name Status Exec Time Memory
01_010.txt AC 1 ms 508 KB
01_011.txt AC 1 ms 508 KB
01_020.txt AC 2 ms 508 KB
01_021.txt AC 1 ms 508 KB
01_100.txt AC 2 ms 508 KB
01_101.txt AC 2 ms 508 KB
01_110.txt AC 1 ms 508 KB
01_111.txt AC 1 ms 508 KB
01_200.txt AC 1 ms 508 KB
01_201.txt AC 1 ms 508 KB
01_220.txt AC 1 ms 508 KB
01_221.txt AC 2 ms 508 KB
01_random01.txt AC 1 ms 508 KB
01_random02.txt AC 1 ms 508 KB
01_random03.txt AC 1 ms 508 KB
01_random04.txt AC 1 ms 508 KB
01_random05.txt AC 2 ms 508 KB
01_random06.txt AC 1 ms 508 KB
01_random07.txt AC 2 ms 508 KB
01_random08.txt AC 2 ms 508 KB
01_random09.txt AC 2 ms 508 KB
01_random10.txt AC 2 ms 508 KB
02_010.txt AC 1 ms 508 KB
02_011.txt AC 2 ms 508 KB
02_020.txt AC 2 ms 508 KB
02_021.txt AC 2 ms 508 KB
02_100.txt AC 2 ms 508 KB
02_101.txt AC 1 ms 508 KB
02_110.txt AC 2 ms 508 KB
02_111.txt AC 2 ms 508 KB
02_200.txt AC 1 ms 508 KB
02_201.txt AC 1 ms 508 KB
02_220.txt AC 2 ms 508 KB
02_221.txt AC 2 ms 508 KB
02_random01.txt AC 2 ms 508 KB
02_random02.txt AC 2 ms 508 KB
02_random03.txt AC 2 ms 508 KB
02_random04.txt AC 2 ms 508 KB
02_random05.txt AC 2 ms 508 KB
02_random06.txt AC 2 ms 508 KB
02_random07.txt AC 2 ms 508 KB
02_random08.txt AC 2 ms 508 KB
02_random09.txt AC 2 ms 508 KB
02_random10.txt AC 2 ms 508 KB
03_010.txt AC 2 ms 764 KB
03_011.txt AC 2 ms 508 KB
03_012.txt AC 2 ms 892 KB
03_020.txt AC 2 ms 636 KB
03_021.txt AC 2 ms 892 KB
03_022.txt AC 2 ms 508 KB
03_100.txt AC 2 ms 764 KB
03_101.txt AC 2 ms 508 KB
03_102.txt AC 2 ms 892 KB
03_110.txt AC 2 ms 764 KB
03_111.txt AC 2 ms 764 KB
03_112.txt AC 2 ms 764 KB
03_200.txt AC 2 ms 764 KB
03_201.txt AC 2 ms 892 KB
03_202.txt AC 2 ms 636 KB
03_220.txt AC 2 ms 636 KB
03_221.txt AC 2 ms 892 KB
03_222.txt AC 2 ms 764 KB
03_random01.txt AC 2 ms 764 KB
03_random02.txt AC 2 ms 508 KB
03_random03.txt AC 2 ms 764 KB
03_random04.txt AC 2 ms 892 KB
03_random05.txt AC 2 ms 508 KB
03_random06.txt AC 2 ms 764 KB
03_random07.txt AC 2 ms 636 KB
03_random08.txt AC 2 ms 892 KB
03_random09.txt AC 2 ms 892 KB
03_random10.txt AC 2 ms 636 KB
03_random11.txt AC 2 ms 892 KB
03_random12.txt AC 2 ms 892 KB
03_random13.txt AC 2 ms 764 KB
03_random14.txt AC 2 ms 764 KB
03_random15.txt AC 2 ms 508 KB
03_random16.txt AC 2 ms 892 KB
03_random17.txt AC 2 ms 892 KB
03_random18.txt AC 2 ms 636 KB
03_random19.txt AC 2 ms 636 KB
03_random20.txt AC 2 ms 508 KB
04_010.txt AC 104 ms 1020 KB
04_011.txt AC 102 ms 892 KB
04_020.txt AC 97 ms 892 KB
04_021.txt AC 97 ms 892 KB
04_100.txt AC 105 ms 892 KB
04_101.txt AC 84 ms 1020 KB
04_110.txt AC 64 ms 892 KB
04_111.txt AC 70 ms 892 KB
04_200.txt AC 17 ms 1020 KB
04_201.txt AC 4 ms 892 KB
04_220.txt AC 34 ms 1020 KB
04_221.txt AC 87 ms 892 KB
04_random01.txt AC 6 ms 1020 KB
04_random02.txt AC 24 ms 1020 KB
04_random03.txt AC 54 ms 892 KB
04_random04.txt AC 131 ms 892 KB
04_random05.txt AC 35 ms 892 KB
sample_1.txt AC 2 ms 508 KB
sample_2.txt AC 2 ms 508 KB
sample_3.txt AC 2 ms 508 KB
sample_4.txt AC 2 ms 764 KB