結果
問題 | No.1133 キムワイプイーター |
ユーザー | こまる |
提出日時 | 2020-11-04 18:54:24 |
言語 | Haskell (9.8.2) |
結果 |
AC
|
実行時間 | 122 ms / 2,000 ms |
コード長 | 1,792 bytes |
コンパイル時間 | 15,545 ms |
コンパイル使用メモリ | 186,604 KB |
実行使用メモリ | 38,156 KB |
最終ジャッジ日時 | 2023-09-29 15:50:37 |
合計ジャッジ時間 | 13,535 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge14 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
7,164 KB |
testcase_01 | AC | 3 ms
7,240 KB |
testcase_02 | AC | 42 ms
21,012 KB |
testcase_03 | AC | 92 ms
37,088 KB |
testcase_04 | AC | 101 ms
38,040 KB |
testcase_05 | AC | 102 ms
38,076 KB |
testcase_06 | AC | 102 ms
38,148 KB |
testcase_07 | AC | 62 ms
23,804 KB |
testcase_08 | AC | 42 ms
18,968 KB |
testcase_09 | AC | 93 ms
35,992 KB |
testcase_10 | AC | 122 ms
38,092 KB |
testcase_11 | AC | 112 ms
38,036 KB |
testcase_12 | AC | 102 ms
38,156 KB |
testcase_13 | AC | 113 ms
38,112 KB |
testcase_14 | AC | 92 ms
38,092 KB |
testcase_15 | AC | 52 ms
23,736 KB |
testcase_16 | AC | 42 ms
19,948 KB |
testcase_17 | AC | 12 ms
11,428 KB |
testcase_18 | AC | 22 ms
11,600 KB |
testcase_19 | AC | 13 ms
11,540 KB |
testcase_20 | AC | 22 ms
11,636 KB |
testcase_21 | AC | 22 ms
11,604 KB |
testcase_22 | AC | 22 ms
11,660 KB |
testcase_23 | AC | 2 ms
7,208 KB |
testcase_24 | AC | 3 ms
7,172 KB |
testcase_25 | AC | 12 ms
11,472 KB |
testcase_26 | AC | 2 ms
7,328 KB |
testcase_27 | AC | 2 ms
7,192 KB |
testcase_28 | AC | 2 ms
7,268 KB |
testcase_29 | AC | 3 ms
7,132 KB |
testcase_30 | AC | 22 ms
11,724 KB |
testcase_31 | AC | 3 ms
7,204 KB |
testcase_32 | AC | 2 ms
7,144 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 #-} {-# LANGUAGE TypeApplications #-} import Control.Monad import Data.Bool import Data.IORef 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, _] <- map (read @Int) . words <$> getLine g <- VUM.replicate ((n + 1) * (n + 1)) False VUM.unsafeWrite g 0 True x <- newIORef (0 :: Int) y <- newIORef (0 :: Int) ss <- VU.fromList <$> getLine VU.forM_ ss $ \s -> do when (s == 'R') $ modifyIORef' x succ when (s == 'U') $ modifyIORef' y succ when (s == 'L') $ modifyIORef' x pred when (s == 'D') $ modifyIORef' y pred x1 <- readIORef x y1 <- readIORef y VUM.unsafeWrite g (x1 + y1 * (n + 1)) True xs <- VU.unsafeFreeze g let ys = VU.map (\b -> bool (1 :: Int) (0 :: Int) b) xs rev (n + 1) $ \i -> rep (n + 1) $ \j -> do let sep = if j == n then "\n" else " " putStr $ (++ sep) $ show $ ys VU.! (i * (n + 1) + j) 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 #-} streamR :: Monad m => Int -> Int -> VFSM.Stream m Int streamR !l !r = VFSM.Stream step (r - 1) where step x | x >= l = return $ VFSM.Yield x (x - 1) | otherwise = return $ VFSM.Done {-# INLINE [0] step #-} {-# INLINE [1] streamR #-} rev :: Monad m => Int -> (Int -> m ()) -> m () rev n = flip VFSM.mapM_ (streamR 0 n) {-# INLINE rev #-}