Submission #213853

---

Source Code Expand

{-# LANGUAGE CPP #-}
#ifndef HDEVTOOLS
{-# OPTIONS_GHC -O2 -funbox-strict-fields #-}
#endif
{-# LANGUAGE BangPatterns, ViewPatterns, OverloadedStrings #-}

import Control.Applicative
import Control.Monad
import qualified Data.ByteString.Char8 as S

import Debug.Trace
import Text.Printf

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

solve :: Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int
solve n h a b c d e = minimum $ do
  let !required = n * e - h + 1
  let !normal = b + e
  let !thrift = d + e
  nNormal <- [0..n]
  let !required1 = required - nNormal * normal
  let !nThrift = max 0 $ (required1 + thrift - 1) `div` thrift
  guard $ nNormal + nThrift <= n
  let !r = a * nNormal + c * nThrift
  --trace (printf "%d %d -> %d" nNormal nThrift r) $ return ()
  return r

readInt :: S.ByteString -> Int
readInt s = case S.readInt s of
  Just (r, "") -> r
  _ -> error $ "not an integer: " ++ show s

Submission Info

Judge Result