結果
問題 | No.533 Mysterious Stairs |
ユーザー | こまる |
提出日時 | 2020-11-05 18:31:37 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 53 ms / 5,000 ms |
コード長 | 1,671 bytes |
コンパイル時間 | 2,726 ms |
コンパイル使用メモリ | 165,148 KB |
実行使用メモリ | 29,608 KB |
最終ジャッジ日時 | 2023-09-29 17:12:52 |
合計ジャッジ時間 | 4,765 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,904 KB |
testcase_01 | AC | 2 ms
6,920 KB |
testcase_02 | AC | 2 ms
6,924 KB |
testcase_03 | AC | 3 ms
6,944 KB |
testcase_04 | AC | 3 ms
6,940 KB |
testcase_05 | AC | 3 ms
6,900 KB |
testcase_06 | AC | 3 ms
6,960 KB |
testcase_07 | AC | 3 ms
6,880 KB |
testcase_08 | AC | 2 ms
6,916 KB |
testcase_09 | AC | 2 ms
6,908 KB |
testcase_10 | AC | 3 ms
6,880 KB |
testcase_11 | AC | 3 ms
6,888 KB |
testcase_12 | AC | 3 ms
6,980 KB |
testcase_13 | AC | 3 ms
6,840 KB |
testcase_14 | AC | 3 ms
6,952 KB |
testcase_15 | AC | 3 ms
7,004 KB |
testcase_16 | AC | 3 ms
6,956 KB |
testcase_17 | AC | 3 ms
7,068 KB |
testcase_18 | AC | 4 ms
7,100 KB |
testcase_19 | AC | 3 ms
7,180 KB |
testcase_20 | AC | 12 ms
9,920 KB |
testcase_21 | AC | 12 ms
9,936 KB |
testcase_22 | AC | 22 ms
15,412 KB |
testcase_23 | AC | 53 ms
29,608 KB |
testcase_24 | AC | 52 ms
29,596 KB |
testcase_25 | AC | 12 ms
9,968 KB |
testcase_26 | AC | 52 ms
27,516 KB |
testcase_27 | AC | 22 ms
13,328 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 qualified Data.Vector.Fusion.Stream.Monadic as VFSM import qualified Data.Vector.Unboxed.Mutable as VUM modulo :: Int modulo = 1000000007 {-# INLINE modulo #-} main :: IO () main = do n <- readLn :: IO Int dp <- VUM.unsafeNew 3000003 :: IO (VUM.IOVector Int) VUM.unsafeWrite dp 0 1 VUM.unsafeWrite dp 1 0 VUM.unsafeWrite dp 2 0 VUM.unsafeWrite dp 3 1 VUM.unsafeWrite dp 4 0 VUM.unsafeWrite dp 5 0 VUM.unsafeWrite dp 6 0 VUM.unsafeWrite dp 7 1 VUM.unsafeWrite dp 8 0 rep n $ \i -> do item1 <- VUM.unsafeRead dp ((i - 1) * 3 + 1) item2 <- VUM.unsafeRead dp ((i - 2) * 3) item3 <- VUM.unsafeRead dp ((i - 3) * 3) item4 <- VUM.unsafeRead dp ((i - 1) * 3 + 2) item5 <- VUM.unsafeRead dp ((i - 2) * 3 + 2) item6 <- VUM.unsafeRead dp ((i - 3) * 3 + 1) VUM.unsafeWrite dp (i * 3) (item1 + item4) VUM.unsafeWrite dp ((i * 3) + 1) (item2 + item5) VUM.unsafeWrite dp ((i * 3) + 2) (item3 + item6) VUM.unsafeModify dp (`mod` modulo) (i * 3) VUM.unsafeModify dp (`mod` modulo) (i * 3 + 1) VUM.unsafeModify dp (`mod` modulo) (i * 3 + 2) item1 <- VUM.unsafeRead dp (n * 3) item2 <- VUM.unsafeRead dp (n * 3 + 1) item3 <- VUM.unsafeRead dp (n * 3 + 2) print . flip mod modulo $ item1 + item2 + item3 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 3 n) {-# INLINE rep #-}