Submission #214662


Source Code Expand

import Control.Applicative
 
for :: [a] -> (a -> b) -> [b]
for = flip map
 
main = do
  [n,h] <- map read <$> words <$> getLine
  [a,b,c,d,e] <- map read <$> words <$> getLine
  let mi = h-n*e :: Integer
      ai = b+e
      bi = d+e
      fi = fromIntegral
  print $ minimum $ filter (/= -1) $ for [0..n] $ \ax -> let bx = max 0 $ succ $ floor $ -(fi $ mi+ax*ai)/fi bi in ax*a+bx*c

Submission Info

Submission Time
Task C - 節制
User phi16
Language Haskell (GHC 7.4.1)
Score 101
Code Size 394 Byte
Status AC
Exec Time 94 ms
Memory 1696 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 × 99
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
Case Name Status Exec Time Memory
01_010.txt AC 28 ms 1236 KB
01_011.txt AC 26 ms 1244 KB
01_020.txt AC 26 ms 1240 KB
01_021.txt AC 27 ms 1248 KB
01_100.txt AC 26 ms 1300 KB
01_101.txt AC 26 ms 1304 KB
01_110.txt AC 28 ms 1308 KB
01_111.txt AC 26 ms 1304 KB
01_200.txt AC 29 ms 1240 KB
01_201.txt AC 26 ms 1244 KB
01_220.txt AC 28 ms 1236 KB
01_221.txt AC 29 ms 1380 KB
01_random01.txt AC 30 ms 1292 KB
01_random02.txt AC 26 ms 1240 KB
01_random03.txt AC 27 ms 1304 KB
01_random04.txt AC 26 ms 1308 KB
01_random05.txt AC 26 ms 1304 KB
01_random06.txt AC 27 ms 1240 KB
01_random07.txt AC 27 ms 1240 KB
01_random08.txt AC 28 ms 1240 KB
01_random09.txt AC 28 ms 1240 KB
01_random10.txt AC 28 ms 1340 KB
02_010.txt AC 26 ms 1264 KB
02_011.txt AC 28 ms 1240 KB
02_020.txt AC 27 ms 1244 KB
02_021.txt AC 27 ms 1180 KB
02_100.txt AC 28 ms 1240 KB
02_101.txt AC 27 ms 1308 KB
02_110.txt AC 27 ms 1244 KB
02_111.txt AC 27 ms 1244 KB
02_200.txt AC 70 ms 1028 KB
02_201.txt AC 29 ms 1236 KB
02_220.txt AC 28 ms 1240 KB
02_221.txt AC 28 ms 1244 KB
02_random01.txt AC 27 ms 1240 KB
02_random02.txt AC 33 ms 1296 KB
02_random03.txt AC 26 ms 1240 KB
02_random04.txt AC 26 ms 1180 KB
02_random05.txt AC 27 ms 1236 KB
02_random06.txt AC 27 ms 1260 KB
02_random07.txt AC 28 ms 1240 KB
02_random08.txt AC 28 ms 1244 KB
02_random09.txt AC 28 ms 1244 KB
02_random10.txt AC 27 ms 1320 KB
03_010.txt AC 28 ms 1376 KB
03_011.txt AC 27 ms 1244 KB
03_012.txt AC 27 ms 1496 KB
03_020.txt AC 30 ms 1232 KB
03_021.txt AC 27 ms 1368 KB
03_022.txt AC 28 ms 1244 KB
03_100.txt AC 26 ms 1368 KB
03_101.txt AC 26 ms 1264 KB
03_102.txt AC 28 ms 1364 KB
03_110.txt AC 27 ms 1368 KB
03_111.txt AC 26 ms 1440 KB
03_112.txt AC 30 ms 1372 KB
03_200.txt AC 27 ms 1372 KB
03_201.txt AC 28 ms 1492 KB
03_202.txt AC 27 ms 1368 KB
03_220.txt AC 27 ms 1436 KB
03_221.txt AC 28 ms 1388 KB
03_222.txt AC 28 ms 1368 KB
03_random01.txt AC 28 ms 1440 KB
03_random02.txt AC 28 ms 1300 KB
03_random03.txt AC 27 ms 1368 KB
03_random04.txt AC 25 ms 1492 KB
03_random05.txt AC 25 ms 1236 KB
03_random06.txt AC 27 ms 1436 KB
03_random07.txt AC 30 ms 1236 KB
03_random08.txt AC 29 ms 1368 KB
03_random09.txt AC 27 ms 1368 KB
03_random10.txt AC 28 ms 1240 KB
03_random11.txt AC 29 ms 1364 KB
03_random12.txt AC 26 ms 1436 KB
03_random13.txt AC 26 ms 1428 KB
03_random14.txt AC 30 ms 1432 KB
03_random15.txt AC 29 ms 1244 KB
03_random16.txt AC 29 ms 1496 KB
03_random17.txt AC 28 ms 1364 KB
03_random18.txt AC 28 ms 1240 KB
03_random19.txt AC 27 ms 1244 KB
03_random20.txt AC 27 ms 1308 KB
04_010.txt AC 82 ms 1624 KB
04_011.txt AC 81 ms 1684 KB
04_020.txt AC 78 ms 1632 KB
04_021.txt AC 78 ms 1624 KB
04_100.txt AC 83 ms 1688 KB
04_101.txt AC 71 ms 1624 KB
04_110.txt AC 62 ms 1692 KB
04_111.txt AC 61 ms 1628 KB
04_200.txt AC 37 ms 1696 KB
04_201.txt AC 29 ms 1624 KB
04_220.txt AC 45 ms 1668 KB
04_221.txt AC 73 ms 1692 KB
04_random01.txt AC 28 ms 1620 KB
04_random02.txt AC 39 ms 1688 KB
04_random03.txt AC 57 ms 1680 KB
04_random04.txt AC 94 ms 1692 KB
04_random05.txt AC 43 ms 1624 KB
sample_1.txt AC 28 ms 1240 KB
sample_2.txt AC 27 ms 1240 KB
sample_3.txt AC 26 ms 1244 KB
sample_4.txt AC 27 ms 1388 KB