結果
問題 | No.1231 Make a Multiple of Ten |
ユーザー | こまる |
提出日時 | 2020-10-27 17:42:53 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 72 ms / 2,000 ms |
コード長 | 1,545 bytes |
コンパイル時間 | 11,399 ms |
コンパイル使用メモリ | 247,112 KB |
実行使用メモリ | 19,956 KB |
最終ジャッジ日時 | 2023-09-29 03:19:35 |
合計ジャッジ時間 | 15,088 ms |
ジャッジサーバーID (参考情報) |
judge12 / judge11 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 3 ms
7,492 KB |
testcase_01 | AC | 3 ms
7,296 KB |
testcase_02 | AC | 3 ms
7,388 KB |
testcase_03 | AC | 3 ms
7,436 KB |
testcase_04 | AC | 42 ms
15,720 KB |
testcase_05 | AC | 32 ms
15,728 KB |
testcase_06 | AC | 22 ms
12,976 KB |
testcase_07 | AC | 42 ms
15,860 KB |
testcase_08 | AC | 23 ms
13,096 KB |
testcase_09 | AC | 12 ms
12,464 KB |
testcase_10 | AC | 32 ms
15,524 KB |
testcase_11 | AC | 42 ms
16,024 KB |
testcase_12 | AC | 72 ms
19,956 KB |
testcase_13 | AC | 72 ms
19,648 KB |
testcase_14 | AC | 2 ms
7,440 KB |
testcase_15 | AC | 72 ms
19,332 KB |
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.6.1/environments/default [1 of 2] Compiling Main ( Main.hs, Main.o ) [2 of 2] Linking a.out
ソースコード
{-# LANGUAGE BangPatterns #-} import Control.Monad.State import Data.Char import Data.Coerce import qualified Data.ByteString.Char8 as BSC8 import qualified Data.Vector.Fusion.Stream.Monadic as VFSM import qualified Data.Vector.Unboxed as VU import qualified Data.Vector.Unboxed.Mutable as VUM main :: IO () main = do n <- readLn :: IO Int an <- seqInput n dp1 <- VUM.replicate 10 (-123456789 :: Int) VUM.unsafeWrite dp1 0 0 rep n $ \i -> do dp2 <- VUM.replicate 10 (0 :: Int) rep 10 $ \j -> do dpj <- VUM.unsafeRead dp1 j dpja <- VUM.unsafeRead dp1 ((j + an VU.! i) `mod` 10) VUM.unsafeWrite dp2 ((j + an VU.! i) `mod` 10) (max dpja (dpj + 1)) VUM.unsafeMove dp1 dp2 print =<< VUM.unsafeRead dp1 0 type CParser a = StateT BSC8.ByteString Maybe a runCParser :: CParser a -> BSC8.ByteString -> Maybe (a, BSC8.ByteString) runCParser = runStateT {-# INLINE runCParser #-} int :: CParser Int int = coerce $ BSC8.readInt . BSC8.dropWhile isSpace {-# INLINE int #-} seqInput :: Int -> IO (VU.Vector Int) seqInput n = VU.unfoldrN n (runCParser int) <$> BSC8.getLine {-# INLINE seqInput #-} stream :: Monad m => Int -> Int -> VFSM.Stream m Int stream !l !r = VFSM.Stream step l where step x | x < r = return $ VFSM.Yield x (x + 1) | otherwise = return $ VFSM.Done {-# INLINE [0] step #-} {-# INLINE [1] stream #-} rep :: Monad m => Int -> (Int -> m ()) -> m () rep n = flip VFSM.mapM_ (stream 0 n) {-# INLINE rep #-}